https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125458
--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- OK. There is also no error for this test case: print *,1e20 * 1e20 end A gfc_error is issued, but it is later rejected because the match is succesful. print *,2*huge(1.0) goes through resolution, where we issue the error. It would be possible to remove the arithmetic simplification from matching, or just re-check on resolution. The first solution would probably be cleaner...
