[Bug middle-end/42615] Even with -fwrapv, (3*x%3) is assumed to always be equal to 0

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2010-01-04 19:56 -------
int __attribute__((noinline))
foo (int x)
{
  return 3 * x % 3;
}
extern void abort (void);
int main()
{
    int x = 0x87654321;
    if (foo (x) != 2)
        abort ();
    return 0;
}


-- 


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