Commits · 71b49503d8f42f6312875e1c5975892d2e6311ad · Roger Ferrer / llvm-epi-0.8

Jan 29, 2008

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