Searched refs:removeFromState (Results 1 – 1 of 1) sorted by relevance
246 static ProgramStateRef removeFromState(ProgramStateRef State, in removeFromState() function612 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); in checkPreCall()646 State = removeFromState(State, ThisRegion); in checkPreCall()663 State = removeFromState(State, ThisRegion); in checkPreCall()723 State = removeFromState(State, Region); in checkRegionChanges()729 State = removeFromState(State, Region->getBaseRegion()); in checkRegionChanges()