tree afc8b312473c41cd32fc2f8b2a73c47d378363d5
parent c32bb2affdd08fdec092e4374d0a184713c488d7
author Ted Kremenek <kremenek@apple.com> 1295558731 +0000
committer Ted Kremenek <kremenek@apple.com> 1295558731 +0000

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