https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125458
--- Comment #7 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- Created attachment 64843 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64843&action=edit Possibility of checking during resolution Here is one possibility - if the constant is out of range during resolution, issue an error. This has the advantage of not needing heavy work during matching. A consequence is that a + b - c will not be caught if a + b overflows and subtracting c brings it back into range, so I am not quite sure I like it.
