Module Name: src Committed By: christos Date: Thu Apr 17 18:34:44 UTC 2014
Modified Files: src/tests/usr.bin/xlint/lint1: Makefile t_integration.sh Added Files: src/tests/usr.bin/xlint/lint1: d_c99_complex_split.c d_cvt_constant.c d_gcc_extension.c Log Message: add more tests To generate a diff of this commit: cvs rdiff -u -r1.2 -r1.3 src/tests/usr.bin/xlint/lint1/Makefile \ src/tests/usr.bin/xlint/lint1/t_integration.sh cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/d_c99_complex_split.c \ src/tests/usr.bin/xlint/lint1/d_cvt_constant.c \ src/tests/usr.bin/xlint/lint1/d_gcc_extension.c 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/Makefile diff -u src/tests/usr.bin/xlint/lint1/Makefile:1.2 src/tests/usr.bin/xlint/lint1/Makefile:1.3 --- src/tests/usr.bin/xlint/lint1/Makefile:1.2 Tue Feb 4 03:08:59 2014 +++ src/tests/usr.bin/xlint/lint1/Makefile Thu Apr 17 14:34:44 2014 @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.2 2014/02/04 08:08:59 njoly Exp $ +# $NetBSD: Makefile,v 1.3 2014/04/17 18:34:44 christos Exp $ NOMAN= # defined @@ -11,6 +11,7 @@ TESTS_SH= t_integration FILESDIR= ${TESTSDIR} FILES+= d_alignof.c FILES+= d_c99_complex_num.c +FILES+= d_c99_complex_split.c FILES+= d_c99_decls_after_stmt.c FILES+= d_c99_decls_after_stmt2.c FILES+= d_c99_decls_after_stmt3.c @@ -31,10 +32,12 @@ FILES+= d_compound_literals2.c FILES+= d_constant_conv1.c FILES+= d_constant_conv2.c FILES+= d_cvt_in_ternary.c +FILES+= d_cvt_constant.c FILES+= d_ellipsis_in_switch.c FILES+= d_gcc_compound_statements1.c FILES+= d_gcc_compound_statements2.c FILES+= d_gcc_compound_statements3.c +FILES+= d_gcc_extension.c FILES+= d_gcc_func.c FILES+= d_gcc_variable_array_init.c FILES+= d_incorrect_array_size.c Index: src/tests/usr.bin/xlint/lint1/t_integration.sh diff -u src/tests/usr.bin/xlint/lint1/t_integration.sh:1.2 src/tests/usr.bin/xlint/lint1/t_integration.sh:1.3 --- src/tests/usr.bin/xlint/lint1/t_integration.sh:1.2 Tue Feb 4 03:08:59 2014 +++ src/tests/usr.bin/xlint/lint1/t_integration.sh Thu Apr 17 14:34:44 2014 @@ -1,4 +1,4 @@ -# $NetBSD: t_integration.sh,v 1.2 2014/02/04 08:08:59 njoly Exp $ +# $NetBSD: t_integration.sh,v 1.3 2014/04/17 18:34:44 christos Exp $ # # Copyright (c) 2008, 2010 The NetBSD Foundation, Inc. # All rights reserved. @@ -93,11 +93,13 @@ test_case check_valid gcc_compound_state "statements with non-expressions" test_case check_valid gcc_compound_statements3 "Checks GCC compound" \ "statements with void type" +test_case check_valid gcc_extension "Checks GCC __extension__ and __typeof__" test_case check_valid cvt_in_ternary "Checks CVT nodes handling in ?" \ - "operator" +test_case check_valid cvt_constant "Checks constant conversion" test_case check_valid ellipsis_in_switch "Checks ellipsis in switch()" test_case check_valid c99_complex_num "Checks C99 complex numbers" +test_case check_valid c99_complex_split "Checks C99 complex access" test_case check_valid c99_for_loops "Checks C99 for loops" test_case check_valid alignof "Checks __alignof__" test_case check_valid shift_to_narrower_type "Checks that type shifts that" \ Added files: Index: src/tests/usr.bin/xlint/lint1/d_c99_complex_split.c diff -u /dev/null src/tests/usr.bin/xlint/lint1/d_c99_complex_split.c:1.1 --- /dev/null Thu Apr 17 14:34:44 2014 +++ src/tests/usr.bin/xlint/lint1/d_c99_complex_split.c Thu Apr 17 14:34:44 2014 @@ -0,0 +1,5 @@ +void a(void) { + double _Complex z = 0; + if (__builtin_isnan((__real__ z)) && __builtin_isnan((__imag__ z))) + return; +} Index: src/tests/usr.bin/xlint/lint1/d_cvt_constant.c diff -u /dev/null src/tests/usr.bin/xlint/lint1/d_cvt_constant.c:1.1 --- /dev/null Thu Apr 17 14:34:44 2014 +++ src/tests/usr.bin/xlint/lint1/d_cvt_constant.c Thu Apr 17 14:34:44 2014 @@ -0,0 +1,8 @@ +/* the second assignment assumes failed before */ +int +main(void) { + double x = 1; + int foo = 0; + if (foo) + x = 1; +} Index: src/tests/usr.bin/xlint/lint1/d_gcc_extension.c diff -u /dev/null src/tests/usr.bin/xlint/lint1/d_gcc_extension.c:1.1 --- /dev/null Thu Apr 17 14:34:44 2014 +++ src/tests/usr.bin/xlint/lint1/d_gcc_extension.c Thu Apr 17 14:34:44 2014 @@ -0,0 +1,6 @@ +/* extension */ +void a(void) { + double __logbw = 1; + if (__extension__(({ __typeof((__logbw)) x_ = (__logbw); !__builtin_isinf((x_)) && !__builtin_isnan((x_)); }))) + __logbw = 1; +}