reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
352 assert(!C.isDifferent() && "No transitions should have been made by now"); 362 || isInMoveSafeContext(C.getLocationContext())) { 364 C.addTransition(State); 373 C.generateSink(State, C.getPredecessor()); 373 C.generateSink(State, C.getPredecessor()); 375 C.addTransition(State); 380 ExplodedNode *N = reportBug(Region, RD, C, MK); 387 C.addTransition(State, N);