diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-03-12 21:45:47 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-03-12 21:45:47 +0000 |
| commit | e2f6d6cdb80d5e36682f68b6ae33a6c79fd904cd (patch) | |
| tree | f002ad4a8715dd2e722deb4ad26fef8957a10775 /clang/Driver/RewriteTest.cpp | |
| parent | 723849a17fb0ce15ef233b1fbebca692f6b19d21 (diff) | |
| download | bcm5719-llvm-e2f6d6cdb80d5e36682f68b6ae33a6c79fd904cd.tar.gz bcm5719-llvm-e2f6d6cdb80d5e36682f68b6ae33a6c79fd904cd.zip | |
Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs.
Added experimental support for conjuring symbols during assingments where the RHS is "unknown". This allows more value tracking for path-sensitivity.
Fixed bug in "assumption" logic when processing symbolic constraints; we would improperly mark constraints we didn't support as infeasible.
llvm-svn: 48306
Diffstat (limited to 'clang/Driver/RewriteTest.cpp')
0 files changed, 0 insertions, 0 deletions
