[Bug target/111908] Port CheriBSD-specific compiler warnings to GCC
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111908 --- Comment #4 from Alex Coplan --- (In reply to Eric Gallager from comment #3) > (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? The sources are in the ARM/morello vendor branch as Jessica mentioned (see https://gcc.gnu.org/gitwrite.html#vendor for info on vendor branches, you can see the branch here: https://gcc.gnu.org/git/?p=gcc.git;a=shortlog;h=refs/vendors/ARM/heads/morello). There aren't any plans to upstream the changes at present since Morello is a prototype/research architecture only.
[Bug target/111908] Port CheriBSD-specific compiler warnings to GCC
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111908 --- Comment #3 from Eric Gallager --- (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?
[Bug target/111908] Port CheriBSD-specific compiler warnings to GCC
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111908 Alex Coplan changed: What|Removed |Added CC||acoplan at gcc dot gnu.org --- Comment #2 from Alex Coplan --- Indeed, you can see an example of the CHERI warnings in the Morello GCC port here: https://godbolt.org/z/eWPfqYYYo
[Bug target/111908] Port CheriBSD-specific compiler warnings to GCC
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111908 --- Comment #1 from Jessica Clarke --- NB: Arm have a vendor branch for Morello (intended to be generic across CHERI with a Morello-specific backend, rather than overly tied to the Morello prototype) at refs/vendors/ARM/heads/morello. I have no experience of it, and it's less mature than our decade-old Clang/LLVM, but it purports to both add CHERI C diagnostics and introduce Morello code generation. They are tied together, as they are in our Clang/LLVM, but there's no reason one couldn't port some of the diagnostics to non-CHERI and warn people that they're doing things outside of ISO (or even GNU) C, even if they happen to work on those architectures, though disambiguating intptr_t vs ((un)signed) long (long) (or even int on ILP32) may not be feasible given that *is* very much OK on ILP32/LP64/LLP64.