/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */


__attribute__((noinline))
static int
test2(int a)
{
        if (__builtin_constant_p (a))
                __builtin_abort ();
        return a;
}
static int
test(int *a)
{
        int val = *(volatile int *)a;
        if (__builtin_constant_p (val))
                __builtin_abort ();
        if (val)
          return test2(val);
        return 0;
}
int a;
int
main()
{
        a = 0;
        return test (&a);
}
/* { dg-final { scan-tree-dump "test2" "optimized" } } */