Home
last modified time | relevance | path

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

/trueos/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDProgramState.cpp116 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc() local
196 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl() local
391 ProgramState *newState = 0; in getPersistentState() local
HDExprEngine.cpp129 if (ProgramStateRef newState = state->assume(*Constraint, true)) in getInitialState() local
/trueos/sys/dev/mrsas/
HDmrsas.h2399 u_int32_t newState; member