🚀 go-pugleaf

Pierre Habouzit <madcoder@debian.org> a �crit�:
> 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.

  Ca, je l'imaginais bien.

> j et k "d�signent" le meme emplacement m�moire, et ont le meme type.
>
> donc pour toute instance I de ton type foo, I.j == I.k (et meme comme le
> disait je ne sais plus qui &I.j == &I.k, ce qui est l'hypoth�se que je
> prend dans ce post pour mes affirmations).

  Si &I.j == &I.k, oui, il y a �galit�.

> initialis� ou non.

  Ca, c'est une vieille m�fiance qui me vient de:
unsigned u;
assert( u >= 0 ); // UB

Marc Boyer
-- 
� v�lo, prendre une rue � contre-sens est moins dangeureux
que prendre un boulevard dans le sens l�gal. � qui la faute ?