1  /* PR sanitizer/64170 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-fsanitize=address,null" } */
       4  
       5  int a, *b, c;
       6  void bar (int);
       7  
       8  void
       9  foo (void)
      10  {
      11    char *d = (char *) b;
      12    if (d[0] && d[1])
      13      return;
      14    if (c)
      15      a = *(int *) d;
      16    bar (*(int *) d);
      17  }