https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108675
--- Comment #4 from LIU Hao <lh_mouse at 126 dot com> --- Does it make any sense to remove `#include <stdio.h>` from 'gcc.c-torture/execute/builtins/lib/fprintf.c' ?
lh_mouse at 126 dot com via Gcc-bugs Mon, 06 Feb 2023 02:42:48 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108675
--- Comment #4 from LIU Hao <lh_mouse at 126 dot com> --- Does it make any sense to remove `#include <stdio.h>` from 'gcc.c-torture/execute/builtins/lib/fprintf.c' ?