reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
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);