[Bug middle-end/26316] [4.2 Regression] loop-invariant miscompiles openmp.c

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2006-02-16 12:57 -------
It doesn't need to be marked as trapping.
If you have
  if (idx <= 20)
    val = p[idx];
you certainly can't change this into:
  tmp = p[idx];
  if (idx <= 20)
    val = tmp;
except if tmp = p[idx]; is speculative load that won't trap if the address
is invalid.


-- 


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