Module Name:    src
Committed By:   rillig
Date:           Sun May 22 13:58:59 UTC 2022

Modified Files:
        src/tests/usr.bin/xlint/lint1: msg_206.c msg_206.exp
        src/usr.bin/xlint/lint1: func.c

Log Message:
lint: fix wrong warning about unhandled enum constants in switch


To generate a diff of this commit:
cvs rdiff -u -r1.5 -r1.6 src/tests/usr.bin/xlint/lint1/msg_206.c \
    src/tests/usr.bin/xlint/lint1/msg_206.exp
cvs rdiff -u -r1.136 -r1.137 src/usr.bin/xlint/lint1/func.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: src/tests/usr.bin/xlint/lint1/msg_206.c
diff -u src/tests/usr.bin/xlint/lint1/msg_206.c:1.5 src/tests/usr.bin/xlint/lint1/msg_206.c:1.6
--- src/tests/usr.bin/xlint/lint1/msg_206.c:1.5	Sun May 22 13:53:39 2022
+++ src/tests/usr.bin/xlint/lint1/msg_206.c	Sun May 22 13:58:59 2022
@@ -1,4 +1,4 @@
-/*	$NetBSD: msg_206.c,v 1.5 2022/05/22 13:53:39 rillig Exp $	*/
+/*	$NetBSD: msg_206.c,v 1.6 2022/05/22 13:58:59 rillig Exp $	*/
 # 3 "msg_206.c"
 
 // Test for message: enumeration value(s) not handled in switch [206]
@@ -40,7 +40,11 @@ too_many(enum number num)
 	case 3:
 		return -1;
 	}
-	/* FIXME: There are _too many_ branches, not _too few_. */
-	/* expect-2: warning: enumeration value(s) not handled in switch [206] */
+	/*
+	 * Before func.c 1.137 from 2022-05-22, lint complained that there
+	 * were enum constants not handled in switch, even though all of them
+	 * are handled.  The code smell in this case is that there are _too
+	 * many_ branches that cover "impossible" values.
+	 */
 	return 3;
 }
Index: src/tests/usr.bin/xlint/lint1/msg_206.exp
diff -u src/tests/usr.bin/xlint/lint1/msg_206.exp:1.5 src/tests/usr.bin/xlint/lint1/msg_206.exp:1.6
--- src/tests/usr.bin/xlint/lint1/msg_206.exp:1.5	Sun May 22 13:53:39 2022
+++ src/tests/usr.bin/xlint/lint1/msg_206.exp	Sun May 22 13:58:59 2022
@@ -1,2 +1 @@
 msg_206.c(19): warning: enumeration value(s) not handled in switch [206]
-msg_206.c(42): warning: enumeration value(s) not handled in switch [206]

Index: src/usr.bin/xlint/lint1/func.c
diff -u src/usr.bin/xlint/lint1/func.c:1.136 src/usr.bin/xlint/lint1/func.c:1.137
--- src/usr.bin/xlint/lint1/func.c:1.136	Fri May 20 21:18:55 2022
+++ src/usr.bin/xlint/lint1/func.c	Sun May 22 13:58:59 2022
@@ -1,4 +1,4 @@
-/*	$NetBSD: func.c,v 1.136 2022/05/20 21:18:55 rillig Exp $	*/
+/*	$NetBSD: func.c,v 1.137 2022/05/22 13:58:59 rillig Exp $	*/
 
 /*
  * Copyright (c) 1994, 1995 Jochen Pohl
@@ -37,7 +37,7 @@
 
 #include <sys/cdefs.h>
 #if defined(__RCSID)
-__RCSID("$NetBSD: func.c,v 1.136 2022/05/20 21:18:55 rillig Exp $");
+__RCSID("$NetBSD: func.c,v 1.137 2022/05/22 13:58:59 rillig Exp $");
 #endif
 
 #include <stdlib.h>
@@ -760,7 +760,7 @@ switch2(void)
 		}
 		for (cl = cstmt->c_case_labels; cl != NULL; cl = cl->cl_next)
 			nclab++;
-		if (hflag && eflag && nenum != nclab && !cstmt->c_default) {
+		if (hflag && eflag && nclab < nenum && !cstmt->c_default) {
 			/* enumeration value(s) not handled in switch */
 			warning(206);
 		}

Reply via email to