/* { dg-do compile } */
/* { dg-options "-fsanitize=null -Wall -fvtable-verify=std" } */

void
foo (void)
{
  throw 0;
}