diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-01-20 21:25:31 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-01-20 21:25:31 +0000 |
| commit | 2d4bed140f65d713673d2d32ec3adadc960078c6 (patch) | |
| tree | afc8b312473c41cd32fc2f8b2a73c47d378363d5 /lib/CodeGen/CodeGenModule.cpp | |
| parent | c32bb2affdd08fdec092e4374d0a184713c488d7 (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
Diffstat (limited to 'lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions