• Home
  • Raw
  • Download

Lines Matching refs:ExplodedNode

1643   typedef llvm::DenseMap<const ExplodedNode *, const RetainSummary *>
1755 virtual PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
1756 const ExplodedNode *PrevN,
1761 const ExplodedNode *N,
1772 const ExplodedNode *N,
1790 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym, in CFRefReport()
1799 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym, in CFRefReport()
1820 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym,
1882 PathDiagnosticPiece *CFRefReportVisitor::VisitNode(const ExplodedNode *N, in VisitNode()
1883 const ExplodedNode *PrevN, in VisitNode()
1996 const ExplodedNode *OrigNode = BRC.getNodeResolver().getOriginalNode(N); in VisitNode()
2179 static std::pair<const ExplodedNode*,const MemRegion*>
2180 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, in GetAllocationSite()
2182 const ExplodedNode *Last = N; in GetAllocationSite()
2215 const ExplodedNode *EndN, in getEndPath()
2223 const ExplodedNode *EndN, in getEndPath()
2233 const ExplodedNode *AllocNode = 0; in getEndPath()
2244 const ExplodedNode *LeakN = EndN; in getEndPath()
2308 ExplodedNode *n, SymbolRef sym, in CFRefLeakReport()
2320 const ExplodedNode *AllocNode = 0; in CFRefLeakReport()
2536 ExplodedNode *Pred, RetEffect RE, RefVal X,
2558 std::pair<ExplodedNode *, ProgramStateRef >
2559 handleAutoreleaseCounts(ProgramStateRef state, ExplodedNode *Pred,
2563 ExplodedNode *processLeaks(ProgramStateRef state,
2566 ExplodedNode *Pred = 0) const;
2671 const ExplodedNode *pred = C.getPredecessor(); in processObjCLiterals()
2713 const ExplodedNode *Pred = C.getPredecessor(); in checkPostStmt()
2912 ExplodedNode *NewNode; in checkSummary()
3087 ExplodedNode *N = C.generateSink(St); in processNonLeakError()
3268 ExplodedNode *Pred = C.addTransition(state); in checkPreStmt()
3314 ExplodedNode *Pred, in checkReturnWithRetEffect()
3344 ExplodedNode *N = C.addTransition(state, Pred, &ReturnOwnLeakTag); in checkReturnWithRetEffect()
3364 ExplodedNode *N = C.addTransition(state, Pred, &ReturnNotOwnedTag); in checkReturnWithRetEffect()
3492 std::pair<ExplodedNode *, ProgramStateRef >
3494 ExplodedNode *Pred, in handleAutoreleaseCounts()
3524 ExplodedNode *N = Ctx.addTransition(state, Pred, Tag); in handleAutoreleaseCounts()
3535 ExplodedNode *N = Ctx.generateSink(state, Pred, Tag); in handleAutoreleaseCounts()
3554 return std::make_pair((ExplodedNode *)0, (ProgramStateRef )0); in handleAutoreleaseCounts()
3574 ExplodedNode *
3578 ExplodedNode *Pred) const { in processLeaks()
3583 ExplodedNode *N = Ctx.addTransition(state, Pred); in processLeaks()
3607 ExplodedNode *Pred = Ctx.getPredecessor(); in checkEndPath()
3647 ExplodedNode *Pred = C.getPredecessor(); in checkDeadSymbols()