diff --git a/clang/include/clang/Basic/DiagnosticSemaKinds.td b/clang/include/clang/Basic/DiagnosticSemaKinds.td index c21aa9d465e7..6eb1454812a6 100644 --- a/clang/include/clang/Basic/DiagnosticSemaKinds.td +++ b/clang/include/clang/Basic/DiagnosticSemaKinds.td @@ -2337,11 +2337,11 @@ def note_in_reference_temporary_list_initializer : Note< 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 make it impossible for callers to detect failure">, + "void return on a cross-compartment call makes it impossible for callers to detect failure">, 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">, + "cross-compartement calls that always succeed should return 0 instead">, InGroup; def note_uninit_fixit_remove_cond : Note< "remove the %select{'%1' if its condition|condition if it}0 " diff --git a/clang/test/Sema/cheri/cheri-compartment-warn-if-return-void-or-unused.c b/clang/test/Sema/cheri/cheri-compartment-warn-if-return-void-or-unused.c index 696fdbe0c39b..35cb22b50a6f 100644 --- a/clang/test/Sema/cheri/cheri-compartment-warn-if-return-void-or-unused.c +++ b/clang/test/Sema/cheri/cheri-compartment-warn-if-return-void-or-unused.c @@ -5,13 +5,13 @@ // // -fdiagnostics-fixit-info -__attribute__((cheri_compartment("example"))) void void_return_type_f(int a) // expected-warning{{void return on a cross-compartment call make it impossible for callers to detect failure}} expected-note{{replace void return type with int}} +__attribute__((cheri_compartment("example"))) void void_return_type_f(int a) // expected-warning{{void return on a cross-compartment call makes it impossible for callers to detect failure}} expected-note{{replace void return type with int}} { if (a) { /// CHECK: fix-it:"{{.*}}":{[[@LINE+1]]:[[COL:[0-9]+]]-[[@LINE+1]]:[[COL]]}:" 0" - return; // expected-warning{{Cross-compartement calls that always succeed should return 0 instead}} + return; // expected-warning{{cross-compartement calls that always succeed should return 0 instead}} } -} // expected-warning{{Cross-compartement calls that always succeed should return 0 instead}} +} // expected-warning{{cross-compartement calls that always succeed should return 0 instead}} __attribute__((cheri_compartment("example"))) int int_return_type_f() { return 0;