[Bug middle-end/33992] [4.3 Regression] Miscompiles a function with inlining, breaks profiledbootstrap

[ubizjak at gmail dot com]

------- 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