reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
516 assert(!N->isSink()); 519 if (N->getLocation().getAs<CallEnter>()) { 522 WList->enqueue(N, Block, Idx); 527 if (N->getLocation().getAs<PostInitializer>() || 528 N->getLocation().getAs<PostImplicitCall>()|| 529 N->getLocation().getAs<LoopExit>()) { 530 WList->enqueue(N, Block, Idx+1); 534 if (N->getLocation().getAs<EpsilonPoint>()) { 535 WList->enqueue(N, Block, Idx); 540 WList->enqueue(N, Block, Idx+1); 546 PostStmt Loc(CS.getStmt(), N->getLocationContext()); 548 if (Loc == N->getLocation().withTag(nullptr)) { 551 WList->enqueue(N, Block, Idx+1); 556 ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew); 557 Succ->addPredecessor(N, G);