1  /* { dg-lto-do run } */
       2  /* { dg-lto-options { {-O2 -flto-partition=max -fdump-ipa-modref -fno-ipa-sra -flto} } } */
       3  extern void copy (int *a, int *b);
       4  extern void barrier ();
       5  extern int *ptr;
       6  int
       7  main()
       8  {
       9    int a = 1, b = 2;
      10    copy (&a,&b);
      11    barrier ();
      12    *ptr = 1;
      13    if (!__builtin_constant_p (b == 2))
      14      __builtin_abort ();
      15    return 0;
      16  }
      17  /* { dg-final { scan-wpa-ipa-dump "parm 1 flags: no_direct_clobber no_direct_escape"  "modref"  } } */