cheri_compartment: Warn if return type is void or return value is unused#47

Merged

resistor merged 11 commits intoCHERIoT-Platform:cheriotfrom v01dXYZ:cheriot-compartment-warn-if-return-void-or-unused

Dec 16, 2024

+133-16

Commits on Dec 16, 2024

cheri_compartment: Warn if return type is void or return value is unused
v01dxyz
committed
Update tests
v01dxyz
committed
Add FixItHints, Improve wording of Diagnosis messages
v01dxyz
committed
Make getFunctionTypeLoc support AttributedType
v01dxyz
committed
Add warnings for a compartment call returning void to a DiagGroup
v01dxyz
committed
Relaunch CI
v01dxyz
committed
Fix typos for diagnosis
v01dxyz
committed
Add a comment explaining divergence with upstream
v01dxyz
committed
Remove useless comments
v01dxyz
committed
Merge branch 'cheriot' into cheriot-compartment-warn-if-return-void-or-unused
resistor
authored
Merge branch 'cheriot' into cheriot-compartment-warn-if-return-void-or-unused
resistor
authored