[Bug fortran/125458] [13/14/15/16/17 Regression] Constant integer overflow not detected

albert at tugraz dot at via Gcc-bugs <[email protected]> Thu, 30 Jul 2026 18:13:20 +0000

Newsgroups	gmane.comp.gcc.bugs
Message-ID	<[email protected]/bugzilla/>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125458

--- Comment #18 from Christopher Albert <albert at tugraz dot at> ---
Created attachment 65181
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65181&action=edit
0001-fortran-Preserve-overflow-diagnostics-during-matchin.patch

Emit range-checked overflow diagnostics immediately outside unsigned mode so
a successful statement match cannot discard the error while retaining the
invalid constant. This is narrower than deferring all matching arithmetic.
A diagnostic test covers multiplication and addition. check-fortran and the
libgomp Fortran suites are clean.