Searched refs:newState (Results 1 - 5 of 5) sorted by relevance

/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp116 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), local
120 return Mgr.getOwningEngine()->processRegionChange(newState, MR);
122 return newState;
196 ProgramStateRef newState = makeWithStore(newStore); local
199 newState = Eng->notifyCheckersOfPointerEscape(newState, IS,
205 return Eng->processRegionChanges(newState, IS, TopLevelInvalidated,
391 ProgramState *newState = 0;
393 newState = freeStates.back();
397 newState
[all...]
H A DExprEngine.cpp129 if (ProgramStateRef newState = state->assume(*Constraint, true))
130 state = newState;
/freebsd-10.2-release/contrib/wpa/src/eap_peer/
H A Dtncc.c124 TNC_ConnectionState newState);
/freebsd-10.2-release/contrib/wpa/src/eap_server/
H A Dtncs.c121 TNC_ConnectionState newState);
/freebsd-10.2-release/sys/dev/mrsas/
H A Dmrsas.h2399 u_int32_t newState; member in struct:mrsas_evt_detail::__anon9480::__anon9493

Completed in 130 milliseconds