> I know it because strict_volatile_bitfield_p checks this: > /* Check for cases of unaligned fields that must be split. */ > if (bitnum % BITS_PER_UNIT + bitsize> modesize > > Therefore, if bitsize == modesize, we know that bitnum % BITS_PER_UNIT > must be zero.
Isn't that precisely the condition you're trying to relax in the other change? -- Eric Botcazou
