[src/trunk]: src/tests/usr.bin/xlint/lint1 tests/lint: test messages 268 to 274

[rillig <rillig%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/f38c18140cac
branches:  trunk
changeset: 985393:f38c18140cac
user:      rillig <rillig%NetBSD.org@localhost>
date:      Sun Aug 22 13:45:56 2021 +0000

description:
tests/lint: test messages 268 to 274

diffstat:

 tests/usr.bin/xlint/lint1/msg_268.c   |  12 +++++++++---
 tests/usr.bin/xlint/lint1/msg_268.exp |   2 +-
 tests/usr.bin/xlint/lint1/msg_269.c   |   6 +++---
 tests/usr.bin/xlint/lint1/msg_269.exp |   2 +-
 tests/usr.bin/xlint/lint1/msg_270.c   |  14 ++++++++++----
 tests/usr.bin/xlint/lint1/msg_270.exp |   2 +-
 tests/usr.bin/xlint/lint1/msg_271.c   |  28 ++++++++++++++++++++++++----
 tests/usr.bin/xlint/lint1/msg_271.exp |   2 +-
 tests/usr.bin/xlint/lint1/msg_272.c   |   5 ++---
 tests/usr.bin/xlint/lint1/msg_272.exp |   2 +-
 tests/usr.bin/xlint/lint1/msg_273.c   |  15 +++++++++++----
 tests/usr.bin/xlint/lint1/msg_273.exp |   2 +-
 tests/usr.bin/xlint/lint1/msg_274.c   |  24 ++++++++++++++++++++----
 tests/usr.bin/xlint/lint1/msg_274.exp |   2 +-
 14 files changed, 86 insertions(+), 32 deletions(-)

diffs (198 lines):

diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_268.c
--- a/tests/usr.bin/xlint/lint1/msg_268.c       Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_268.c       Sun Aug 22 13:45:56 2021 +0000
@@ -1,7 +1,13 @@
-/*     $NetBSD: msg_268.c,v 1.2 2021/02/21 09:07:58 rillig Exp $       */
+/*     $NetBSD: msg_268.c,v 1.3 2021/08/22 13:45:56 rillig Exp $       */
 # 3 "msg_268.c"
 
 // Test for message: variable declared inline: %s [268]
 
-TODO: "Add example code that triggers the above message." /* expect: 249 */
-TODO: "Add example code that almost triggers the above message."
+int
+example(int arg)
+{
+       /* expect+1: warning: variable declared inline: local [268] */
+       inline int local = arg;
+
+       return local;
+}
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_268.exp
--- a/tests/usr.bin/xlint/lint1/msg_268.exp     Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_268.exp     Sun Aug 22 13:45:56 2021 +0000
@@ -1,1 +1,1 @@
-msg_268.c(6): error: syntax error ':' [249]
+msg_268.c(10): warning: variable declared inline: local [268]
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_269.c
--- a/tests/usr.bin/xlint/lint1/msg_269.c       Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_269.c       Sun Aug 22 13:45:56 2021 +0000
@@ -1,7 +1,7 @@
-/*     $NetBSD: msg_269.c,v 1.2 2021/02/21 09:07:58 rillig Exp $       */
+/*     $NetBSD: msg_269.c,v 1.3 2021/08/22 13:45:56 rillig Exp $       */
 # 3 "msg_269.c"
 
 // Test for message: argument declared inline: %s [269]
 
-TODO: "Add example code that triggers the above message." /* expect: 249 */
-TODO: "Add example code that almost triggers the above message."
+/* expect+1: warning: argument declared inline: x [269] */
+void example(inline int x);
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_269.exp
--- a/tests/usr.bin/xlint/lint1/msg_269.exp     Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_269.exp     Sun Aug 22 13:45:56 2021 +0000
@@ -1,1 +1,1 @@
-msg_269.c(6): error: syntax error ':' [249]
+msg_269.c(7): warning: argument declared inline: x [269]
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_270.c
--- a/tests/usr.bin/xlint/lint1/msg_270.c       Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_270.c       Sun Aug 22 13:45:56 2021 +0000
@@ -1,7 +1,13 @@
-/*     $NetBSD: msg_270.c,v 1.2 2021/02/21 09:07:58 rillig Exp $       */
+/*     $NetBSD: msg_270.c,v 1.3 2021/08/22 13:45:56 rillig Exp $       */
 # 3 "msg_270.c"
 
-// Test for message: function prototypes are illegal in traditional C [270]
+/* Test for message: function prototypes are illegal in traditional C [270] */
+
+/* lint1-flags: -tw */
 
-TODO: "Add example code that triggers the above message." /* expect: 249 */
-TODO: "Add example code that almost triggers the above message."
+/* expect+1: warning: function prototypes are illegal in traditional C [270] */
+void prototype(void);
+
+char *traditional();
+
+traditional_implicit_int();
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_270.exp
--- a/tests/usr.bin/xlint/lint1/msg_270.exp     Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_270.exp     Sun Aug 22 13:45:56 2021 +0000
@@ -1,1 +1,1 @@
-msg_270.c(6): error: syntax error ':' [249]
+msg_270.c(9): warning: function prototypes are illegal in traditional C [270]
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_271.c
--- a/tests/usr.bin/xlint/lint1/msg_271.c       Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_271.c       Sun Aug 22 13:45:56 2021 +0000
@@ -1,7 +1,27 @@
-/*     $NetBSD: msg_271.c,v 1.2 2021/02/21 09:07:58 rillig Exp $       */
+/*     $NetBSD: msg_271.c,v 1.3 2021/08/22 13:45:56 rillig Exp $       */
 # 3 "msg_271.c"
 
-// Test for message: switch expression must be of type `int' in traditional C [271]
+/* Test for message: switch expression must be of type `int' in traditional C [271] */
+
+/* lint1-flags: -tw */
 
-TODO: "Add example code that triggers the above message." /* expect: 249 */
-TODO: "Add example code that almost triggers the above message."
+example(long_int, unsigned_int)
+       long long_int;
+       unsigned unsigned_int;
+{
+       /* expect+1: warning: switch expression must be of type `int' in traditional C [271] */
+       switch (long_int) {
+       case 3:
+               return 1;
+       }
+
+       /*
+        * XXX: K&R clearly says "the result must be 'int'", but lint also
+        * allows unsigned int.
+        */
+       switch (unsigned_int) {
+       case 3:
+               return 1;
+       }
+       return 2;
+}
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_271.exp
--- a/tests/usr.bin/xlint/lint1/msg_271.exp     Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_271.exp     Sun Aug 22 13:45:56 2021 +0000
@@ -1,1 +1,1 @@
-msg_271.c(6): error: syntax error ':' [249]
+msg_271.c(13): warning: switch expression must be of type `int' in traditional C [271]
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_272.c
--- a/tests/usr.bin/xlint/lint1/msg_272.c       Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_272.c       Sun Aug 22 13:45:56 2021 +0000
@@ -1,7 +1,6 @@
-/*     $NetBSD: msg_272.c,v 1.2 2021/02/21 09:07:58 rillig Exp $       */
+/*     $NetBSD: msg_272.c,v 1.3 2021/08/22 13:45:56 rillig Exp $       */
 # 3 "msg_272.c"
 
 // Test for message: empty translation unit [272]
 
-TODO: "Add example code that triggers the above message." /* expect: 249 */
-TODO: "Add example code that almost triggers the above message."
+/* expect+1: warning: empty translation unit [272] */
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_272.exp
--- a/tests/usr.bin/xlint/lint1/msg_272.exp     Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_272.exp     Sun Aug 22 13:45:56 2021 +0000
@@ -1,1 +1,1 @@
-msg_272.c(6): error: syntax error ':' [249]
+msg_272.c(7): warning: empty translation unit [272]
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_273.c
--- a/tests/usr.bin/xlint/lint1/msg_273.c       Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_273.c       Sun Aug 22 13:45:56 2021 +0000
@@ -1,7 +1,14 @@
-/*     $NetBSD: msg_273.c,v 1.2 2021/02/21 09:07:58 rillig Exp $       */
+/*     $NetBSD: msg_273.c,v 1.3 2021/08/22 13:45:56 rillig Exp $       */
 # 3 "msg_273.c"
 
-// Test for message: bit-field type '%s' invalid in ANSI C [273]
+/* Test for message: bit-field type '%s' invalid in ANSI C [273] */
+
+/* lint1-flags: -sw */
 
-TODO: "Add example code that triggers the above message." /* expect: 249 */
-TODO: "Add example code that almost triggers the above message."
+struct bit_fields {
+       int plain_int: 3;
+       unsigned int unsigned_int: 3;
+       signed int signed_int: 3;
+       /* expect+1: warning: bit-field type 'unsigned char' invalid in ANSI C [273] */
+       unsigned char unsigned_char: 3;
+};
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_273.exp
--- a/tests/usr.bin/xlint/lint1/msg_273.exp     Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_273.exp     Sun Aug 22 13:45:56 2021 +0000
@@ -1,1 +1,1 @@
-msg_273.c(6): error: syntax error ':' [249]
+msg_273.c(13): warning: bit-field type 'unsigned char' invalid in ANSI C [273]
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_274.c
--- a/tests/usr.bin/xlint/lint1/msg_274.c       Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_274.c       Sun Aug 22 13:45:56 2021 +0000
@@ -1,7 +1,23 @@
-/*     $NetBSD: msg_274.c,v 1.2 2021/02/21 09:07:58 rillig Exp $       */
+/*     $NetBSD: msg_274.c,v 1.3 2021/08/22 13:45:56 rillig Exp $       */
 # 3 "msg_274.c"
 
-// Test for message: ANSI C forbids comparison of %s with %s [274]
+/* Test for message: ANSI C forbids comparison of %s with %s [274] */
+
+/* lint1-flags: -sw */
+
+void
+example(void (*function_pointer)(void), void *void_pointer)
+{
 
-TODO: "Add example code that triggers the above message." /* expect: 249 */
-TODO: "Add example code that almost triggers the above message."
+       /* Comparing a function pointer with a null pointer is OK. */
+       if (function_pointer == (void *)0)
+               return;
+
+       /* Comparing a function pointer with a null pointer is OK. */
+       if (function_pointer == (const void *)0)
+               return;
+
+       /* expect+1: warning: ANSI C forbids comparison of function pointer with 'void *' [274] */
+       if (function_pointer == void_pointer)
+               return;
+}
diff -r 3f6e0ee9cf5d -r f38c18140cac tests/usr.bin/xlint/lint1/msg_274.exp
--- a/tests/usr.bin/xlint/lint1/msg_274.exp     Sun Aug 22 13:21:48 2021 +0000
+++ b/tests/usr.bin/xlint/lint1/msg_274.exp     Sun Aug 22 13:45:56 2021 +0000
@@ -1,1 +1,1 @@
-msg_274.c(6): error: syntax error ':' [249]
+msg_274.c(21): warning: ANSI C forbids comparison of function pointer with 'void *' [274]