http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52134
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-03-13 22:17:35 UTC --- > See how the lattice's already have its last 3 bits unset. In fact I think we > should only do this in the ccp/vrp passes to remove the & rather than fold. For size calculations (TYPE_IS_SIZETYPE) the earlier you fold, the better, so that you don't have to drag huge expressions for variable-sized types in the FE.
