Searched refs:newState (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 118 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc() local
124 return newState; in bindLoc()
205 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl() local
208 newState = Eng.notifyCheckersOfPointerEscape(newState, IS, in invalidateRegionsImpl()
214 return Eng.processRegionChanges(newState, IS, TopLevelInvalidated, in invalidateRegionsImpl()
422 ProgramState *newState = nullptr; in getPersistentState() local
424 newState = freeStates.back(); in getPersistentState()
428 newState = (ProgramState*) Alloc.Allocate<ProgramState>(); in getPersistentState()
430 new (newState) ProgramState(State); in getPersistentState()
431 StateSet.InsertNode(newState, InsertPos); in getPersistentState()
[all …]
|
| H A D | ExprEngine.cpp | 272 if (ProgramStateRef newState = state->assume(*Constraint, true)) in getInitialState() local
273 state = newState; in getInitialState()
|
| /llvm-project-15.0.7/lld/MachO/ |
| H A D | Symbols.h | 277 void reference(RefState newState) { in reference() argument
278 assert(newState > RefState::Unreferenced); in reference()
281 refState = std::max(refState, newState); in reference()
|
| /llvm-project-15.0.7/mlir/lib/Transforms/Utils/ |
| H A D | DialectConversion.cpp | 1758 RewriterState &newState);
1761 RewriterState &state, RewriterState &newState);
1765 RewriterState &newState);
2039 RewriterState newState = impl.getCurrentState(); in legalizePatternResult() local
2041 newState)) || in legalizePatternResult()
2044 newState))) { in legalizePatternResult()
2055 RewriterState &newState) { in legalizePatternBlockActions() argument
2060 for (int i = state.numBlockActions, e = newState.numBlockActions; i != e; in legalizePatternBlockActions()
2107 RewriterState &state, RewriterState &newState) { in legalizePatternCreatedOperations() argument
2108 for (int i = state.numCreatedOps, e = newState.numCreatedOps; i != e; ++i) { in legalizePatternCreatedOperations()
[all …]
|