reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
85 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy); 87 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal, 88 svalBuilder.getConditionType()); 121 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy); 123 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal, 124 svalBuilder.getConditionType());