[PATCH] Fix PR rtl-optimization/65067

Eric Botcazou ebotcazou@adacore.com
Fri Mar 6 09:54:00 GMT 2015


> 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



More information about the Gcc-patches mailing list