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    int b = 123;
       9    int c = 123;
      10    int d = 123;
      11    int e = 123;
      12    int f = 123;
      13  
      14    if (argc == 0)
      15    {
      16      int *ptr;
      17      int *ptr2;
      18      int *ptr3;
      19      int *ptr4;
      20      int *ptr5;
      21      int *ptr6;
      22      label:
      23        {
      24  	ptr = &a;
      25          *ptr = 1;
      26  	ptr2 = &b;
      27          *ptr2 = 1;
      28  	ptr3 = &c;
      29          *ptr3 = 1;
      30  	ptr4 = &d;
      31          *ptr4 = 1;
      32  	ptr5 = &e;
      33          *ptr5 = 1;
      34  	ptr6 = &f;
      35          *ptr6 = 1;
      36  	return 0;
      37        }
      38    }
      39    else
      40      goto label;
      41  
      42    return 0;
      43  }
      44  
      45  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &a, 4\\);" 2 "asan0" } }  */
      46  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &c, 4\\);" 2 "asan0" } }  */
      47  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &e, 4\\);" 2 "asan0" } }  */