Searched refs:getFirstPred (Results 1 – 17 of 17) sorted by relevance
285 getFirstPred()->getState()->getID() == getState()->getID() && in isTrivial()286 getFirstPred()->succ_size() == 1; in isTrivial()378 for (const ExplodedNode *N = getFirstPred(); N; N = N->getFirstPred()) in getPreviousStmtForDiagnostics()
229 N = N->getFirstPred(); in isPossiblyEscaped()258 N = N->getFirstPred(); in isPossiblyEscaped()313 N = N->getFirstPred(); in madeNewBranch()
413 OrigSCtx == N->getFirstPred()->getStackFrame(); in getMatchingCallExitEnd()435 CurrN = CurrN->getFirstPred()) { in findModifyingFrames()1531 const ExplodedNode *Pred = Succ->getFirstPred(); in VisitNode()1718 for (const ExplodedNode *N = StoreSite; N; N = N->getFirstPred()) { in VisitNode()1744 const ExplodedNode *NodeWithoutBinding = StoreSite->getFirstPred(); in VisitNode()1747 NodeWithoutBinding = NodeWithoutBinding->getFirstPred()) { in VisitNode()1841 const ExplodedNode *PrevN = N->getFirstPred(); in VisitNode()1914 const ExplodedNode *Pred = Succ->getFirstPred(); in VisitNode()2178 NI = NI->getFirstPred(); in peelOffOuterExpr()2213 N = N->getFirstPred(); in findNodeForExpression()[all …]
172 CurrentNode = CurrentNode->getFirstPred(); in ascendToPrevNode()1052 N = N->getFirstPred(); in getStmtBeforeCond()2797 const ExplodedNode *NextNode = ErrorNode->getFirstPred(); in generateVisitorsDiagnostics()2810 const ExplodedNode *Pred = NextNode->getFirstPred(); in generateVisitorsDiagnostics()3215 if (N->getFirstPred() == nullptr) { in findExecutedLines()3241 N = N->getFirstPred(); in findExecutedLines()
209 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
102 Node = Node->getFirstPred(); in getLastStmt()
209 ExplodedNode *getFirstPred() { in getFirstPred() function213 const ExplodedNode *getFirstPred() const { in getFirstPred() function214 return const_cast<ExplodedNode*>(this)->getFirstPred(); in getFirstPred()
363 N = N->getFirstPred(); in getCalleeNode()433 getRefBinding(N->getFirstPred()->getState(), Sym)) in annotateStartParameter()476 const ExplodedNode *PrevNode = N->getFirstPred(); in VisitNode()644 Node = Node->getFirstPred(); in getAllVarBindingsForSymbol()725 N = N->getFirstPred(); in GetAllocationSite()
74 CallExitEndN->getFirstPred()->getLocationContext()->getDecl(); in wasModifiedInFunction()
251 Succ->getFirstPred()->getState()->contains<CalledSuperDealloc>( in VisitNode()
301 isSymbolTracked(N->getFirstPred()->getState(), PtrToBuf)) in VisitNode()
380 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
283 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
837 Node = Node->getFirstPred(); in findCallEnter()
795 N = N->getFirstPred(); in getAcquisitionSite()803 N = N->getFirstPred(); in getAcquisitionSite()
345 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
3426 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode()