[Bug target/111908] Port CheriBSD-specific compiler warnings to GCC

2023-10-24 Thread acoplan at gcc dot gnu.org via Gcc-bugs
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/eWPfqYYY

[Bug target/111908] Port CheriBSD-specific compiler warnings to GCC

2023-10-24 Thread egallager at gcc dot gnu.org via Gcc-bugs
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

[Bug target/111908] Port CheriBSD-specific compiler warnings to GCC

2023-10-23 Thread acoplan at gcc dot gnu.org via Gcc-bugs
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

[Bug target/111908] Port CheriBSD-specific compiler warnings to GCC

2023-10-21 Thread jrtc27 at jrtc27 dot com via Gcc-bugs
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