1  // { dg-do run }
       2  // { dg-additional-options "-fdump-tree-asan0" }
       3  /* { dg-skip-if "" { *-*-* } { "*" } { "-O0" } } */
       4  
       5  int main(int argc, char **argv)
       6  {
       7    int a = 123;
       8  
       9    if (argc == 0)
      10    {
      11      int *ptr;
      12      /* The label is not used in &label or goto label.  Thus '&a' should be
      13         marked just once.  */
      14      label:
      15        {
      16  	ptr = &a;
      17          *ptr = 1;
      18  	return 0;
      19        }
      20    }
      21  
      22    return 0;
      23  }
      24  
      25  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &a, 4\\);" 1 "asan0" } }  */