Home
last modified time | relevance | path

Searched defs:newState (Results 1 – 3 of 3) sorted by relevance

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp122 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc() local
209 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl() local
417 ProgramState *newState = nullptr; in getPersistentState() local
H A DExprEngine.cpp268 if (ProgramStateRef newState = state->assume(*Constraint, true)) in getInitialState() local
/netbsd-src/external/public-domain/sqlite/dist/
H A Dshell.c6361 static void re_add_state(ReStateSet *pSet, int newState){ in re_add_state()