Searched refs:pred_state (Results 1 – 2 of 2) sorted by relevance
126 ProgramStateRef pred_state = pred->getState(); in shouldCollect() local127 if (state->store != pred_state->store || state->GDM != pred_state->GDM || in shouldCollect()
116 ProgramStateRef pred_state = pred->getState(); in shouldCollect() local117 if (state->store != pred_state->store || state->GDM != pred_state->GDM || in shouldCollect()