From 0e52b5c7d87d3a8b54df828d63bdf4f8913695c5 Mon Sep 17 00:00:00 2001 From: Owen Anderson Date: Mon, 13 Jan 2025 21:28:26 +1300 Subject: [PATCH] [CHERIoT] Enable -Wcheri-compartment-return-void by default --- clang/include/clang/Basic/DiagnosticSemaKinds.td | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/clang/include/clang/Basic/DiagnosticSemaKinds.td b/clang/include/clang/Basic/DiagnosticSemaKinds.td index aa2357f8936e0..dd4f133fc6e04 100644 --- a/clang/include/clang/Basic/DiagnosticSemaKinds.td +++ b/clang/include/clang/Basic/DiagnosticSemaKinds.td @@ -2352,13 +2352,11 @@ def note_var_fixit_add_initialization : Note< "initialize the variable %0 to silence this warning">; def warn_cheri_compartment_void_return_type : Warning < "void return on a cross-compartment call makes it impossible for callers to detect failure">, - InGroup, - DefaultIgnore; + InGroup; def note_cheri_compartment_void_return_type : Note<"replace void return type with int">; def warn_cheri_compartment_return_void_or_falloff : Warning < "cross-compartement calls that always succeed should return 0 instead">, - InGroup, - DefaultIgnore; + InGroup; def note_uninit_fixit_remove_cond : Note< "remove the %select{'%1' if its condition|condition if it}0 " "is always %select{false|true}2">;