Module Name: src Committed By: rillig Date: Sun Aug 1 13:45:14 UTC 2021
Modified Files: src/tests/usr.bin/xlint/lint1: expr_binary.c expr_binary.exp Log Message: lint: demonstrate wrong integer conversion for __uint128_t To generate a diff of this commit: cvs rdiff -u -r1.1 -r1.2 src/tests/usr.bin/xlint/lint1/expr_binary.c \ src/tests/usr.bin/xlint/lint1/expr_binary.exp 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/expr_binary.c diff -u src/tests/usr.bin/xlint/lint1/expr_binary.c:1.1 src/tests/usr.bin/xlint/lint1/expr_binary.c:1.2 --- src/tests/usr.bin/xlint/lint1/expr_binary.c:1.1 Sun Aug 1 13:31:49 2021 +++ src/tests/usr.bin/xlint/lint1/expr_binary.c Sun Aug 1 13:45:14 2021 @@ -1,4 +1,4 @@ -/* $NetBSD: expr_binary.c,v 1.1 2021/08/01 13:31:49 rillig Exp $ */ +/* $NetBSD: expr_binary.c,v 1.2 2021/08/01 13:45:14 rillig Exp $ */ # 3 "expr_binary.c" /* @@ -44,4 +44,10 @@ cover_balance(void) /* expect+1: '__int128_t' */ sink((__int128_t)1 + 1); + + /* expect+1: 'unsigned int' *//* FIXME */ + sink((__uint128_t)1 + (__int128_t)1); + + /* expect+1: 'unsigned int' *//* FIXME */ + sink((__int128_t)1 + (__uint128_t)1); } Index: src/tests/usr.bin/xlint/lint1/expr_binary.exp diff -u src/tests/usr.bin/xlint/lint1/expr_binary.exp:1.1 src/tests/usr.bin/xlint/lint1/expr_binary.exp:1.2 --- src/tests/usr.bin/xlint/lint1/expr_binary.exp:1.1 Sun Aug 1 13:31:49 2021 +++ src/tests/usr.bin/xlint/lint1/expr_binary.exp Sun Aug 1 13:45:14 2021 @@ -7,3 +7,5 @@ expr_binary.c(37): warning: passing 'flo expr_binary.c(40): warning: passing 'float' to incompatible 'struct incompatible', arg #1 [155] expr_binary.c(43): warning: passing '__uint128_t' to incompatible 'struct incompatible', arg #1 [155] expr_binary.c(46): warning: passing '__int128_t' to incompatible 'struct incompatible', arg #1 [155] +expr_binary.c(49): warning: passing 'unsigned int' to incompatible 'struct incompatible', arg #1 [155] +expr_binary.c(52): warning: passing 'unsigned int' to incompatible 'struct incompatible', arg #1 [155]