Lines Matching refs:State
207 ProgramStateRef evalAssume(ProgramStateRef State,
209 bool Assumption) const { return State; }
216 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {}
232 /// \param State The current program state.
250 checkRegionChanges(ProgramStateRef State,
255 return State;
265 /// \param State The state at the point of escape.
271 ProgramStateRef checkPointerEscape(ProgramStateRef State,
275 return State;
282 ProgramStateRef checkConstPointerEscape(ProgramStateRef State,
286 return State;