Home | History | Annotate | Download | only in Checkers

Lines Matching refs:State

152   /// up/reduce the checker state, which is important for reducing the overall
203 /// state. This callback allows a checker to provide domain specific knowledge
219 /// performed on the symbols of interest and change the state accordingly.
222 ProgramStateRef evalAssume(ProgramStateRef State,
224 bool Assumption) const { return State; }
231 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {}
238 /// #checkRegionChanges when no checkers are tracking any state.
247 /// \param State The current program state.
265 checkRegionChanges(ProgramStateRef State,
270 return State;
280 /// \param State The state at the point of escape.
285 /// \returns Checkers can modify the state by returning a new state.
286 ProgramStateRef checkPointerEscape(ProgramStateRef State,
290 return State;
297 ProgramStateRef checkConstPointerEscape(ProgramStateRef State,
301 return State;