]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c32bb2a) | patch
Relax CFG assertions in UninitializedValuesV2 when
authorTed Kremenek <kremenek@apple.com>
Thu, 20 Jan 2011 21:25:31 +0000 (21:25 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 20 Jan 2011 21:25:31 +0000 (21:25 +0000)
commit2d4bed140f65d713673d2d32ec3adadc960078c6
treeafc8b312473c41cd32fc2f8b2a73c47d378363d5tree | snapshot
parentc32bb2affdd08fdec092e4374d0a184713c488d7commit | diff
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
lib/Analysis/UninitializedValuesV2.cpp diff | blob | history
test/SemaCXX/uninit-variables.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.