189     int64_t LeftValue = cantFail(LeftOperand.getSignedValue());  in operator +()  local
191     Optional<int64_t> Result = checkedAdd<int64_t>(LeftValue, RightValue);  in operator +()
207   uint64_t LeftValue = cantFail(LeftOperand.getUnsignedValue());  in operator +()  local
210       checkedAddUnsigned<uint64_t>(LeftValue, RightValue);  in operator +()
221     int64_t LeftValue = cantFail(LeftOperand.getSignedValue());  in operator -()  local
227         checkedSub(LeftValue, static_cast<int64_t>(RightValue));  in operator -()
243   uint64_t LeftValue = cantFail(LeftOperand.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 -()
289   uint64_t LeftValue = cantFail(LeftOperand.getUnsignedValue());  in operator *()  local
292       checkedMulUnsigned<uint64_t>(LeftValue, RightValue);  in operator *()
314   uint64_t LeftValue = cantFail(LeftOperand.getUnsignedValue());  in operator /()  local
316   return ExpressionValue(LeftValue / RightValue);  in operator /()
322     int64_t LeftValue = cantFail(LeftOperand.getSignedValue());  in max()  local
324     return ExpressionValue(std::max(LeftValue, RightValue));  in max()
328     uint64_t LeftValue = cantFail(LeftOperand.getUnsignedValue());  in max()  local
330     return ExpressionValue(std::max(LeftValue, RightValue));  in max()