207     int64_t LeftValue = cantFail(LeftOperand.getSignedValue());  in operator +()  local
209     Optional<int64_t> Result = checkedAdd<int64_t>(LeftValue, RightValue);  in operator +()
225   uint64_t LeftValue = cantFail(LeftOperand.getUnsignedValue());  in operator +()  local
228       checkedAddUnsigned<uint64_t>(LeftValue, RightValue);  in operator +()
239     int64_t LeftValue = cantFail(LeftOperand.getSignedValue());  in operator -()  local
245         checkedSub(LeftValue, static_cast<int64_t>(RightValue));  in operator -()
261   uint64_t LeftValue = cantFail(LeftOperand.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 -()
307   uint64_t LeftValue = cantFail(LeftOperand.getUnsignedValue());  in operator *()  local
310       checkedMulUnsigned<uint64_t>(LeftValue, RightValue);  in operator *()
332   uint64_t LeftValue = cantFail(LeftOperand.getUnsignedValue());  in operator /()  local
334   return ExpressionValue(LeftValue / RightValue);  in operator /()
340     int64_t LeftValue = cantFail(LeftOperand.getSignedValue());  in max()  local
342     return ExpressionValue(std::max(LeftValue, RightValue));  in max()
346     uint64_t LeftValue = cantFail(LeftOperand.getUnsignedValue());  in max()  local
348     return ExpressionValue(std::max(LeftValue, RightValue));  in max()