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

["ubizjak at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #28 from ubizjak at gmail dot com  2008-02-10 11:10 -------
This testcase can be used to analyze the failure:

--cut here--
extern void abort ();

void __attribute__((noinline))
bar (unsigned long long i)
{
  if (i)
    abort ();
}

#ifdef INLINE
void __attribute__((always_inline))
#else
void __attribute__((noinline))
#endif
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--

[uros@localhost test]$ gcc -O2 t1.c && ./a.out
[uros@localhost test]$ gcc -O2 -DINLINE t1.c && ./a.out
Aborted


-- 

ubizjak at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.3 Regression] Miscompiles|[4.3 Regression] Miscompiles
                   |a function with inlining,   |function with inlining,
                   |breaks profiledbootstrap    |breaks profiledbootstrap


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