Can you attach the preprocessed source?

http://gcc.gnu.org/ml/gcc-regression/2006-08/msg00006.html

Created attachment 12094 [details]
preprocessed source for dwarf2out.c

I can reproduce the ICE on i686-linux-gnu with a native compiler with the preprocessed source.

Reducing.

Reduced testcase:
typedef struct dw_fde_struct
{
  int decl;
} *dw_fde_ref;
dw_fde_ref fde_table;
unsigned fde_table_in_use;
void output_call_frame_info (void)
{
  unsigned int i;
  dw_fde_ref fde;
  for (i = 0; i < fde_table_in_use; i++)
    {
      fde = &fde_table[i];
      tree_contains_struct_check_failed (fde_table[i].decl);
    }
}
------------------
And this did not ICE in 20060815.

*** Bug 28780 has been marked as a duplicate of this bug. ***

PR 28780 have a couple more testcases of the same problem.

Caused by

 2006-04-02  Sebastian Pop  <pop@cri.ensmp.fr>

...
+       * tree-chrec.h (build_polynomial_chrec): Insert an assert to check
+       the types of the operands.
...

for the testcase in comment #6 we have the two types

 type <pointer_type 0xa7cebf18 dw_fde_ref
        type <record_type 0xa7cebe04 dw_fde_struct sizes-gimplified type_0 SI
            size <integer_cst 0xa7c5f3f0 constant invariant 32>
            unit size <integer_cst 0xa7c5f180 constant invariant 4>
            align 32 symtab 0 alias set 4 fields <field_decl 0xa7cebe60 decl> context <translation_unit_decl 0xa7c77f08 D.1540>
            pointer_to_this <pointer_type 0xa7cebebc> chain <type_decl 0xa7c77dd0 D.1520>>
        sizes-gimplified public unsigned SI size <integer_cst 0xa7c5f3f0 32> unit size <integer_cst 0xa7c5f180 4>
        align 32 symtab 0 alias set -1>

and

 <pointer_type 0xa7cebebc
    type <record_type 0xa7cebe04 dw_fde_struct sizes-gimplified type_0 SI
        size <integer_cst 0xa7c5f3f0 constant invariant 32>
        unit size <integer_cst 0xa7c5f180 constant invariant 4>
        align 32 symtab 0 alias set 4
        fields <field_decl 0xa7cebe60 decl type <integer_type 0xa7c71284 int>
            SI file t.i line 3 size <integer_cst 0xa7c5f3f0 32> unit size <integer_cst 0xa7c5f180 4>
            align 32 offset_align 128
            offset <integer_cst 0xa7c5f198 constant invariant 0>
            bit offset <integer_cst 0xa7c5f978 constant invariant 0> context <record_type 0xa7cebe04 dw_fde_struct>> context <translation_unit_decl 0xa7c77f08 D.1540>
        pointer_to_this <pointer_type 0xa7cebebc> chain <type_decl 0xa7c77dd0 D.1520>>
    sizes-gimplified public unsigned SI size <integer_cst 0xa7c5f3f0 32> unit size <integer_cst 0xa7c5f180 4>
    align 32 symtab 0 alias set 2>

note the identical TREE_TYPE (type).  And note that we have a NOP_EXPR
wrapping the correct type.

We arrive there by fold_used_pointer, which is simplifying casts but not
re-folding the arguments to the plus/minus in

      if (code == PLUS_EXPR)
        expr = chrec_fold_plus (TREE_TYPE (expr), new0, new1);
      else
        expr = chrec_fold_minus (TREE_TYPE (expr), new0, new1);

The following fixes it:

Index: tree-scalar-evolution.c
===================================================================
*** tree-scalar-evolution.c     (revision 116257)
--- tree-scalar-evolution.c     (working copy)
*************** fold_used_pointer (tree expr)
*** 1847,1852 ****
--- 1847,1854 ----
        if (new0 == op0 && new1 == op1)
        return expr;

+       new0 = chrec_convert (TREE_TYPE (expr), new0, NULL_TREE);
+       new1 = chrec_convert (TREE_TYPE (expr), new1, NULL_TREE);
        if (code == PLUS_EXPR)
        expr = chrec_fold_plus (TREE_TYPE (expr), new0, new1);
        else

No this was caused by:
2006-08-16  Zdenek Dvorak <dvorakz@suse.cz>
        * tree-scalar-evolution.c (fold_used_pointer_cast, pointer_offset_p,
        fold_used_pointer, pointer_used_p): New functions.

as fold_used_pointer is new.

Subject: Re:  [4.2 Regression] dwarf2out.c:2160: ICE: 
     in build_polynomial_chrec, at tree-chrec.h:108

The fix seems OK to me, could you please test and submit it?

> The following fixes it:
>
> Index: tree-scalar-evolution.c
> ===================================================================
> *** tree-scalar-evolution.c     (revision 116257)
> --- tree-scalar-evolution.c     (working copy)
> *************** fold_used_pointer (tree expr)
> *** 1847,1852 ****
> --- 1847,1854 ----
>         if (new0 == op0 && new1 == op1)
>         return expr;
>
> +       new0 = chrec_convert (TREE_TYPE (expr), new0, NULL_TREE);
> +       new1 = chrec_convert (TREE_TYPE (expr), new1, NULL_TREE);
>         if (code == PLUS_EXPR)
>         expr = chrec_fold_plus (TREE_TYPE (expr), new0, new1);
>         else
>
>

Subject: Bug number PR28776

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is http://gcc.gnu.org/ml/gcc-patches/2006-08/msg00779.html

Fixed.

Subject: Bug 28776

Author: rguenth
Date: Tue Aug 22 16:26:32 2006
New Revision: 116326

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116326
Log:
2006-08-22  Richard Guenther  <rguenther@suse.de>

	PR middle-end/28776
	* tree-scalar-evolution.c (fold_used_pointer): Add at_stmt
	parameter.  Convert arguments to arithmetic expression to the
	chrecs type.
	(analyze_scalar_evolution_1): Adjust caller.

	* gcc.c-torture/compile/pr28776-1.c: New testcase.
	* gcc.c-torture/compile/pr28776-2.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr28776-1.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr28776-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-scalar-evolution.c

*** Bug 28815 has been marked as a duplicate of this bug. ***

*** Bug 28856 has been marked as a duplicate of this bug. ***