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 :)

Reply via email to