gcc/testsuite/gcc.dg/asan/pr78832.c

/* PR sanitizer/78832 */
/* { dg-do compile } */
/* { dg-additional-options "-fcompare-debug" } */

void bar (int *);

int
foo (int x)
{
  int *f = 0;
  if (x)
    goto lab;
  {
    int y, z;
    bar (&y);
    int *d = &y;
    bar (&z);
    int *e = &z;
  }
  f = &x;
  lab: return 6;
}