summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-08-08 23:02:29 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-11-28 17:53:38 +0100
commit97667031b17b2e6b6a74cb85ff97c4cacd88d330 (patch)
tree1440b0332749f72a7e20a1cb4a276afc8ba1ebf6
parent9b2efc158c5c9700ffe355c59356879df7c9cc12 (diff)
downloadsparse-97667031b17b2e6b6a74cb85ff97c4cacd88d330.tar.gz
simplify initialization of Wdeclarationafterstatement
In preparation for supporting C17 flags, remove unneeded STANDARD_... cases and remove the impossible default assert(0). Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r--lib.c17
1 files changed, 3 insertions, 14 deletions
diff --git a/lib.c b/lib.c
index f0b54688..7866800b 100644
--- a/lib.c
+++ b/lib.c
@@ -890,27 +890,16 @@ static void handle_switch_W_finalize(void)
handle_onoff_switch_finalize(warnings, ARRAY_SIZE(warnings));
/* default Wdeclarationafterstatement based on the C dialect */
- if (-1 == Wdeclarationafterstatement)
- {
- switch (standard)
- {
+ if (-1 == Wdeclarationafterstatement) {
+ switch (standard) {
case STANDARD_C89:
case STANDARD_C94:
Wdeclarationafterstatement = 1;
break;
-
- case STANDARD_C99:
- case STANDARD_GNU89:
- case STANDARD_GNU99:
- case STANDARD_C11:
- case STANDARD_GNU11:
+ default:
Wdeclarationafterstatement = 0;
break;
-
- default:
- assert (0);
}
-
}
}