Searched refs:removeFromState (Results 1 – 1 of 1) sorted by relevance
244 static ProgramStateRef removeFromState(ProgramStateRef State, in removeFromState() function611 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); in checkPreCall()645 State = removeFromState(State, ThisRegion); in checkPreCall()662 State = removeFromState(State, ThisRegion); in checkPreCall()723 State = removeFromState(State, Region); in checkRegionChanges()731 State = removeFromState(State, Region->getBaseRegion()); in checkRegionChanges()