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.

Reply via email to