/* PR sanitizer/80797 */
/* { dg-do run } */
/* { dg-options "-fsanitize=undefined" } */

struct S
{
  int i;
};

struct R
{
  struct T {
    int i;
  } *t;
} r;

int
main ()
{
  struct S *s = 0;
  struct S *s2[1] = { };

  int *v1 = &s->i;
  int *v2 = &(*s).i;
  int *v3 = &s2[0]->i;
  int *v4 = &s->i + 1;
  int *v5 = &r.t->i;

  asm ("" : : "r" (&v1) : "memory");
  asm ("" : : "r" (&v2) : "memory");
  asm ("" : : "r" (&v3) : "memory");
  asm ("" : : "r" (&v4) : "memory");
  asm ("" : : "r" (&v5) : "memory");

  return 0;
}

/* { dg-output "member access within null pointer of type 'struct S'\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*member access within null pointer of type 'struct S'\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*member access within null pointer of type 'struct S'\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*member access within null pointer of type 'struct S'\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*member access within null pointer of type 'struct T'" } */