Naja, sagen wir mal es kann nicht schaden den vom Compiler erzeugten Code zu überprüfen. Mein Beispiel wird vom AVR-GCC jedenfalls sinnvoll übersetzt, obwohl er es theoretisch auch anders machen dürfte.

Das Verhalten, das der C99 Standard für Bitfelder vorschreibt, ist außerdem auf diese Art am leichtesten zu erreichen. Daher ist es wahrscheinlich, daß derartige Konstrukte von allen Compilern korrekt übersetzt werden.