From: David Blaikie Date: Tue, 24 Jan 2012 05:34:08 +0000 (+0000) Subject: Reword/rename -Wswitch-unreachable-default. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=2dd52e3815d040e340a5d953d838cd2268e25372;p=clang Reword/rename -Wswitch-unreachable-default. Rewording the diagnostic to be more precise/correct: "default label in switch which covers all enumeration values" and changed the switch to -Wcovered-switch-default git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148783 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/include/clang/Basic/DiagnosticGroups.td b/include/clang/Basic/DiagnosticGroups.td index 82167951ce..b609b40fe3 100644 --- a/include/clang/Basic/DiagnosticGroups.td +++ b/include/clang/Basic/DiagnosticGroups.td @@ -184,8 +184,8 @@ def : DiagGroup<"strict-prototypes">; def StrictSelector : DiagGroup<"strict-selector-match">; def MethodDuplicate : DiagGroup<"duplicate-method-match">; def SwitchEnum : DiagGroup<"switch-enum">; -def SwitchRedundantDefault : DiagGroup<"switch-redundant-default">; -def Switch : DiagGroup<"switch", [SwitchRedundantDefault]>; +def CoveredSwitchDefault : DiagGroup<"covered-switch-default">; +def Switch : DiagGroup<"switch", [CoveredSwitchDefault]>; def Trigraphs : DiagGroup<"trigraphs">; def : DiagGroup<"type-limits">; diff --git a/include/clang/Basic/DiagnosticSemaKinds.td b/include/clang/Basic/DiagnosticSemaKinds.td index 853f7666b3..6c2c4ef558 100644 --- a/include/clang/Basic/DiagnosticSemaKinds.td +++ b/include/clang/Basic/DiagnosticSemaKinds.td @@ -4987,8 +4987,8 @@ def warn_missing_cases : Warning< InGroup; def warn_unreachable_default : Warning< - "default is unreachable as all enumeration values are accounted for">, - InGroup; + "default label in switch which covers all enumeration values">, + InGroup; def warn_not_in_enum : Warning<"case value not in enumerated type %0">, InGroup; def err_typecheck_statement_requires_scalar : Error< diff --git a/test/Sema/switch.c b/test/Sema/switch.c index 012c5ecee7..2dc965f4a0 100644 --- a/test/Sema/switch.c +++ b/test/Sema/switch.c @@ -295,6 +295,6 @@ int test18() { case A: return 0; case B: return 1; case 7: return 1; // expected-warning {{case value not in enumerated type}} - default: return 2; // expected-warning {{default is unreachable as all enumeration values are accounted for}} + default: return 2; // expected-warning {{default label in switch which covers all enumeration values}} } } diff --git a/test/Sema/warn-unreachable.c b/test/Sema/warn-unreachable.c index 49275a5a9b..636513f62c 100644 --- a/test/Sema/warn-unreachable.c +++ b/test/Sema/warn-unreachable.c @@ -1,4 +1,4 @@ -// RUN: %clang %s -fsyntax-only -Xclang -verify -fblocks -Wunreachable-code -Wno-unused-value -Wno-switch-redundant-default +// RUN: %clang %s -fsyntax-only -Xclang -verify -fblocks -Wunreachable-code -Wno-unused-value -Wno-covered-switch-default int halt() __attribute__((noreturn)); int live(); diff --git a/test/SemaCXX/gnu-case-ranges.cpp b/test/SemaCXX/gnu-case-ranges.cpp index cda8b734cf..b082e3a6c1 100644 --- a/test/SemaCXX/gnu-case-ranges.cpp +++ b/test/SemaCXX/gnu-case-ranges.cpp @@ -1,4 +1,4 @@ -// RUN: %clang_cc1 -verify -Wno-switch-redundant-default %s +// RUN: %clang_cc1 -verify -Wno-covered-switch-default %s enum E { one, diff --git a/test/SemaCXX/return-noreturn.cpp b/test/SemaCXX/return-noreturn.cpp index ce81933738..617de00895 100644 --- a/test/SemaCXX/return-noreturn.cpp +++ b/test/SemaCXX/return-noreturn.cpp @@ -1,5 +1,5 @@ -// RUN: %clang_cc1 %s -fsyntax-only -verify -Wreturn-type -Wmissing-noreturn -Wno-unreachable-code -Wno-switch-redundant-default -// RUN: %clang_cc1 %s -fsyntax-only -std=c++11 -verify -Wreturn-type -Wmissing-noreturn -Wno-unreachable-code -Wno-switch-redundant-default +// RUN: %clang_cc1 %s -fsyntax-only -verify -Wreturn-type -Wmissing-noreturn -Wno-unreachable-code -Wno-covered-switch-default +// RUN: %clang_cc1 %s -fsyntax-only -std=c++11 -verify -Wreturn-type -Wmissing-noreturn -Wno-unreachable-code -Wno-covered-switch-default // A destructor may be marked noreturn and should still influence the CFG. void pr6884_abort() __attribute__((noreturn));