Module Name: src
Committed By: rillig
Date: Fri Apr 30 23:49:36 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.c gcc_attribute.exp
Log Message:
tests/lint: add very basic tests for GCC __attribute__
To generate a diff of this commit:
cvs rdiff -u -r1.1046 -r1.1047 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.52 -r1.53 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/gcc_attribute.c \
src/tests/usr.bin/xlint/lint1/gcc_attribute.exp
cvs rdiff -u -r1.44 -r1.45 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.1046 src/distrib/sets/lists/tests/mi:1.1047
--- src/distrib/sets/lists/tests/mi:1.1046 Tue Apr 27 16:20:06 2021
+++ src/distrib/sets/lists/tests/mi Fri Apr 30 23:49:36 2021
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1046 2021/04/27 16:20:06 rillig Exp $
+# $NetBSD: mi,v 1.1047 2021/04/30 23:49:36 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -6191,6 +6191,8 @@
./usr/tests/usr.bin/xlint/lint1/emit.ln tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/feat_stacktrace.c tests-usr.bin-tests compattestfile,atf
./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_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.52 src/tests/usr.bin/xlint/lint1/Makefile:1.53
--- src/tests/usr.bin/xlint/lint1/Makefile:1.52 Thu Apr 22 22:43:26 2021
+++ src/tests/usr.bin/xlint/lint1/Makefile Fri Apr 30 23:49:36 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.52 2021/04/22 22:43:26 rillig Exp $
+# $NetBSD: Makefile,v 1.53 2021/04/30 23:49:36 rillig Exp $
NOMAN= # defined
MAX_MESSAGE= 343 # see lint1/err.c
@@ -105,6 +105,8 @@ FILES+= emit.exp
FILES+= emit.ln
FILES+= feat_stacktrace.c
FILES+= feat_stacktrace.exp
+FILES+= gcc_attribute.c
+FILES+= gcc_attribute.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.44 src/tests/usr.bin/xlint/lint1/t_integration.sh:1.45
--- src/tests/usr.bin/xlint/lint1/t_integration.sh:1.44 Thu Apr 22 22:43:26 2021
+++ src/tests/usr.bin/xlint/lint1/t_integration.sh Fri Apr 30 23:49:36 2021
@@ -1,4 +1,4 @@
-# $NetBSD: t_integration.sh,v 1.44 2021/04/22 22:43:26 rillig Exp $
+# $NetBSD: t_integration.sh,v 1.45 2021/04/30 23:49:36 rillig Exp $
#
# Copyright (c) 2008, 2010 The NetBSD Foundation, Inc.
# All rights reserved.
@@ -179,6 +179,7 @@ test_case d_long_double_int
test_case emit
+test_case gcc_attribute
test_case gcc_init_compound_literal
test_case gcc_typeof_after_statement
Added files:
Index: src/tests/usr.bin/xlint/lint1/gcc_attribute.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/gcc_attribute.c:1.1
--- /dev/null Fri Apr 30 23:49:37 2021
+++ src/tests/usr.bin/xlint/lint1/gcc_attribute.c Fri Apr 30 23:49:36 2021
@@ -0,0 +1,28 @@
+/* $NetBSD: gcc_attribute.c,v 1.1 2021/04/30 23:49:36 rillig Exp $ */
+# 3 "gcc_attribute.c"
+
+/*
+ * Tests for the various attributes for functions, types, statements that are
+ * provided by GCC.
+ *
+ * https://gcc.gnu.org/onlinedocs/gcc/Attribute-Syntax.html
+ * https://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html
+ * https://gcc.gnu.org/onlinedocs/gcc/Variable-Attributes.html
+ * https://gcc.gnu.org/onlinedocs/gcc/Type-Attributes.html
+ * https://gcc.gnu.org/onlinedocs/gcc/Enumerator-Attributes.html
+ * https://gcc.gnu.org/onlinedocs/gcc/Statement-Attributes.html
+ * https://gcc.gnu.org/onlinedocs/gcc/Label-Attributes.html
+ */
+
+void __attribute__((noinline))
+do_not_inline(void)
+{
+}
+
+/* expect+1: syntax error 'nonnull' */
+void __attribute__((nonnull(1, 2)))
+my_memcpy(void *dest, const void *src, unsigned long len);
+
+/* expect+1: syntax error 'unknown_attribute' */
+void __attribute__((unknown_attribute))
+function_with_unknown_attribute(void);
Index: src/tests/usr.bin/xlint/lint1/gcc_attribute.exp
diff -u /dev/null src/tests/usr.bin/xlint/lint1/gcc_attribute.exp:1.1
--- /dev/null Fri Apr 30 23:49:37 2021
+++ src/tests/usr.bin/xlint/lint1/gcc_attribute.exp Fri Apr 30 23:49:36 2021
@@ -0,0 +1,2 @@
+gcc_attribute.c(23): error: syntax error 'nonnull' [249]
+gcc_attribute.c(27): error: syntax error 'unknown_attribute' [249]
