Module Name: src
Committed By: rillig
Date: Mon Dec 6 23:20:26 UTC 2021
Modified Files:
src/distrib/sets/lists/tests: mi
src/tests/usr.bin/xlint/lint1: Makefile
Added Files:
src/tests/usr.bin/xlint/lint1: gcc_builtin_alloca.c
gcc_builtin_alloca.exp
Log Message:
tests/lint: demonstrate wrong warning for __builtin_alloca
To generate a diff of this commit:
cvs rdiff -u -r1.1174 -r1.1175 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.114 -r1.115 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/gcc_builtin_alloca.c \
src/tests/usr.bin/xlint/lint1/gcc_builtin_alloca.exp
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.1174 src/distrib/sets/lists/tests/mi:1.1175
--- src/distrib/sets/lists/tests/mi:1.1174 Sun Dec 5 15:20:13 2021
+++ src/distrib/sets/lists/tests/mi Mon Dec 6 23:20:26 2021
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1174 2021/12/05 15:20:13 rillig Exp $
+# $NetBSD: mi,v 1.1175 2021/12/06 23:20:26 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -6468,6 +6468,8 @@
./usr/tests/usr.bin/xlint/lint1/gcc_attribute_var.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/gcc_bit_field_types.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/gcc_bit_field_types.exp tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/gcc_builtin_alloca.c tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/gcc_builtin_alloca.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/gcc_builtin_overflow.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/gcc_builtin_overflow.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/gcc_cast_union.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.114 src/tests/usr.bin/xlint/lint1/Makefile:1.115
--- src/tests/usr.bin/xlint/lint1/Makefile:1.114 Sat Oct 30 22:04:42 2021
+++ src/tests/usr.bin/xlint/lint1/Makefile Mon Dec 6 23:20:26 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.114 2021/10/30 22:04:42 rillig Exp $
+# $NetBSD: Makefile,v 1.115 2021/12/06 23:20:26 rillig Exp $
NOMAN= # defined
MAX_MESSAGE= 348 # see lint1/err.c
@@ -174,6 +174,8 @@ FILES+= gcc_attribute_var.c
FILES+= gcc_attribute_var.exp
FILES+= gcc_bit_field_types.c
FILES+= gcc_bit_field_types.exp
+FILES+= gcc_builtin_alloca.c
+FILES+= gcc_builtin_alloca.exp
FILES+= gcc_builtin_overflow.c
FILES+= gcc_builtin_overflow.exp
FILES+= gcc_cast_union.c
Added files:
Index: src/tests/usr.bin/xlint/lint1/gcc_builtin_alloca.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/gcc_builtin_alloca.c:1.1
--- /dev/null Mon Dec 6 23:20:26 2021
+++ src/tests/usr.bin/xlint/lint1/gcc_builtin_alloca.c Mon Dec 6 23:20:26 2021
@@ -0,0 +1,21 @@
+/* $NetBSD: gcc_builtin_alloca.c,v 1.1 2021/12/06 23:20:26 rillig Exp $ */
+# 3 "gcc_builtin_alloca.c"
+
+/*
+ * Test for the GCC builtin functions __builtin_alloca*, which unlike most
+ * other builtin functions return a pointer instead of int.
+ *
+ * https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html
+ */
+
+void
+example(void)
+{
+ /* expect+1: warning: illegal combination of pointer (pointer to char) and integer (int) [183] */
+ char *ptr = __builtin_alloca(8);
+ ptr[4] = '4';
+
+ /* expect+1: warning: illegal combination of pointer (pointer to char) and integer (int) [183] */
+ char *aligned_ptr = __builtin_alloca_with_align(8, 64);
+ aligned_ptr[0] = '\0';
+}
Index: src/tests/usr.bin/xlint/lint1/gcc_builtin_alloca.exp
diff -u /dev/null src/tests/usr.bin/xlint/lint1/gcc_builtin_alloca.exp:1.1
--- /dev/null Mon Dec 6 23:20:26 2021
+++ src/tests/usr.bin/xlint/lint1/gcc_builtin_alloca.exp Mon Dec 6 23:20:26 2021
@@ -0,0 +1,2 @@
+gcc_builtin_alloca.c(15): warning: illegal combination of pointer (pointer to char) and integer (int) [183]
+gcc_builtin_alloca.c(19): warning: illegal combination of pointer (pointer to char) and integer (int) [183]
