[Bug middle-end/30322] ((-i-1) + i) +1) is turned into ~i + (i+1) and never into 0 on the tree level

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2007-01-04 21:53 -------
They are still there:

<L4>:;
  d.21085 = d.21085 + 1;
  if (d.21085 != (int) ((unsigned int) d + 1 + (unsigned int) D.895788 +
(unsigned int) ~d)) goto <L3>; else goto <L6>;

<L3>:;
  if (d <= e0) goto <L42>; else goto <L4>;

(and not detected as empty loop for this reason and so not removed)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30322