Lines Matching defs:PDB
503 PathDiagnostic &PD, PathDiagnosticBuilder &PDB, const ExplodedNode *N,
511 BugReport *R = PDB.getBugReport();
515 PathDiagnosticPiece *Piece = V->VisitNode(N, Pred, PDB, *R);
557 PathDiagnostic &PD, PathDiagnosticBuilder &PDB, const ExplodedNode *N,
561 SourceManager& SMgr = PDB.getSourceManager();
562 const LocationContext *LC = PDB.LC;
570 PDB.LC = N->getLocationContext();
640 const PathDiagnosticLocation &End = PDB.getEnclosingStmtLocation(S);
689 os << LHS->EvaluateKnownConstInt(PDB.getASTContext());
701 const PathDiagnosticLocation &End = PDB.ExecutionContinues(os, N);
713 PathDiagnosticLocation End = PDB.ExecutionContinues(os, N);
731 PathDiagnosticLocation End = PDB.ExecutionContinues(N);
734 End = PDB.getEnclosingStmtLocation(S);
743 if (!PDB.supportsLogicalOpControlFlow())
765 PathDiagnosticLocation End = PDB.ExecutionContinues(N);
777 PathDiagnosticLocation End = PDB.ExecutionContinues(N);
800 PathDiagnosticLocation End = PDB.ExecutionContinues(os, N);
803 End = PDB.getEnclosingStmtLocation(S);
809 PathDiagnosticLocation End = PDB.ExecutionContinues(N);
812 End = PDB.getEnclosingStmtLocation(S);
828 PathDiagnosticLocation End = PDB.ExecutionContinues(os, N);
830 End = PDB.getEnclosingStmtLocation(S);
836 PathDiagnosticLocation End = PDB.ExecutionContinues(N);
838 End = PDB.getEnclosingStmtLocation(S);
848 PathDiagnosticLocation End = PDB.ExecutionContinues(N);
851 End = PDB.getEnclosingStmtLocation(S);
868 BugReport *R = PDB.getBugReport();
870 if (PathDiagnosticPiece *p = V->VisitNode(N, NextNode, PDB, *R)) {
878 if (!PDB.getBugReport()->isValid())
883 CompactPathDiagnostic(PD.getMutablePieces(), PDB.getSourceManager());
968 PathDiagnosticBuilder &PDB;
983 rawAddEdge(cleanUpLocation(CLocs.back(), PDB.LC, true));
989 EdgeBuilder(PathDiagnostic &pd, PathDiagnosticBuilder &pdb)
990 : PD(pd), PDB(pdb) {
998 addExtendedContext(PDB.getEnclosingStmtLocation(S).asStmt());
1008 PDB.LC,
1009 PDB.getSourceManager());
1038 return PDB.getEnclosingStmtLocation(S);
1058 S = PDB.getParent(S);
1067 SourceManager &SM = PDB.getSourceManager();
1097 const PathDiagnosticLocation &NewLocClean = cleanUpLocation(NewLoc, PDB.LC);
1098 const PathDiagnosticLocation &PrevLocClean = cleanUpLocation(PrevLoc, PDB.LC);
1166 return PDB.getParentMap().isConsumedExpr(X) && !IsControlFlowExpr(X);
1175 const Stmt *Parent = PDB.getParent(S);
1178 Parent = PDB.getParent(Parent);
1200 PathDiagnosticLocation L(S, PDB.getSourceManager(), PDB.LC);
1388 PathDiagnostic &PD, PathDiagnosticBuilder &PDB, const ExplodedNode *N,
1391 EdgeBuilder EB(PD, PDB);
1392 const SourceManager& SM = PDB.getSourceManager();
1405 reversePropagateIntererstingSymbols(*PDB.getBugReport(), IE,
1413 reversePropagateIntererstingSymbols(*PDB.getBugReport(), IE,
1444 PDB.LC = N->getLocationContext();
1474 PDB.LC = N->getLocationContext();
1482 const LocationContext *CalleeCtx = PDB.LC;
1484 reversePropagateInterestingSymbols(*PDB.getBugReport(), IE,
1492 PathDiagnosticLocation L(Loop, SM, PDB.LC);
1516 ParentMap &PM = PDB.getParentMap();
1527 PathDiagnosticLocation L(Term, SM, PDB.LC);
1553 EB.addExtendedContext(PDB.getEnclosingStmtLocation(stmt).asStmt());
1566 BugReport *R = PDB.getBugReport();
1568 if (PathDiagnosticPiece *p = V->VisitNode(N, NextNode, PDB, *R)) {
1575 EB.addExtendedContext(PDB.getEnclosingStmtLocation(S).asStmt());
1580 return PDB.getBugReport()->isValid();
1628 PathDiagnostic &PD, PathDiagnosticBuilder &PDB, const ExplodedNode *N,
1632 BugReport *report = PDB.getBugReport();
1633 const SourceManager& SM = PDB.getSourceManager();
1688 PDB.LC = NewLC;
1704 PDB.LC = N->getLocationContext();
1709 LCM[&PD.getActivePath()] == PDB.LC);
1710 LCM[&PD.getActivePath()] = PDB.LC;
1717 reversePropagateIntererstingSymbols(*PDB.getBugReport(), IE,
1731 addEdgeToPath(PD.getActivePath(), PrevLoc, C->callReturn, PDB.LC);
1745 reversePropagateIntererstingSymbols(*PDB.getBugReport(), IE,
1754 PathDiagnosticLocation(PS->getStmt(), SM, PDB.LC);
1755 addEdgeToPath(PD.getActivePath(), PrevLoc, L, PDB.LC);
1766 const LocationContext *CalleeCtx = PDB.LC;
1768 reversePropagateInterestingSymbols(*PDB.getBugReport(), IE,
1776 PathDiagnosticLocation L(Loop, SM, PDB.LC);
1797 addEdgeToPath(PD.getActivePath(), PrevLoc, p->getLocation(), PDB.LC);
1803 PDB.LC);
1808 ParentMap &PM = PDB.getParentMap();
1835 PathDiagnosticLocation L(TermCond ? TermCond : Term, SM, PDB.LC);
1840 PE->getLocation(), PDB.LC);
1845 PathDiagnosticLocation L(Term, SM, PDB.LC);
1846 addEdgeToPath(PD.getActivePath(), PrevLoc, L, PDB.LC);
1858 if (PathDiagnosticPiece *p = V->VisitNode(N, NextNode, PDB, *report)) {
1859 addEdgeToPath(PD.getActivePath(), PrevLoc, p->getLocation(), PDB.LC);
1868 const StackFrameContext *CalleeLC = PDB.LC->getCurrentStackFrame();
3100 PathDiagnosticBuilder PDB(*this, R, ErrorGraph.BackMap, &PC);
3132 (*I)->getEndPath(PDB, N, *R)) {
3141 LastPiece = BugReporterVisitor::getDefaultEndPath(PDB, N, *R);
3152 GenerateAlternateExtensivePathDiagnostic(PD, PDB, N, LCM, visitors);
3155 GenerateExtensivePathDiagnostic(PD, PDB, N, LCM, visitors);
3158 GenerateMinimalPathDiagnostic(PD, PDB, N, LCM, visitors);
3161 GenerateVisitorsOnlyPathDiagnostic(PD, PDB, N, visitors);
