Fix broken logic from my last commit. Branches only occur at basic blocks that end with terminators.

llvm-svn: 65410
This commit is contained in:
Ted Kremenek 2009-02-24 23:34:17 +00:00
parent c324a0e089
commit 260c49a712
1 changed files with 1 additions and 1 deletions

View File

@ -2707,8 +2707,8 @@ CFRefLeakReport::getEndPath(BugReporter& br, const ExplodedNode<GRState>* EndN){
// FIXME: What we really want is to set LeakN to be the node
// for the BlockEntrance for the branch we took and have BugReporter
// do the right thing.
atBranch = true;
S = BE->getSrc()->getTerminator();
atBranch = (S != 0);
}
if (S) {