c'est pas plutôt une histoire du genre que le résultat de a et b n'est pas défini parce qu'on sait juste que le résultat d'une comparaison est nul ou non (ptet que sur des plateformes "vrai" vaut 0xFFFFFFFF), et que faire une opération bit à bit sur une valeur non définie n'est pas non plus défini ?