> But isn't the test bogus if it depends on the result of loading a zero > sized bitfield?
That's supported in Ada and the result is specified, it's the only allowed value of the type of the bitfield (the type has precision 0 and is biased if this value isn't zero). So this boils down to an implementation choice: either we specifically detect this case up in the chain or we let it flow down as usual. But since we handle the stores in an uniform way, I think that it could make sense to do the same for the loads. -- Eric Botcazou