Module Name: src Committed By: rillig Date: Sat Jun 8 06:42:59 UTC 2024
Modified Files: src/tests/usr.bin/xlint/lint1: msg_142.c msg_252.c t_integration.sh src/usr.bin/xlint/lint1: Makefile Log Message: tests/lint: remove unused lint1-skip-if selector To generate a diff of this commit: cvs rdiff -u -r1.11 -r1.12 src/tests/usr.bin/xlint/lint1/msg_142.c cvs rdiff -u -r1.7 -r1.8 src/tests/usr.bin/xlint/lint1/msg_252.c cvs rdiff -u -r1.83 -r1.84 src/tests/usr.bin/xlint/lint1/t_integration.sh cvs rdiff -u -r1.104 -r1.105 src/usr.bin/xlint/lint1/Makefile Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.
Modified files: Index: src/tests/usr.bin/xlint/lint1/msg_142.c diff -u src/tests/usr.bin/xlint/lint1/msg_142.c:1.11 src/tests/usr.bin/xlint/lint1/msg_142.c:1.12 --- src/tests/usr.bin/xlint/lint1/msg_142.c:1.11 Sun Jul 9 11:01:27 2023 +++ src/tests/usr.bin/xlint/lint1/msg_142.c Sat Jun 8 06:42:59 2024 @@ -1,4 +1,4 @@ -/* $NetBSD: msg_142.c,v 1.11 2023/07/09 11:01:27 rillig Exp $ */ +/* $NetBSD: msg_142.c,v 1.12 2024/06/08 06:42:59 rillig Exp $ */ # 3 "msg_142.c" // Test for message: operator '%s' produces floating point overflow [142] @@ -6,12 +6,6 @@ /* lint1-extra-flags: -X 351 */ /* - * VAX has floating point formats with different limits than the other - * platforms, which all implement IEEE 754. - */ -/* xlint1-skip-if: vax */ - -/* * For 96-bit and 128-bit floating point numbers, a different number of * multipliers is needed to produce an overflow. */ Index: src/tests/usr.bin/xlint/lint1/msg_252.c diff -u src/tests/usr.bin/xlint/lint1/msg_252.c:1.7 src/tests/usr.bin/xlint/lint1/msg_252.c:1.8 --- src/tests/usr.bin/xlint/lint1/msg_252.c:1.7 Sat Jan 27 15:10:57 2024 +++ src/tests/usr.bin/xlint/lint1/msg_252.c Sat Jun 8 06:42:59 2024 @@ -1,4 +1,4 @@ -/* $NetBSD: msg_252.c,v 1.7 2024/01/27 15:10:57 rillig Exp $ */ +/* $NetBSD: msg_252.c,v 1.8 2024/06/08 06:42:59 rillig Exp $ */ # 3 "msg_252.c" // Test for message: integer constant out of range [252] @@ -33,7 +33,7 @@ * Due to this unnecessary difference, disable this test on ILP32 platforms * for now (2021-08-28). */ -/* lint1-skip-if: ilp32 */ +/* lint1-only-if: lp64 */ /* lint1-extra-flags: -X 351 */ Index: src/tests/usr.bin/xlint/lint1/t_integration.sh diff -u src/tests/usr.bin/xlint/lint1/t_integration.sh:1.83 src/tests/usr.bin/xlint/lint1/t_integration.sh:1.84 --- src/tests/usr.bin/xlint/lint1/t_integration.sh:1.83 Fri Feb 2 23:30:39 2024 +++ src/tests/usr.bin/xlint/lint1/t_integration.sh Sat Jun 8 06:42:59 2024 @@ -1,4 +1,4 @@ -# $NetBSD: t_integration.sh,v 1.83 2024/02/02 23:30:39 rillig Exp $ +# $NetBSD: t_integration.sh,v 1.84 2024/06/08 06:42:59 rillig Exp $ # # Copyright (c) 2008, 2010 The NetBSD Foundation, Inc. # All rights reserved. @@ -88,10 +88,6 @@ configure_test_case() for (i = 3; i < NF; i++) if (!platform_has($i)) skip = "yes" - } else if ($2 == "lint1-skip-if:") { - for (i = 3; i < NF; i++) - if (platform_has($i)) - skip = "yes" } else { printf("bad lint1 comment '\''%s'\''\n", $2) > "/dev/stderr" exit(1) Index: src/usr.bin/xlint/lint1/Makefile diff -u src/usr.bin/xlint/lint1/Makefile:1.104 src/usr.bin/xlint/lint1/Makefile:1.105 --- src/usr.bin/xlint/lint1/Makefile:1.104 Fri Mar 1 19:39:28 2024 +++ src/usr.bin/xlint/lint1/Makefile Sat Jun 8 06:42:59 2024 @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.104 2024/03/01 19:39:28 rillig Exp $ +# $NetBSD: Makefile,v 1.105 2024/06/08 06:42:59 rillig Exp $ .include <bsd.own.mk> @@ -111,8 +111,7 @@ add-test: .PHONY '' \ '/* lint1-extra-flags: -Z */' \ '/* lint1-flags: -Z */' \ - '/* lint1-only-if: schar uchar ilp32 lp64 int long */' \ - '/* lint1-skip-if: ldbl64 ldbl96 ldbl128 */' \ + '/* lint1-only-if: schar uchar ilp32 lp64 int long ldbl64 ldbl96 ldbl128 */' \ '' \ '// TODO: Add some code that passes.' \ '// TODO: Add some code that fails.' \