Searched defs:NewState (Results 1 – 7 of 7) sorted by relevance
100 ProgramState NewState = *state; in removeDeadBindings() local347 ProgramState NewState(*FromState); in getPersistentStateWithGDM() local474 ProgramState NewState = *state; in removeGDM() local642 ProgramStateRef NewState = set<TaintMap>(Sym, Kind); in addTaint() local749 ProgramStateRef NewState = set<DynamicTypeMap>(Reg, NewTy); in setDynamicTypeInfo() local
480 State *NewState = NULL; in run() local
288 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { in cloneWithState()941 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const { in cloneWithState()
169 NewState(struct fsm *fp, int new) in NewState() function
227 DiagState *NewState = &DiagStates.back(); in setDiagnosticMapping() local
391 RegState NewState) { in definePhysReg()
1623 GLbitfield NewState; /**< mask of _NEW_ARRAY_* values */ member