/* { dg-lto-do run } */
/* { dg-lto-options { { -O3 -flto -fno-early-inlining -fdump-ipa-cgraph} } } */
__attribute__ ((used))
short *ptr_init, **ptr=&ptr_init;

__attribute__ ((used))
struct a {
  int *aptr;
  /* On ARM va_list is an anonymous structure containing pointer. 
     This disable ODR TBAA on it.  */
  short b;
} a, *aptr=&a;

void
write_ptr ()
{
  *aptr = a;
}

__attribute__ ((used))
void
test ()
{
  *ptr = (short int *)0;
  write_ptr ();
  if (!__builtin_constant_p (*ptr == (void *)0))
    __builtin_abort ();
}
int
main()
{
  test ();
  return 0;
}
/* On ARM the testcase used to fail because struct a got in conflict with builtin
   va_list type.  Check that this does not happen.  */
/* { dg-final { scan-wpa-ipa-dump-not "ODR and non-ODR type conflict" "cgraph"  } } */