[Bug tree-optimization/28721] New: SRA vs Ada and type mismatches

[pinskia at gcc dot gnu dot org]

I don't have time to create a smaller testcase right not but I am filing this
so we don't lose track of it:
cc3605a.adb: In function â<80><98>CC3605Aâ<80><99>:
cc3605a.adb:8: error: statement types mismatch
D.1181_166 = SR.67D.1243_261;

booleanD.472[(long intD.0) <PLACEHOLDER_EXPR struct
cc3605a__arr_acc_typeD.753>.P_BOUNDSD.755->LB0D.758:(long intD.0)
<PLACEHOLDER_EXPR struct cc3605a__arr_acc_typeD.753>.P_BOUNDSD.755->UB0D.759] *
voidD.487 *
cc3605a.adb:8: error: statement types mismatch
D.1185_170 = SR.68D.1244_251;

struct cc3605a__arr_type___XUB *
voidD.487 *
cc3605a.adb:8: error: statement types mismatch
D.1189_176 = SR.70D.1246_269;

struct cc3605a__arr_type___XUB *
voidD.487 *
cc3605a.adb:8: error: statement types mismatch


-- 
           Summary: SRA vs Ada and type mismatches
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
OtherBugsDependingO 22368
             nThis:


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