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

[rguenther at suse dot de]

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

--- Comment #15 from rguenther at suse dot de <rguenther at suse dot de> ---
On Thu, 14 Jul 2016, bernd.edlinger at hotmail dot de wrote:

> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71104
> 
> --- Comment #14 from Bernd Edlinger <bernd.edlinger at hotmail dot de> ---
> One question though...
> 
> This depends on a special knowledge about "vfork",
> but it seems that gcc does not honor -ffreestanding
> correctly in this case, because:
> 
> gcc -ffreestanding pr71104-1.c
> 
> should not have crashed (before your patch, but it did).

Even with -ffreestanding we handle some functions conservatively.
See special_function_p.