1  /* { dg-do run } */
       2  /* { dg-options "-g" } */
       3  
       4  int *__attribute__((noipa)) consume (int *ptr) { return ptr; }
       5  
       6  int
       7  main (void)
       8  {
       9    int x;
      10    int *volatile ptr = consume (&x);
      11    x = 0;
      12    x = 1;	/* { dg-final { gdb-test . "*ptr" "0" } } */
      13    return 0;	/* { dg-final { gdb-test . "*ptr" "1" } } */
      14  }