- Jan 16, 2008
-
-
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
-