gcc/testsuite/gcc.dg/guality/pr45882.c

/* PR debug/45882 */
/* { dg-do run } */
/* { dg-options "-g" } */

extern void abort (void);
int a[1024];
volatile short int v;

__attribute__((noinline,noclone,used)) int
foo (int i, int j)
{
  int b = i;		/* { dg-final { gdb-test 16 "b" "7" } } */
  int c = i + 4;	/* { dg-final { gdb-test 16 "c" "11" } } */
  int d = a[i];		/* { dg-final { gdb-test 16 "d" "112" } } */
  int e = a[i + 6];	/* { dg-final { gdb-test 16 "e" "142" } } */
  ++v;
  return ++j;
}

int
main (void)
{
  int l;
  asm ("" : "=r" (l) : "0" (7));
  a[7] = 112;
  a[7 + 6] = 142;
  if (foo (l, 7) != 8)
    abort ();
  return l - 7;
}