[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date: Thu, 28 Aug 2014 23:38:29 +0200
From: Jens Gustedt <jens.gustedt@...ia.fr>
To: musl@...ts.openwall.com
Subject: Re: C threads, v. 6.2
Am Donnerstag, den 28.08.2014, 22:55 +0200 schrieb Szabolcs Nagy:
> * Rich Felker <dalias@...c.org> [2014-08-28 16:00:29 -0400]:
> > I was asking whether the use of static to mean "pointer to at least
> > this many elements" used for an argument in a function type resulted
> > in a distinct function type from the same without static.
>
> no the type is not different, there is an example in the standard:
>
> http://port70.net/~nsz/c/c11/n1570.html#6.7.6.3p21
>
> the semantics is defined in
>
> http://port70.net/~nsz/c/c11/n1570.html#6.7.6.3p7
So I was wrong in my previous answer to Rich, already calling the
function with an array of insufficient length is UB, even if the
function happens to not access out of bounds elements.
Jens
--
:: INRIA Nancy Grand Est ::: AlGorille ::: ICube/ICPS :::
:: ::::::::::::::: office Strasbourg : +33 368854536 ::
:: :::::::::::::::::::::: gsm France : +33 651400183 ::
:: ::::::::::::::: gsm international : +49 15737185122 ::
:: http://icube-icps.unistra.fr/index.php/Jens_Gustedt ::
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.
