Am Donnerstag, den 28.08.2014, 22:55 +0200 schrieb Szabolcs Nagy:
> * Rich Felker <dalias@libc.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 ::