parent
c2d140156c
commit
3cb8a84924
|
@ -949,11 +949,6 @@ void EdgeBuilder::addContext(const Stmt *S) {
|
||||||
return;
|
return;
|
||||||
|
|
||||||
if (containsLocation(TopContextLoc, L)) {
|
if (containsLocation(TopContextLoc, L)) {
|
||||||
// / if (const Stmt *S = L.asStmt())
|
|
||||||
// if (isa<Expr>(S))
|
|
||||||
// if (const Stmt *P = PDB.getParent(S))
|
|
||||||
// addContext(PDB.getEnclosingStmtLocation(P).asStmt());
|
|
||||||
|
|
||||||
CLocs.push_back(L);
|
CLocs.push_back(L);
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
@ -974,7 +969,6 @@ static void GenerateExtensivePathDiagnostic(PathDiagnostic& PD,
|
||||||
|
|
||||||
const ExplodedNode<GRState>* NextNode = N->pred_empty()
|
const ExplodedNode<GRState>* NextNode = N->pred_empty()
|
||||||
? NULL : *(N->pred_begin());
|
? NULL : *(N->pred_begin());
|
||||||
|
|
||||||
while (NextNode) {
|
while (NextNode) {
|
||||||
N = NextNode;
|
N = NextNode;
|
||||||
NextNode = GetPredecessorNode(N);
|
NextNode = GetPredecessorNode(N);
|
||||||
|
@ -987,13 +981,6 @@ static void GenerateExtensivePathDiagnostic(PathDiagnostic& PD,
|
||||||
if (const Stmt *Term = Blk.getTerminator())
|
if (const Stmt *Term = Blk.getTerminator())
|
||||||
EB.addContext(Term);
|
EB.addContext(Term);
|
||||||
|
|
||||||
// Only handle blocks with more than 1 statement here, as the blocks
|
|
||||||
// with one statement are handled at BlockEntrances.
|
|
||||||
// if (Blk.size() > 1) {
|
|
||||||
// const Stmt *S = *Blk.rbegin();
|
|
||||||
// EB.addEdge(S);
|
|
||||||
// }
|
|
||||||
|
|
||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -1002,7 +989,7 @@ static void GenerateExtensivePathDiagnostic(PathDiagnostic& PD,
|
||||||
if (IsControlFlowExpr(S))
|
if (IsControlFlowExpr(S))
|
||||||
EB.addContext(S);
|
EB.addContext(S);
|
||||||
else
|
else
|
||||||
EB.addEdge(S);
|
EB.addContext(PDB.getEnclosingStmtLocation(S).asStmt());
|
||||||
}
|
}
|
||||||
|
|
||||||
continue;
|
continue;
|
||||||
|
|
Loading…
Reference in New Issue