reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
664 return state; 667 if (!state) 679 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, 684 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, 692 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left, 697 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); 707 state = stateOkay; 710 return state;