|
Message-ID: <1371405720.5692.129.camel@eris.loria.fr>
Date: Sun, 16 Jun 2013 20:02:00 +0200
From: Jens Gustedt <jens.gustedt@...ia.fr>
To: musl@...ts.openwall.com
Subject: Re: valgrind problems
Am Sonntag, den 16.06.2013, 19:40 +0200 schrieb Szabolcs Nagy:
> but i think you are wrong about the if (*z) *z=0; more generally:
>
> accessing objects with indeterminate value is not undefined
> in general, at least the definition of 'indeterminate value'
> does not allow that, unless it may be a trap representation:
> http://port70.net/~nsz/c/c11/n1570.html#3.19.2p1
>
> if it is intended to be undefined then the normative text should
> say so
as I said up-thread, this is not my own opinion (I personally would
argue as you do) but expressed in a recent discussion on the list of
the C standards committee. In addition there is an 10 year old reply
to a DR that goes in that direction.
And to clarify that, this is not about UB, but about the stability of
the value.
Jens
--
:: INRIA Nancy Grand Est :: http://www.loria.fr/~gustedt/ ::
:: AlGorille ::::::::::::::: office Nancy : +33 383593090 ::
:: ICube :::::::::::::: office Strasbourg : +33 368854536 ::
:: ::::::::::::::::::::::::::: gsm France : +33 651400183 ::
:: :::::::::::::::::::: gsm international : +49 15737185122 ::
Download attachment "signature.asc" of type "application/pgp-signature" (199 bytes)
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.