Lines Matching defs:state
26 void emitReport(ProgramStateRef state, CheckerContext &C) const;
32 void BoolAssignmentChecker::emitReport(ProgramStateRef state,
34 if (ExplodedNode *N = C.generateNonFatalErrorNode(state)) {
80 ProgramStateRef state = C.getState();
87 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal,
100 std::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero);
117 assert(stateGE == state);
123 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,
136 std::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne);
153 assert(stateLE == state);