| commit | 4f09d465f7302f80f7903d5152377c1ed7196fac | |
| author | Ted Kremenek <kremenek@apple.com> | |
| Thu, 20 Jan 2011 21:25:31 +0000 (20 21:25 +0000) | ||
| committer | Ted Kremenek <kremenek@apple.com> | |
| Thu, 20 Jan 2011 21:25:31 +0000 (20 21:25 +0000) | ||
| tree | afc8b312473c41cd32fc2f8b2a73c47d378363d5 | treesnapshot (tar.gz zip) |
| parent | 0b19ae275c2d078d8f248b305fd5c1e2897e9411 | commitdiff |
Relax CFG assertions in UninitializedValuesV2 when
handling pseudo-path sensitivity, and instead
use those assertion conditions as dynamic checks.
These assertions would be violated when analyzing
a CFG where some branches where optimized away
during CFG construction because their branch
conditions could be trivially determined.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123943 91177308-0d34-0410-b5e6-96231b3b80d8
handling pseudo-path sensitivity, and instead
use those assertion conditions as dynamic checks.
These assertions would be violated when analyzing
a CFG where some branches where optimized away
during CFG construction because their branch
conditions could be trivially determined.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123943 91177308-0d34-0410-b5e6-96231b3b80d8
| lib/Analysis/UninitializedValuesV2.cpp | diffblobblamehistory | |
| test/SemaCXX/uninit-variables.cpp | diffblobblamehistory |