https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86053
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |INVALID --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I don't see this as a real issue as the C standard has a requirement that the FILE* argument should be non-null; otherwise it is undefined behavior at runtime. Using -fno-builtins or -ffree-standing is the correct fix here.