/* { dg-do compile } */
/* { dg-require-effective-target arm_thumb2_ok } */
/* { dg-options "-Ofast -fstack-check" } */

void d (void *);

void a ()
{
  int b;
  void bar (int c)
  {
    if (__builtin_expect (c, 0))
      ++b;
  }
  d (bar);
}
