https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120665
--- Comment #2 from Dennis <dennis at przytarski dot com> --- Yes, these are good warnings — definitely better than a GNAT bug message :)
dennis at przytarski dot com via Gcc-bugs Mon, 16 Jun 2025 16:12:26 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120665
--- Comment #2 from Dennis <dennis at przytarski dot com> --- Yes, these are good warnings — definitely better than a GNAT bug message :)