https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111908
--- Comment #3 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Alex Coplan from comment #2) > Indeed, you can see an example of the CHERI warnings in the Morello GCC port > here: https://godbolt.org/z/eWPfqYYYo Where do the sources for the Morello GCC port currently live? If they haven't been upstreamed yet, are there plans to do so?