[Bug tree-optimization/51528] New: SRA should not create BOOLEAN_TYPE replacements

[jamborm at gcc dot gnu.org]

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

             Bug #: 51528
           Summary: SRA should not create BOOLEAN_TYPE replacements
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: jamborm@gcc.gnu.org
        ReportedBy: jamborm@gcc.gnu.org


We already do not create ENUMERAL_TYPE replacements in SRA and neither
we should be creating BOOLEAN_TYPE ones because that can lead to
miscompilations, as the attached testcase shows.  Like in the enumeral
case, we should only create replacements of types with precision that
matches their mode size.

I'll take care of that.