Searched refs:newState (Results 1 – 3 of 3) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 119 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc() local
123 return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx); in bindLoc()
125 return newState; in bindLoc()
206 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl() local
209 newState = Eng.notifyCheckersOfPointerEscape(newState, IS, in invalidateRegionsImpl()
215 return Eng.processRegionChanges(newState, IS, TopLevelInvalidated, in invalidateRegionsImpl()
421 ProgramState *newState = nullptr; in getPersistentState() local
423 newState = freeStates.back(); in getPersistentState()
427 newState = (ProgramState*) Alloc.Allocate<ProgramState>(); in getPersistentState()
429 new (newState) ProgramState(State); in getPersistentState()
[all …]
|
| H A D | ExprEngine.cpp | 279 if (ProgramStateRef newState = state->assume(*Constraint, true)) in getInitialState() local
280 state = newState; in getInitialState()
|
| /openbsd-src/gnu/llvm/lld/MachO/ |
| H A D | Symbols.h | 285 void reference(RefState newState) { in reference() argument
286 assert(newState > RefState::Unreferenced); in reference()
289 refState = std::max(refState, newState); in reference()
|