Searched defs:newState (Results 1 – 12 of 12) sorted by relevance
125 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc() local212 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl() local413 ProgramState *newState = nullptr; in getPersistentState() local
255 if (ProgramStateRef newState = state->assume(*Constraint, true)) in getInitialState() local
588 unsigned short newState; member
517 const State &DFA::newState() { in newState() function in DFA
127 unsigned short newState; member
697 unsigned short newState; member
933 unsigned short newState; member
695 unsigned short newState; member
1101 unsigned short newState; member
995 unsigned short newState; member
867 unsigned short newState; member
2761 u_int32_t newState; member