diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-03-11 02:24:48 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-03-11 02:24:48 +0000 |
| commit | 44c12ef6151d285996e24afcb4e49decf38375ee (patch) | |
| tree | 802acffc583e6938aa02ac05302574e37683e60d /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 1f10b9664b725a607906c4ab639d9b485cb2be05 (diff) | |
| download | bcm5719-llvm-44c12ef6151d285996e24afcb4e49decf38375ee.tar.gz bcm5719-llvm-44c12ef6151d285996e24afcb4e49decf38375ee.zip | |
GRExprEngine: For places we might conjure up a new symbol to recover
path-sensitivity, beyond checking to see if the value is "unknown" also check if
the ConstraintManager can handle the SVal. This allows us to recover some
path-sensitivity by actually discarding some information.
llvm-svn: 66627
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions
