Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
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.