From 6d3fd7b82999100b67afff67ada312af73989575 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 e8e8b975c5fc..4050f80bbcc9 100644 --- a/clang/include/clang/Basic/DiagnosticSemaKinds.td +++ b/clang/include/clang/Basic/DiagnosticSemaKinds.td @@ -2340,13 +2340,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">;