- Jan 18, 2008
-
-
Ted Kremenek authored
use ImmutableMap::SlimFind(), which returns the correct value. Added pruning of dead block-level expressions and Decls from our value map using liveness information. llvm-svn: 46154
-
- Jan 17, 2008
-
-
Ted Kremenek authored
values for the block-level expressions. Modified 'LiveVariables' to provide the option to clients to record liveness information for block-level expressions (using the above feature). Modified 'DeadStores' to conform to the new interface of 'LiveVariables'. Modified 'GRConstants' to compute liveness information for block-level expressions. llvm-svn: 46137
-
Ted Kremenek authored
Refactored the use of this method into both the Sema module and Analysis module, which were using their own static functions that did the same thing. llvm-svn: 46129
-
Ted Kremenek authored
state. llvm-svn: 46106
-
Ted Kremenek authored
map. This will allow us to quickly prune them from maps without searching the entire map. llvm-svn: 46101
-
Ted Kremenek authored
to sort sub-expressions before Block-level expressions. llvm-svn: 46100
-
- Jan 16, 2008
-
-
Ted Kremenek authored
values are determined when evaluating the parent expression. llvm-svn: 46096
-
Ted Kremenek authored
constant propagation. llvm-svn: 46095
-
Ted Kremenek authored
llvm-svn: 46092
-
Ted Kremenek authored
llvm-svn: 46087
-
Ted Kremenek authored
llvm-svn: 46086
-
Ted Kremenek authored
that were "not a constant." llvm-svn: 46085
-
Ted Kremenek authored
Fixed some compilation errors with GREngine that showed up during template instantiation. llvm-svn: 46074
-
Ted Kremenek authored
node caching in GREngine will guarantee that we do not insert a node twice into a nodeset. llvm-svn: 46071
-
Ted Kremenek authored
llvm-svn: 46051
-
Ted Kremenek authored
variant type, and not just the pointer value. llvm-svn: 46049
-
Ted Kremenek authored
Cleaned up GRConstants::AddBinding to not directly reference the predecessor node. Now we just manipulate the current state, and a driver function creates nodes as needed. llvm-svn: 46040
-
Ted Kremenek authored
the graph reachability engine. llvm-svn: 46036
-