[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] dfa: port to gcc -fsanitize=undefined
From: |
Eric Blake |
Subject: |
Re: [PATCH] dfa: port to gcc -fsanitize=undefined |
Date: |
Mon, 16 Jan 2017 16:31:08 -0600 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.6.0 |
On 01/16/2017 04:20 PM, Eric Blake wrote:
> And the principle is that POSIX is allowed to make guarantees where the
> C standard left things unspecified, particularly if those guarantees are
> already something that many coders are already relying on because they
> don't know any better.
My case study for that is the fact that storage returned by calloc() and
interpreted as a struct containing pointers is NOT required by the C
standard to treat those fields as null pointers, but POSIX was willing
to add that as an additional requirement:
http://austingroupbugs.net/view.php?id=940
--
Eric Blake eblake redhat com +1-919-301-3266
Libvirt virtualization library http://libvirt.org
signature.asc
Description: OpenPGP digital signature