[Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed.

["green at redhat dot com" <gcc-bugzilla at gcc dot gnu dot org>]

for SSA_NAME: l_addr<D8610>_650
X-Bugzilla-Reason: CC

Compiling the soon-to-be-attached source with -O1 results in...

bug.i:9914: error: Definition in block 71 does not dominate use in block 51
for SSA_NAME: l_addr<D8343>_650
in statement:
#   l_addr<D8343>_243 = V_MAY_DEF <l_addr<D8343>_650>;
l_addr<D8343>.map<D4008> = l_addr$map<D8642>_637;
 
bug.i:9914: internal compiler error: verify_ssa failed.
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: ICE: internal compiler error: verify_ssa failed.
                    for SSA_NAME: l_addr<D8610>_650
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: green at redhat dot com
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: frv-elf


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