https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120205
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- The reduction is wrong in many ways. main shouldn't have a single char argument, fgets inline doesn't return anything if __bdos is not -1, otherwise it calls fgets without any arguments, all that is UB.
