Re: lib/58913: ctype(3) macros fail on (unsigned)EOF

["Valery Ushakov via gnats" <gnats-admin%NetBSD.org@localhost>]

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

From: Valery Ushakov <uwe%stderr.spb.ru@localhost>
To: gnats-bugs%netbsd.org@localhost
Cc: 
Subject: Re: lib/58913: ctype(3) macros fail on (unsigned)EOF
Date: Wed, 18 Dec 2024 19:24:05 +0300

 On Wed, Dec 18, 2024 at 14:05:01 +0000, Taylor R Campbell via gnats wrote:
 
 >  I can't find any language allowing the function-like macro to have
 >  different evaluation rules from a function, here or in 7.4,
 
 7.1.4 starts with:
 
        [#1] [...] If an argument to a function has an invalid value
        (such as a value outside the domain of the function, [...])
        the behavior is undefined.
 
 and 0xffffffffu clearly seems to be an invalid value.  Of course the
 question is whether this requirement is applied before or after
 implicit conversions, but I'm inclined to read this more strictly
 (i.e. "before conversions") precisely for the interplay of this
 requiremnt with the function-like macro sceanrio.
 
 -uwe