[Bug tree-optimization/46027] (unsignedtype1)(unsignedtype2)(unsignedtype1_var) not changed into unsignedtype1_var & NNN when sizeof(type1) > sizeof(type2)

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46027

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.7.0

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-11-29 
23:28:40 UTC ---
Fixed on the trunk by:
2011-05-10  Richard Guenther  <rguent...@suse.de>

        * tree-ssa-forwprop.c (combine_conversions): Pattern-match
        a series of conversions and apply foldings similar to what
        fold-const does.
        (tree_ssa_forward_propagate_single_use_vars): Call it.