Lines Matching refs:state
107 /// checker state changes).
114 ExplodedNode *generateNode(const ProgramState *state,
119 ExplodedNode *N = generateNodeImpl(state, isSink, pred, tag);
124 ExplodedNode *generateNode(const ProgramState *state,
127 ExplodedNode *N = generateNodeImpl(state, false, 0, tag);
133 ExplodedNode *generateSink(const ProgramState *state = 0) {
134 return generateNodeImpl(state ? state : getState(), true);
137 void addTransition(const ProgramState *state,
139 assert(state);
140 // If the 'state' is not new, we need to check if the cached state 'ST'
142 if (state != getState())
143 generateNode(state, true, tag);
155 ExplodedNode *generateNodeImpl(const ProgramState *state,
161 state,