reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
324 if (ExplodedNode *N = C.addTransition(State)) 328 } else if (!State->contains<InitializedVALists>(Arg2) && !Symbolic) { 329 if (State->contains<InitializedVALists>(VAList)) { 330 State = State->remove<InitializedVALists>(VAList); 330 State = State->remove<InitializedVALists>(VAList); 332 if (ExplodedNode *N = C.addTransition(State)) 343 if (State->contains<InitializedVALists>(VAList)) { 345 if (ExplodedNode *N = C.addTransition(State)) 351 State = State->add<InitializedVALists>(VAList); 351 State = State->add<InitializedVALists>(VAList); 352 C.addTransition(State);