[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20170830192038.GE1627@brightrain.aerifal.cx>
Date: Wed, 30 Aug 2017 15:20:38 -0400
From: Rich Felker <dalias@...c.org>
To: musl@...ts.openwall.com
Subject: Re: open issues
On Wed, Aug 30, 2017 at 08:26:46AM +0000, Pascal Cuoq wrote:
> Hello,
>
> Punting til later due to lack of serious/any outward symptoms and lack
> of any practical way to fix:
>
> - scanf, wrong types in va_arg
> http://www.openwall.com/lists/musl/2017/04/10/3
>
> Joseph Myers has pointed out to me that the POSIX chapter about
> stdarg.h defines an XSI extension that allows musl's scanf to be
> written just the way it is:
>
> http://pubs.opengroup.org/onlinepubs/009695399/basedefs/stdarg.h.html (specifically the sentence “Both types are pointers”)
>
> To me, this means that the issue can be dropped entirely : musl
> simply needs this XSI extension, as it probably does some others.
Great find. I wonder if compiler/diagnostic tool ppl are aware of this
extension to the C language that XSI imposes. It definitely affects
things like UBSan, and of course compilers' optimization based on
assumptions that UB doesn't happen.
Rich
Powered by blists - more mailing lists
Confused about mailing lists and their use?
Read about mailing lists on Wikipedia
and check out these
guidelines on proper formatting of your messages.
