PR/36668 CVS commit: src

["Roland Illig" <rillig%netbsd.org@localhost>]

The following reply was made to PR lib/36668; it has been noted by GNATS.

From: "Roland Illig" <rillig%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/36668 CVS commit: src
Date: Thu, 26 May 2022 09:26:00 +0000

 Module Name:	src
 Committed By:	rillig
 Date:		Thu May 26 09:26:00 UTC 2022
 
 Modified Files:
 	src/tests/usr.bin/xlint/lint1: msg_132.c msg_132.exp
 	src/usr.bin/xlint/lint1: tree.c
 
 Log Message:
 lint: do not warn about loss in accuracy if the actual value fits
 
 The expression 'any & 0xff' can always be assigned to 'uint8_t' without
 loss of any value bits.  In the same way, '(any & 0xff) << 8' can always
 be assigned to 'uint16_t'.
 
 Previously, lint warned about these cases.  Fix these wrong warnings by
 tracking the possible values of integer expressions across a single
 expression.
 
 Fixes PR 36668, so that <sys/endian.h> does not need to be cluttered
 with useless casts anymore.
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.10 -r1.11 src/tests/usr.bin/xlint/lint1/msg_132.c
 cvs rdiff -u -r1.9 -r1.10 src/tests/usr.bin/xlint/lint1/msg_132.exp
 cvs rdiff -u -r1.443 -r1.444 src/usr.bin/xlint/lint1/tree.c
 
 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.