Searched defs:newState (Results 1 – 15 of 15) sorted by relevance
119 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc() local205 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl() local434 ProgramState *newState = nullptr; in getPersistentState() local
280 if (ProgramStateRef newState = state->assume(*Constraint, true)) in getInitialState() local
572 unsigned short newState; member
288 void reference(RefState newState) { in reference()
598 unsigned short newState; member
1113 CodeState newState = CodeState::Data; in convertArmInstructionstoBE8() local
127 unsigned short newState; member
708 unsigned short newState; member
706 unsigned short newState; member
881 unsigned short newState; member
997 unsigned short newState; member
1103 unsigned short newState; member
867 unsigned short newState; member
2926 u_int32_t newState; member
6431 static void re_add_state(ReStateSet *pSet, int newState){ in re_add_state()