190     int64_t RightValue = cantFail(RightOperand.getSignedValue());  in operator +()  local
191     Optional<int64_t> Result = checkedAdd<int64_t>(LeftValue, RightValue);  in operator +()
208   uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in operator +()  local
210       checkedAddUnsigned<uint64_t>(LeftValue, RightValue);  in operator +()
222     uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in operator -()  local
224     if (RightValue > (uint64_t)std::numeric_limits<int64_t>::max())  in operator -()
227         checkedSub(LeftValue, static_cast<int64_t>(RightValue));  in operator -()
244   uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in operator -()  local
245   if (LeftValue >= RightValue)  in operator -()
246     return ExpressionValue(LeftValue - RightValue);  in operator -()
248     uint64_t AbsoluteDifference = RightValue - LeftValue;  in operator -()
290   uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in operator *()  local
292       checkedMulUnsigned<uint64_t>(LeftValue, RightValue);  in operator *()
315   uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in operator /()  local
316   return ExpressionValue(LeftValue / RightValue);  in operator /()
323     int64_t RightValue = cantFail(RightOperand.getSignedValue());  in max()  local
324     return ExpressionValue(std::max(LeftValue, RightValue));  in max()
329     uint64_t RightValue = cantFail(RightOperand.getUnsignedValue());  in max()  local
330     return ExpressionValue(std::max(LeftValue, RightValue));  in max()