Searched refs:removeFromState (Results 1 – 1 of 1) sorted by relevance
243 static ProgramStateRef removeFromState(ProgramStateRef State, in removeFromState() function605 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); in checkPreCall()639 State = removeFromState(State, ThisRegion); in checkPreCall()656 State = removeFromState(State, ThisRegion); in checkPreCall()716 State = removeFromState(State, Region); in checkRegionChanges()722 State = removeFromState(State, Region->getBaseRegion()); in checkRegionChanges()