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
diff --git a/clang/Analysis/GREngine.cpp b/clang/Analysis/GREngine.cpp
index 42951fc..f0c59cf 100644
--- a/clang/Analysis/GREngine.cpp
+++ b/clang/Analysis/GREngine.cpp
@@ -167,7 +167,7 @@
HandleBlockExit(B, Pred);
else {
GRNodeBuilderImpl Builder(B, StmtIdx, Pred, this);
- ProcessStmt(L.getStmt(), Builder);
+ ProcessStmt((*B)[StmtIdx], Builder);
}
}