Lines Matching refs:state
27 void emitReport(ProgramStateRef state, CheckerContext &C) const;
33 void BoolAssignmentChecker::emitReport(ProgramStateRef state,
35 if (ExplodedNode *N = C.addTransition(state)) {
79 ProgramStateRef state = C.getState();
86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal,
99 llvm::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero);
116 assert(stateGE == state);
122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,
135 llvm::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne);
152 assert(stateLE == state);
