https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109456
--- Comment #12 from gccriscvuser at proton dot me --- Updating the documentation is good, but there should also be an error diagnostic, right?
gccriscvuser at proton dot me via Gcc-bugs Fri, 23 Jun 2023 10:39:27 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109456
--- Comment #12 from gccriscvuser at proton dot me --- Updating the documentation is good, but there should also be an error diagnostic, right?