[Top][All Lists]

[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:

Eric Blake   eblake redhat com    +1-919-301-3266
Libvirt virtualization library http://libvirt.org

Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]