| commit | 2d4bed140f65d713673d2d32ec3adadc960078c6 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu Jan 20 21:25:31 2011 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu Jan 20 21:25:31 2011 +0000 |
| tree | afc8b312473c41cd32fc2f8b2a73c47d378363d5 | |
| 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