reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
603 ProgramStateRef State = C.getState(); 617 modelUse(State, ArgRegion, RD, MK, C); 645 C.addTransition(State); 668 modelUse(State, ArgRegion, RD, MK, C); 671 C.addTransition(State); 676 modelUse(State, ThisRegion, RD, MK_Dereference, C); 681 modelUse(State, ThisRegion, RD, MK_FunCall, C);