Searched refs:removeFromState (Results 1 – 1 of 1) sorted by relevance
244 static ProgramStateRef removeFromState(ProgramStateRef State, in removeFromState() function606 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); in checkPreCall()640 State = removeFromState(State, ThisRegion); in checkPreCall()657 State = removeFromState(State, ThisRegion); in checkPreCall()718 State = removeFromState(State, Region); in checkRegionChanges()726 State = removeFromState(State, Region->getBaseRegion()); in checkRegionChanges()