summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorrillig <rillig@NetBSD.org>2023-06-28 21:41:27 +0000
committerrillig <rillig@NetBSD.org>2023-06-28 21:41:27 +0000
commit1d85af50b4b4bf247b6c34d32e5e672b1f5d7d17 (patch)
tree673808ba27f1c912322e904a3dc0daa28e193de8 /tests
parentc432f025bb98ddecbd010f165c254d616fb52d3e (diff)
tests/lint: demonstrate wrong size calculation in anonymous union
Diffstat (limited to 'tests')
-rw-r--r--tests/usr.bin/xlint/lint1/expr_sizeof.c29
1 files changed, 28 insertions, 1 deletions
diff --git a/tests/usr.bin/xlint/lint1/expr_sizeof.c b/tests/usr.bin/xlint/lint1/expr_sizeof.c
index 2233977e935..4adea8aceea 100644
--- a/tests/usr.bin/xlint/lint1/expr_sizeof.c
+++ b/tests/usr.bin/xlint/lint1/expr_sizeof.c
@@ -1,4 +1,4 @@
-/* $NetBSD: expr_sizeof.c,v 1.5 2023/03/28 14:44:34 rillig Exp $ */
+/* $NetBSD: expr_sizeof.c,v 1.6 2023/06/28 21:41:27 rillig Exp $ */
# 3 "expr_sizeof.c"
/*
@@ -73,3 +73,30 @@ variable_length_array(int n)
/* expect+1: error: negative array dimension (-4) [20] */
typedef int sizeof_local_arr[-(int)sizeof(local_arr)];
}
+
+/*
+ * Ensure that anonymous structs and unions are handled correctly. They were
+ * added in C11, and lint did not properly support them until 2023.
+ */
+void
+anonymous_struct_and_union(void)
+{
+ struct {
+ union {
+ unsigned char uc16[16];
+ unsigned char uc32[32];
+ };
+ } su_16_32;
+ /* FIXME: Must be 32, not 48. */
+ /* expect+1: error: negative array dimension (-48) [20] */
+ typedef int sizeof_su_16_32[-(int)sizeof(su_16_32)];
+
+ union {
+ struct {
+ unsigned char uc16[16];
+ unsigned char uc32[32];
+ };
+ } us_16_32;
+ /* expect+1: error: negative array dimension (-48) [20] */
+ typedef int sizeof_us_16_32[-(int)sizeof(us_16_32)];
+}