]> granicus.if.org Git - clang/commit
[analyzer] Do not report uninitialized value warnings inside swap functions.
authorAnna Zaks <ganna@apple.com>
Tue, 18 Jun 2013 23:16:15 +0000 (23:16 +0000)
committerAnna Zaks <ganna@apple.com>
Tue, 18 Jun 2013 23:16:15 +0000 (23:16 +0000)
commit52810c51afaa10b30319d236d353d70534cf9356
tree3e287146790e03151d0acd827eeeed501ee1ca78
parent14c1a13e64808ccd2c39155793194ce499d82ca3
[analyzer] Do not report uninitialized value warnings inside swap functions.

This silences warnings that could occur when one is swapping partially initialized structs. We suppress
not only the assignments of uninitialized members, but any values inside swap because swap could
potentially be used as a subroutine to swap class members.

This silences a warning from std::try::function::swap() on partially initialized objects.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@184256 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp
lib/StaticAnalyzer/Checkers/UndefinedAssignmentChecker.cpp
test/Analysis/uninit-vals-ps-region.m