1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=undefined" } */
       3  /* { dg-shouldfail "ubsan" } */
       4  
       5  int
       6  main (void)
       7  {
       8    unsigned int len = 1;
       9    float (*P)[len][len] = 0;
      10    (*P)[0][0] = 1;
      11    return 0;
      12  }
      13  
      14  /* { dg-output "store to null pointer of type 'float'" } */