🚀 go-pugleaf

Pierre Habouzit <madcoder@debian.org> writes:

> Marc Boyer wrote:
> 
> > Le 19-10-2005, Pierre Habouzit <madcoder@debian.org> a �crit�:
> >>> typedef struct  {
> >>>   int i;
> >>>   union {
> >>>     char j;
> >>>     char  k;
> >>>   };
> >>> } foo;
> >>
> >>>    assert( f.j == f.k); // Est-ce l�gal ? Si oui, ref ?
> >> c'est l�gal, mais :
> >>  * vu ton union toujours vrai
> >>  * s�mantiquement faux.
> > 
> >   Non, je suis pas d'accord: soit c'est un UB (acc�s � f.k
> > non initialis�), soit c'est vrai.
> 
> non, je maintiens, ca sera toujours vrai. en tout cas sur tout
> compilo qui ne vient pas de mars.

Quand on me demande si c'est "legal" (je n'aime trop ce terme), je
comprends "est-ce strictement conforme".  Et dans ce cas, si char est
signe, il est possible que la valeur non initialisee soit une "trap
value" (en particulier dans le cas ou on utilise une representation en
complement a 1 avec le "-0" qui trappe).

A+

-- 
Jean-Marc
FAQ de fclc:       http://www.isty-info.uvsq.fr/~rumeau/fclc
Site de usenet-fr: http://www.usenet-fr.news.eu.org