Module Name: src
Committed By: rillig
Date: Fri Apr 9 21:07:39 UTC 2021
Modified Files:
src/distrib/sets/lists/tests: mi
src/tests/usr.bin/xlint/lint1: Makefile d_c99_complex_split.c
Added Files:
src/tests/usr.bin/xlint/lint1: d_c99_complex_split.exp
Log Message:
tests/lint: demonstrate wrong lint warning about complex variables
To generate a diff of this commit:
cvs rdiff -u -r1.1038 -r1.1039 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.40 -r1.41 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r1.5 -r1.6 src/tests/usr.bin/xlint/lint1/d_c99_complex_split.c
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/d_c99_complex_split.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.1038 src/distrib/sets/lists/tests/mi:1.1039
--- src/distrib/sets/lists/tests/mi:1.1038 Thu Apr 8 22:18:26 2021
+++ src/distrib/sets/lists/tests/mi Fri Apr 9 21:07:39 2021
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1038 2021/04/08 22:18:26 rillig Exp $
+# $NetBSD: mi,v 1.1039 2021/04/09 21:07:39 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -6104,6 +6104,7 @@
./usr/tests/usr.bin/xlint/lint1/d_c99_bool_strict_syshdr.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/d_c99_complex_num.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/d_c99_complex_split.c tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/d_c99_complex_split.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/d_c99_compound_literal_comma.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/d_c99_decls_after_stmt.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/d_c99_decls_after_stmt2.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.40 src/tests/usr.bin/xlint/lint1/Makefile:1.41
--- src/tests/usr.bin/xlint/lint1/Makefile:1.40 Thu Apr 8 22:18:27 2021
+++ src/tests/usr.bin/xlint/lint1/Makefile Fri Apr 9 21:07:39 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.40 2021/04/08 22:18:27 rillig Exp $
+# $NetBSD: Makefile,v 1.41 2021/04/09 21:07:39 rillig Exp $
NOMAN= # defined
MAX_MESSAGE= 342 # see lint1/err.c
@@ -22,6 +22,7 @@ FILES+= d_c99_anon_struct.c
FILES+= d_c99_anon_union.c
FILES+= d_c99_complex_num.c
FILES+= d_c99_complex_split.c
+FILES+= d_c99_complex_split.exp
FILES+= d_c99_compound_literal_comma.c
FILES+= d_c99_decls_after_stmt.c
FILES+= d_c99_decls_after_stmt2.c
Index: src/tests/usr.bin/xlint/lint1/d_c99_complex_split.c
diff -u src/tests/usr.bin/xlint/lint1/d_c99_complex_split.c:1.5 src/tests/usr.bin/xlint/lint1/d_c99_complex_split.c:1.6
--- src/tests/usr.bin/xlint/lint1/d_c99_complex_split.c:1.5 Sat Mar 27 13:59:18 2021
+++ src/tests/usr.bin/xlint/lint1/d_c99_complex_split.c Fri Apr 9 21:07:39 2021
@@ -1,4 +1,4 @@
-/* $NetBSD: d_c99_complex_split.c,v 1.5 2021/03/27 13:59:18 rillig Exp $ */
+/* $NetBSD: d_c99_complex_split.c,v 1.6 2021/04/09 21:07:39 rillig Exp $ */
# 3 "d_c99_complex_split.c"
/*
@@ -19,3 +19,35 @@ a(void)
if (b(__real__ z) && b(__imag__ z))
return;
}
+
+void sink(double _Complex);
+
+void
+set_complex_complete(double re, double im)
+{
+ double _Complex c;
+
+ __real__ c = re; /* FIXME *//* expect: may be used before set */
+ __imag__ c = im;
+ sink(c);
+}
+
+void
+set_complex_only_real(double re)
+{
+ double _Complex c;
+
+ __real__ c = re; /* FIXME *//* expect: may be used before set */
+ /* __imag__ c is left uninitialized */
+ sink(c); /* XXX: may be used before set */
+}
+
+void
+set_complex_only_imag(double im)
+{
+ double _Complex c;
+
+ /* __real__ c is left uninitialized */
+ __imag__ c = im; /* FIXME *//* expect: may be used before set */
+ sink(c); /* XXX: may be used before set */
+}
Added files:
Index: src/tests/usr.bin/xlint/lint1/d_c99_complex_split.exp
diff -u /dev/null src/tests/usr.bin/xlint/lint1/d_c99_complex_split.exp:1.1
--- /dev/null Fri Apr 9 21:07:39 2021
+++ src/tests/usr.bin/xlint/lint1/d_c99_complex_split.exp Fri Apr 9 21:07:39 2021
@@ -0,0 +1,3 @@
+d_c99_complex_split.c(30): warning: c may be used before set [158]
+d_c99_complex_split.c(40): warning: c may be used before set [158]
+d_c99_complex_split.c(51): warning: c may be used before set [158]
