diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-01-23 19:59:44 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-01-23 19:59:44 +0000 |
| commit | ab2b8c54bca82866876f91e756788916d3fa20c3 (patch) | |
| tree | 87c97522d02e435e5dc5baeee14821fc23da0896 /Driver/RewriteTest.cpp | |
| parent | 116a4b148ec9ad3f3a60044c7fb03f28dc620b7b (diff) | |
Major "architectural" changes to the GRConstants analysis. We now reason about
abstract "L-values" and "R-values" when doing value tracking, and expanding
constant tracking to encompass tracking disjunctive sets of possible constants.
Further, the tree-walking is more efficient, as we don't blindly recurse the
tree if we won't generate new states.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46278 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Driver/RewriteTest.cpp')
0 files changed, 0 insertions, 0 deletions