[cfe-commits] r46093 - in /cfe/trunk/Analysis: ExplodedGraph.cpp GREngine.cpp
Ted Kremenek
kremenek at apple.com
Wed Jan 16 14:13:19 PST 2008
Author: kremenek
Date: Wed Jan 16 16:13:19 2008
New Revision: 46093
URL: http://llvm.org/viewvc/llvm-project?rev=46093&view=rev
Log:
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.
Modified:
cfe/trunk/Analysis/ExplodedGraph.cpp
cfe/trunk/Analysis/GREngine.cpp
Modified: cfe/trunk/Analysis/ExplodedGraph.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/ExplodedGraph.cpp?rev=46093&r1=46092&r2=46093&view=diff
==============================================================================
--- cfe/trunk/Analysis/ExplodedGraph.cpp (original)
+++ cfe/trunk/Analysis/ExplodedGraph.cpp Wed Jan 16 16:13:19 2008
@@ -60,7 +60,7 @@
ExplodedNodeImpl** ExplodedNodeImpl::NodeGroup::end() const {
if (getKind() == Size1)
- return ((ExplodedNodeImpl**) &P)+1;
+ return (ExplodedNodeImpl**) (P ? &P+1 : &P);
else
return const_cast<ExplodedNodeImpl**>(&*(getVector(getPtr()).rbegin())+1);
}
Modified: cfe/trunk/Analysis/GREngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/GREngine.cpp?rev=46093&r1=46092&r2=46093&view=diff
==============================================================================
--- cfe/trunk/Analysis/GREngine.cpp (original)
+++ cfe/trunk/Analysis/GREngine.cpp Wed Jan 16 16:13:19 2008
@@ -167,7 +167,7 @@
HandleBlockExit(B, Pred);
else {
GRNodeBuilderImpl Builder(B, StmtIdx, Pred, this);
- ProcessStmt(L.getStmt(), Builder);
+ ProcessStmt((*B)[StmtIdx], Builder);
}
}
More information about the cfe-commits
mailing list