reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
610 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); 610 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); 617 modelUse(State, ArgRegion, RD, MK, C); 644 State = removeFromState(State, ThisRegion); 644 State = removeFromState(State, ThisRegion); 645 C.addTransition(State); 661 State = removeFromState(State, ThisRegion); 661 State = removeFromState(State, ThisRegion); 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);