Ted Kremenek e914bb8183 Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly ...

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

2008-01-16 22:13:19 +00:00

2.7 KiB

Raw Blame History

View Raw