Module Name: src
Committed By: rillig
Date: Sun May 2 20:44:47 UTC 2021
Modified Files:
src/distrib/sets/lists/tests: mi
src/tests/usr.bin/xlint/lint1: Makefile t_integration.sh
Added Files:
src/tests/usr.bin/xlint/lint1: gcc_attribute_aligned.c
gcc_attribute_aligned.exp
Log Message:
tests/lint: demonstrate missing support for __packed __aligned
To generate a diff of this commit:
cvs rdiff -u -r1.1047 -r1.1048 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.53 -r1.54 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/gcc_attribute_aligned.c \
src/tests/usr.bin/xlint/lint1/gcc_attribute_aligned.exp
cvs rdiff -u -r1.45 -r1.46 src/tests/usr.bin/xlint/lint1/t_integration.sh
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/distrib/sets/lists/tests/mi
diff -u src/distrib/sets/lists/tests/mi:1.1047 src/distrib/sets/lists/tests/mi:1.1048
--- src/distrib/sets/lists/tests/mi:1.1047 Fri Apr 30 23:49:36 2021
+++ src/distrib/sets/lists/tests/mi Sun May 2 20:44:46 2021
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1047 2021/04/30 23:49:36 rillig Exp $
+# $NetBSD: mi,v 1.1048 2021/05/02 20:44:46 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -6193,6 +6193,8 @@
./usr/tests/usr.bin/xlint/lint1/feat_stacktrace.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/gcc_attribute.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/gcc_attribute.exp tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/gcc_attribute_aligned.c tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/gcc_attribute_aligned.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/gcc_init_compound_literal.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/gcc_init_compound_literal.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/gcc_typeof_after_statement.c tests-usr.bin-tests compattestfile,atf
Index: src/tests/usr.bin/xlint/lint1/Makefile
diff -u src/tests/usr.bin/xlint/lint1/Makefile:1.53 src/tests/usr.bin/xlint/lint1/Makefile:1.54
--- src/tests/usr.bin/xlint/lint1/Makefile:1.53 Fri Apr 30 23:49:36 2021
+++ src/tests/usr.bin/xlint/lint1/Makefile Sun May 2 20:44:46 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.53 2021/04/30 23:49:36 rillig Exp $
+# $NetBSD: Makefile,v 1.54 2021/05/02 20:44:46 rillig Exp $
NOMAN= # defined
MAX_MESSAGE= 343 # see lint1/err.c
@@ -107,6 +107,8 @@ FILES+= feat_stacktrace.c
FILES+= feat_stacktrace.exp
FILES+= gcc_attribute.c
FILES+= gcc_attribute.exp
+FILES+= gcc_attribute_aligned.c
+FILES+= gcc_attribute_aligned.exp
FILES+= gcc_init_compound_literal.c
FILES+= gcc_init_compound_literal.exp
FILES+= gcc_typeof_after_statement.c
Index: src/tests/usr.bin/xlint/lint1/t_integration.sh
diff -u src/tests/usr.bin/xlint/lint1/t_integration.sh:1.45 src/tests/usr.bin/xlint/lint1/t_integration.sh:1.46
--- src/tests/usr.bin/xlint/lint1/t_integration.sh:1.45 Fri Apr 30 23:49:36 2021
+++ src/tests/usr.bin/xlint/lint1/t_integration.sh Sun May 2 20:44:46 2021
@@ -1,4 +1,4 @@
-# $NetBSD: t_integration.sh,v 1.45 2021/04/30 23:49:36 rillig Exp $
+# $NetBSD: t_integration.sh,v 1.46 2021/05/02 20:44:46 rillig Exp $
#
# Copyright (c) 2008, 2010 The NetBSD Foundation, Inc.
# All rights reserved.
@@ -180,6 +180,7 @@ test_case d_long_double_int
test_case emit
test_case gcc_attribute
+test_case gcc_attribute_aligned
test_case gcc_init_compound_literal
test_case gcc_typeof_after_statement
Added files:
Index: src/tests/usr.bin/xlint/lint1/gcc_attribute_aligned.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/gcc_attribute_aligned.c:1.1
--- /dev/null Sun May 2 20:44:47 2021
+++ src/tests/usr.bin/xlint/lint1/gcc_attribute_aligned.c Sun May 2 20:44:46 2021
@@ -0,0 +1,44 @@
+/* $NetBSD: gcc_attribute_aligned.c,v 1.1 2021/05/02 20:44:46 rillig Exp $ */
+# 3 "gcc_attribute_aligned.c"
+
+/*
+ * Test size computations on aligned and packed structs.
+ */
+
+typedef unsigned short uint16_t;
+typedef unsigned int uint32_t;
+typedef unsigned long long uint64_t;
+
+/* from sys/arch/x86/include/cpu_extended_state.h */
+
+union fp_addr {
+ uint64_t fa_64;
+ struct {
+ uint32_t fa_off;
+ uint16_t fa_seg;
+ uint16_t fa_opcode;
+ } fa_32;
+} __attribute__((packed)) __attribute__((aligned(4)));
+
+struct fpacc87 {
+ uint64_t f87_mantissa;
+ uint16_t f87_exp_sign;
+} __attribute__((packed)) __attribute__((aligned(2)));
+
+struct save87 {
+ uint16_t s87_cw __attribute__((aligned(4)));
+ uint16_t s87_sw __attribute__((aligned(4)));
+ uint16_t s87_tw __attribute__((aligned(4)));
+ union fp_addr s87_ip;
+ union fp_addr s87_dp;
+ struct fpacc87 s87_ac[8];
+};
+
+struct {
+ unsigned int sizeof_fp_addr: sizeof(union fp_addr) == 8 ? 1 : -1;
+
+ unsigned int sizeof_fpacc87: sizeof(struct fpacc87) == 10 ? 1 : -1;
+
+ /* expect+1: illegal bit-field size: 255 *//*FIXME*/
+ unsigned int sizeof_save87: sizeof(struct save87) == 108 ? 1 : -1;
+};
Index: src/tests/usr.bin/xlint/lint1/gcc_attribute_aligned.exp
diff -u /dev/null src/tests/usr.bin/xlint/lint1/gcc_attribute_aligned.exp:1.1
--- /dev/null Sun May 2 20:44:47 2021
+++ src/tests/usr.bin/xlint/lint1/gcc_attribute_aligned.exp Sun May 2 20:44:46 2021
@@ -0,0 +1 @@
+gcc_attribute_aligned.c(43): error: illegal bit-field size: 255 [36]
