gcc/testsuite/gcc.c-torture/compile/941113-1.c

typedef void foo (void);

f (x)
{
  if (x)
    {
      const foo* v;
      (*v)();
    }
  else
    g (0);
}