Commits · 1564763b8efa537e5cb194fbd4c87c3a20390e37 · Roger Ferrer / llvm-epi-0.8

Jan 30, 2008

Implemented more boilerplate in GREngine for processing branches. Now · 7ff1893f

Ted Kremenek authored Jan 29, 2008

we automatically generate a new successor node along an edge if the checker
did not explicitly do so (i.e., we just propagate the current state).

llvm-svn: 46536

7ff1893f

Jan 29, 2008
- Added boilerplate logic in GREngine for processing branches. · 9b4211d2
  Ted Kremenek authored Jan 29, 2008
```
llvm-svn: 46532
```
  9b4211d2
- Renamed GRNodeBuilder to GRStmtNodeBuilder. · b2cad31a
  Ted Kremenek authored Jan 29, 2008
```
llvm-svn: 46531
```
  b2cad31a
- Driver now passes the top-level FunctionDecl* to GRConstants. · 997d8723
  Ted Kremenek authored Jan 29, 2008
```
Refactoring: for GREngine and GRConstants, pushed references to CFG, ASTContext,
and the top-level FunctionDecl into ExplodedGraphImpl.

llvm-svn: 46475
```
  997d8723
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

Hooked up the GRConstants analysis to the driver. · 2e12c2e7

Ted Kremenek authored Jan 16, 2008

Fixed some compilation errors with GREngine that showed up during
template instantiation.

llvm-svn: 46074

2e12c2e7

Jan 15, 2008
- Removed implicit transitions to a "BlockExit" location; we now handle · e5843597
  Ted Kremenek authored Jan 15, 2008
```
the end of the block by processing empty blocks (at BlockEntrance) or
when we have just processed the last statement in a block (at PostStmt).

llvm-svn: 45991
```
  e5843597
- Added prototype implementation of path-sens. analysis core engine. · 3e743661
  Ted Kremenek authored Jan 14, 2008
```
llvm-svn: 45986
```
  3e743661