Searched refs:removeFromState (Results 1 – 1 of 1) sorted by relevance
244 static ProgramStateRef removeFromState(ProgramStateRef State, in removeFromState() function608 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); in checkPreCall()642 State = removeFromState(State, ThisRegion); in checkPreCall()659 State = removeFromState(State, ThisRegion); in checkPreCall()719 State = removeFromState(State, Region); in checkRegionChanges()725 State = removeFromState(State, Region->getBaseRegion()); in checkRegionChanges()