https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108675
--- Comment #5 from nightstrike <nightstrike at gmail dot com> --- (In reply to LIU Hao from comment #4) > Does it make any sense to remove `#include <stdio.h>` from > 'gcc.c-torture/execute/builtins/lib/fprintf.c' ? That will prevent the FILE type from existing, so the replacement functions won't compile.