Lines Matching refs:State
239 ProgramStateRef evalAssume(ProgramStateRef State,
241 bool Assumption) const { return State; }
248 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {}
256 /// \param State The current program state.
273 checkRegionChanges(ProgramStateRef State,
279 return State;
289 /// \param State The state at the point of escape.
295 ProgramStateRef checkPointerEscape(ProgramStateRef State,
299 return State;
306 ProgramStateRef checkConstPointerEscape(ProgramStateRef State,
310 return State;