Searched refs:getPredecessor (Results 1 – 8 of 8) sorted by relevance
60 ExplodedNode *N = C.getPredecessor(); in getArgumentValueString()89 ExplodedNode *N = C.getPredecessor(); in analyzerEval()106 ExplodedNode *N = C.getPredecessor(); in analyzerWarnIfReached()116 ExplodedNode *N = C.getPredecessor(); in analyzerCheckInlined()
214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in OpenFileAux()
2780 const ExplodedNode *pred = C.getPredecessor(); in processObjCLiterals()2820 const ExplodedNode *Pred = C.getPredecessor(); in checkPostStmt()3116 NewNode = C.getPredecessor(); in checkSummary()3871 ExplodedNode *Pred = Ctx.getPredecessor(); in checkEndFunction()3918 ExplodedNode *Pred = C.getPredecessor(); in checkDeadSymbols()
588 ExplodedNode *N = C.addTransition(C.getState(), C.getPredecessor(), &Tag); in checkDeadSymbols()
1085 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in MallocMemAux()2151 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()2154 N = C.addTransition(C.getState(), C.getPredecessor(), &Tag); in checkDeadSymbols()
1017 if (!alreadyExecutedAtLeastOneLoopIteration(C.getPredecessor(), FCS)) in checkPostStmt()
839 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in InvalidateBuffer()
117 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor() function