[Bug middle-end/20739] [4.0/4.1 regression] ICE in gimplify_addr_expr

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2005-04-03 
14:49 -------
We ICE on an assert: 
#ifdef ENABLE_CHECKING 
            tree t_op0 = TREE_TYPE (op0); 
            gcc_assert ((TREE_CODE (t_op0) == ARRAY_TYPE 
                        && POINTER_TYPE_P (t_expr) 
                        && cpt_same_type (TREE_TYPE (t_op0), 
                                          TREE_TYPE (t_expr)) 
                        && POINTER_TYPE_P (t_op00) 
                        && cpt_same_type (t_op0, TREE_TYPE (t_op00))) || 1); 
#endif 
 
Without the assert, the compilation continues and appears to produce the 
right code too.  What is the rationale for this assert?? 

-- 


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