]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 116a4b1) | patch
Major "architectural" changes to the GRConstants analysis. We now reason about
authorTed Kremenek <kremenek@apple.com>
Wed, 23 Jan 2008 19:59:44 +0000 (19:59 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 23 Jan 2008 19:59:44 +0000 (19:59 +0000)
commitab2b8c54bca82866876f91e756788916d3fa20c3
tree87c97522d02e435e5dc5baeee14821fc23da0896tree | snapshot
parent116a4b148ec9ad3f3a60044c7fb03f28dc620b7bcommit | 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
Analysis/GRConstants.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.