2015-08-31 21:29 GMT+02:00 Jason Merrill <ja...@redhat.com>: > On 08/31/2015 03:08 PM, Kai Tietz wrote: >> >> I will need to verify that this patch doesn't introduce regressions. >> The wacky thing here is the encapsulation of overflowed-arguments in >> maybe_constant_value function by nop-expr. > > > Do we need to worry about that? If one of the operands is overflowed, we > don't care whether the result is overflowed.
Well, we would introduce, if we don't see in condition that operand already overflowed, double overflow-warning, which seems to be something we avoided until now. So I would say, it matters. Kai
