| commit | ab2b8c54bca82866876f91e756788916d3fa20c3 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Jan 23 19:59:44 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Jan 23 19:59:44 2008 +0000 |
| tree | 87c97522d02e435e5dc5baeee14821fc23da0896 | |
| 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