------- Comment #27 from ubizjak at gmail dot com 2008-02-10 10:44 ------- Minimum testcase, fails also for 32bits:
--cut here-- extern void abort (); void __attribute__((noinline)) bar (unsigned long long i) { if (i) abort (); } void __attribute__((always_inline)) foo (unsigned long long *r) { int i; for (i = 0; ; i++) if (*r & ((unsigned long long)1 << (63 - i))) break; bar (i); } void __attribute__((noinline)) do_test (unsigned long long *r) { int i; for (i = 0; i < 2; ++i) foo (r); } int main() { unsigned long long r = 0x8000000000000001ull; do_test (&r); return 0; } --cut here-- [EMAIL PROTECTED] test]$ gcc -O1 t1.c && ./a.out [EMAIL PROTECTED] test]$ gcc -O2 t1.c && ./a.out Aborted -- ubizjak at gmail dot com changed: What |Removed |Added ---------------------------------------------------------------------------- GCC target triplet|x86_64-*-* | Summary|[4.3 Regression] Miscompiles|[4.3 Regression] Miscompiles |a function, breaks |a function with inlining, |profiledbootstrap |breaks profiledbootstrap http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33992