| commit | 0a8d3767a3294c890961b8293dfdf162fe15641e | [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 | 9668bcd824aeb9ac79f11504c6ab5956a3c77332 | |
| parent | 9d21a0cb076091688a52a31ea16067c0866563fa [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. llvm-svn: 46278