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 | 361fa8ecd122a5b06c2c59d44419e202f42e1c5d (patch) | |
| tree | 1255310afe3e78526434c2e2f02d64eea3f2d77f /lib/CodeGen/ModuleBuilder.cpp | |
| parent | 819173c41e395744480e8f325dc5c02438420604 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48306 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/ModuleBuilder.cpp')
0 files changed, 0 insertions, 0 deletions