208     int64_t RightValue = cantFail(RightOperand.getSignedValue());  in operator +()  local
209     Optional<int64_t> Result = checkedAdd<int64_t>(LeftValue, RightValue);  in operator +()
226   uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in operator +()  local
228       checkedAddUnsigned<uint64_t>(LeftValue, RightValue);  in operator +()
240     uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in operator -()  local
242     if (RightValue > (uint64_t)std::numeric_limits<int64_t>::max())  in operator -()
245         checkedSub(LeftValue, static_cast<int64_t>(RightValue));  in operator -()
262   uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in operator -()  local
263   if (LeftValue >= RightValue)  in operator -()
264     return ExpressionValue(LeftValue - RightValue);  in operator -()
266     uint64_t AbsoluteDifference = RightValue - LeftValue;  in operator -()
308   uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in operator *()  local
310       checkedMulUnsigned<uint64_t>(LeftValue, RightValue);  in operator *()
333   uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in operator /()  local
334   return ExpressionValue(LeftValue / RightValue);  in operator /()
341     int64_t RightValue = cantFail(RightOperand.getSignedValue());  in max()  local
342     return ExpressionValue(std::max(LeftValue, RightValue));  in max()
347     uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in max()  local
348     return ExpressionValue(std::max(LeftValue, RightValue));  in max()