Searched refs:getFirstPred (Results 1 – 18 of 18) sorted by relevance
98 N->getFirstPred()->getState()->get<RequestMap>(RequestRegion); in VisitNode()104 ProgramPoint P = N->getFirstPred()->getLocation(); in VisitNode()
171 N = N->getFirstPred(); in isPossiblyEscaped()193 N = N->getFirstPred(); in isPossiblyEscaped()243 N = N->getFirstPred(); in madeNewBranch()
292 getFirstPred()->getState()->getID() == getState()->getID() && in isTrivial()293 getFirstPred()->succ_size() == 1; in isTrivial()
527 N = N->getFirstPred(); in findModifyingFrames()806 Node = Node->getFirstPred(); in addVisitorIfNecessary()811 Node = Node->getFirstPred(); in addVisitorIfNecessary()1186 const ExplodedNode *Pred = Succ->getFirstPred(); in VisitNode()1354 const ExplodedNode *PrevN = N->getFirstPred(); in VisitNode()1431 const ExplodedNode *Pred = Succ->getFirstPred(); in VisitNode()1558 NI = NI->getFirstPred(); in peelOffOuterExpr()1593 N = N->getFirstPred(); in findNodeForExpression()1830 ProgramStateRef PrevState = N->getFirstPred()->getState(); in VisitNodeImpl()2427 if (!N->getState()->isTainted(V) || N->getFirstPred()->getState()->isTainted(V)) in VisitNode()
93 for (N = N->getFirstPred(); N; N = N->getFirstPred()) in GetPreviousStmt()929 N = N->getFirstPred(); in getStmtBeforeCond()1165 if (const ExplodedNode *NextNode = N->getFirstPred()) { in generatePathDiagnosticsForNode()1937 const ExplodedNode *NextNode = ErrorNode->getFirstPred(); in generatePathDiagnosticForConsumer()1944 NextNode = NextNode->getFirstPred(); in generatePathDiagnosticForConsumer()2547 const ExplodedNode *NextNode = ErrorNode->getFirstPred(); in generateVisitorsDiagnostics()2558 const ExplodedNode *Pred = NextNode->getFirstPred(); in generateVisitorsDiagnostics()3041 if (N->getFirstPred() == nullptr) { in findExecutedLines()3067 N = N->getFirstPred(); in findExecutedLines()
182 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
98 Node = Node->getFirstPred(); in getLastStmt()
205 ExplodedNode *getFirstPred() { in getFirstPred() function209 const ExplodedNode *getFirstPred() const { in getFirstPred() function210 return const_cast<ExplodedNode*>(this)->getFirstPred(); in getFirstPred()
287 N = N->getFirstPred(); in getCalleeNode()369 const ExplodedNode *PrevNode = N->getFirstPred(); in VisitNode()570 N = N->getFirstPred(); in GetAllocationSite()
97 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
258 Succ->getFirstPred()->getState()->contains<CalledSuperDealloc>( in VisitNode()
287 isSymbolTracked(N->getFirstPred()->getState(), PtrToBuf)) in VisitNode()
381 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
265 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
624 N->getFirstPred()->getState()->get<AllocatedData>(Sym); in VisitNode()
937 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode()
299 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
2875 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode()