https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111908
Alex Coplan <acoplan at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |acoplan at gcc dot gnu.org --- Comment #2 from Alex Coplan <acoplan at gcc dot gnu.org> --- Indeed, you can see an example of the CHERI warnings in the Morello GCC port here: https://godbolt.org/z/eWPfqYYYo