Commits · df4a5b90472e8163324ecfe9327ba98facfd1bdc · Roger Ferrer / llvm-epi-0.8

Mar 03, 2008
- Fixed subtle caching bug in ExplodedGraph that would cause some nodes to · 3f06864c
  Ted Kremenek authored Mar 03, 2008
```
be incorrectly merged together.

llvm-svn: 47851
```
  3f06864c
Feb 15, 2008

Simplified transfer function logic for ++/-- operators. · e81734b0

Ted Kremenek authored Feb 15, 2008

Added more boilerplate transfer function support for pointer arithmetic.
Added more pretty-printing support for symbolic constraints.
Added transfer function support for handling enum values.
Minor pointer types cleanup in ExplodedGraphImpl.

llvm-svn: 47183

e81734b0

Jan 30, 2008
- Fixed bit-setting bug for ExplodedNodeImpl::NodeGroup. · ee2d5a54
  Ted Kremenek authored Jan 29, 2008
```
llvm-svn: 46535
```
  ee2d5a54
Jan 16, 2008
- Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly · e914bb81
  Ted Kremenek authored Jan 16, 2008
```
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
```
  e914bb81
- Fixed bug in cleanup of nodes in ExplodedNodeImpl where we should directly · deac5194
  Ted Kremenek authored Jan 16, 2008
```
call the dstor instead of using delete.

llvm-svn: 46084
```
  deac5194
Jan 13, 2008

Moved destructor logic of templated class ExplodedGraph to non-templated · d122bbdb
Ted Kremenek authored Jan 13, 2008
```
parent class ExplodedGraphImpl.

llvm-svn: 45930
```
d122bbdb

Created ExplodedGraph.cpp and moved most method implementations of · eb370bc3

Ted Kremenek authored Jan 13, 2008

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

eb370bc3