[CHERIoT] Enable -Wcheri-compartment-return-void by default#103

resistor wants to merge 1 commit intoCHERIoT-Platform:cheriotCHERIoT-Platform/llvm-project:cheriotfrom

resistor:warning2resistor/llvm-project-1:warning2Copy head branch name to clipboard