1 /* Used to be miscompiled at -O0 due to incorrect choice of sign extension
2 vs. zero extension. __attribute__ ((noinline)) added to try to make it
3 fail at higher optimization levels too. */
5 extern void abort (void);
7 long long __attribute__ ((noinline))
15 long long d1 = -990000000;
16 long long d2 = div(d1);