PR/58728 CVS commit: src/lib/libc/locale

["Taylor R Campbell" <riastradh%netbsd.org@localhost>]

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

From: "Taylor R Campbell" <riastradh%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/58728 CVS commit: src/lib/libc/locale
Date: Tue, 8 Oct 2024 13:42:17 +0000

 Module Name:	src
 Committed By:	riastradh
 Date:		Tue Oct  8 13:42:17 UTC 2024
 
 Modified Files:
 	src/lib/libc/locale: c16rtomb.c c8rtomb.c
 
 Log Message:
 c16rtomb, c8rtomb: Omit needless casts.  Mark remaining lint issues.
 
 These casts were introduced to pacify lint.  lint has now been fixed
 to handle __SHIFTOUT/__BITS more robustly so some of them are no
 longer needed to pacify lint.
 
 But lint still objects without some semantically unnecessary casts --
 mark those.
 
 - In c8rtomb, c32 is guaranteed to be at most 24-bit -- actually, at
   most 21-bit -- but I'm not sure how to prove this to lint without a
   transitive analysis of the state machine transitions and knowledge
   of the only allowed initial state.
 
 - In c16rtomb, the shiftouts are always 9-bit and so the shiftin
   should never overflow, but lint hasn't figured this out yet.
 
 PR standards/58601: uchar.h C23 compliance: char8_t, mbrtoc8, c8rtomb
 PR toolchain/58728: __SHIFTIN/__BITS of values in known-limited range
   without cast
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.7 -r1.8 src/lib/libc/locale/c16rtomb.c
 cvs rdiff -u -r1.6 -r1.7 src/lib/libc/locale/c8rtomb.c
 
 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.