- Jan 16, 2008
-
-
Ted Kremenek authored
handle the case where the number of nodes was 0. Fixed bug in GREngineImpl where we did not proceed to the next statement when processing a PostStmt location. llvm-svn: 46093
-
Ted Kremenek authored
call the dstor instead of using delete. llvm-svn: 46084
-
- Jan 13, 2008
-
-
Ted Kremenek authored
parent class ExplodedGraphImpl. llvm-svn: 45930
-
Ted Kremenek authored
ExplodedNodeImpl::NodeGroup from being defined inline to being defined "out-of-line" in ExplodedGraph.cpp. This removes a dependence on including <vector> in ExplodedGraph.h, and will hopefully result in smaller generated code with negligible performance impact. llvm-svn: 45928
-