3 ms·

If signed addition were implementation defined to be saturating, then if (x + y < x) could still be removed as impossible.

• StefanKarpinski 10y ago
  Yes, but in that case there wouldn't actually be an overflow either.