[Bug tree-optimization/71104] [7 Regression] ICE: verify_ssa failed (with vfork / error: definition in block 3 does not dominate use in block 7 )

[nsz at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71104

--- Comment #3 from nsz at gcc dot gnu.org ---
simplified a bit further:

void foo(void);
int vfork(void);
int *p;

void bar(void)
{
  foo();
  *p = vfork();
}