PR/58617 CVS commit: src

[gnats-admin%netbsd.org@localhost]

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

From: "Roland Illig" <rillig%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/58617 CVS commit: src
Date: Sun, 18 Aug 2024 15:21:09 +0000

 Module Name:	src
 Committed By:	rillig
 Date:		Sun Aug 18 15:21:09 UTC 2024
 
 Modified Files:
 	src/tests/usr.bin/xlint/lint1: msg_132.c
 	src/usr.bin/xlint/lint1: tree.c
 
 Log Message:
 lint: add value propagation for '/' combined with bit operations
 
 Fixes __SHIFTIN/__SHIFTOUT expressions, as in PR toolchain/58617.
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.41 -r1.42 src/tests/usr.bin/xlint/lint1/msg_132.c
 cvs rdiff -u -r1.649 -r1.650 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.