https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70949
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2016-05-06 Summary|ICE in propagate_necessity, |Invalid aggregate against |at tree-ssa-dce.c:924 |pointer comparison Ever confirmed|0 |1 --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- With checking enabled I get: c> ../../gcc5-g/gcc/f951 -quiet t.f90 -Os t.f90:1:0: program p ^ Error: mismatching comparison operand types struct __class_p_T1_p struct t1 * D.3422 = D.3421 == a; t.f90:1:0: internal compiler error: verify_gimple failed 0xe6f96a verify_gimple_in_seq(gimple_statement_base*) /space/rguenther/src/svn/gcc-5-branch/gcc/tree-cfg.c:4739 0xb8e0e1 gimplify_body(tree_node*, bool) /space/rguenther/src/svn/gcc-5-branch/gcc/gimplify.c:9329 (with GCC 6 and trunk as well). So this is invalid GIMPLE after gimplification which usually means invalid GENERIC from the Frontend. Here we compare an aggregate with a pointer - that can't work. Confirmed as FE issue.