Searched defs:newState (Results 1 – 15 of 15) sorted by relevance
119 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc() local 205 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl() local 420 ProgramState *newState = nullptr; getPersistentState() local [all...]
280 if (ProgramStateRef newState = state->assume(*Constraint, true)) in getInitialState() local
572 unsigned short newState; member
283 reference(RefState newState) reference() argument
598 unsigned short newState; member
1036 CodeState newState = CodeState::Data; convertArmInstructionstoBE8() local
127 unsigned short newState; member
708 unsigned short newState; member
706 unsigned short newState; member
881 unsigned short newState; member
1103 unsigned short newState; member
997 unsigned short newState; member
867 unsigned short newState; member
2926 u_int32_t newState; member
6436 re_add_state(ReStateSet * pSet,int newState) re_add_state() argument