[Bug bootstrap/28776] New: dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[Bug bootstrap/28776] New: dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[lucier at math dot purdue dot edu]

configure and build:

/bin/rm -rf *; ../configure --prefix=/pkgs/gcc-mainline --with-gmp=/opt/local/
--with-mpfr=/opt/local/ ; make -j 4 bootstrap >& build.log && (make -k -j 8
check RUNTESTFLAGS="--target_board 'unix{-mcpu=970/-m64}'"  >& check.log ; make
mail-report-with-warnings.log)

with updated Xcode:

[descartes:gcc/mainline/objdir64] lucier% gcc -v
Using built-in specs.
Target: powerpc-apple-darwin8
Configured with: /private/var/tmp/gcc/gcc-5363.obj~28/src/configure
--disable-checking -enable-werror --prefix=/usr --mandir=/share/man
--enable-languages=c,objc,c++,obj-c++
--program-transform-name=/^[cg][^.-]*$/s/$/-4.0/
--with-gxx-include-dir=/include/c++/4.0.0 --with-slibdir=/usr/lib
--build=powerpc-apple-darwin8 --host=powerpc-apple-darwin8
--target=powerpc-apple-darwin8
Thread model: posix
gcc version 4.0.1 (Apple Computer, Inc. build 5363)

fails with the stage2 build with

/Users/lucier/programs/gcc/mainline/objdir64/./prev-gcc/xgcc
-B/Users/lucier/programs/gcc/mainline/objdir64/./prev-gcc/
-B/pkgs/gcc-mainline/powerpc-apple-darwin8.7.0/bin/ -c   -g -O2
-mdynamic-no-pic -DIN_GCC   -W -Wall -Wwrite-strings -Wstrict-prototypes
-Wmissing-prototypes -pedantic -Wno-long-long -Wno-variadic-macros
-Wno-overlength-strings -Wold-style-definition -Wmissing-format-attribute
-Werror -fno-common   -DHAVE_CONFIG_H -I. -I. -I../../gcc -I../../gcc/.
-I../../gcc/../include -I./../intl -I../../gcc/../libcpp/include
-I/opt/local//include -I/opt/local//include -I../../gcc/../libdecnumber
-I../libdecnumber    ../../gcc/dwarf2out.c -o dwarf2out.o
../../gcc/dwarf2out.c: In function 'output_call_frame_info':
../../gcc/dwarf2out.c:2160: internal compiler error: in build_polynomial_chrec,
at tree-chrec.h:108


-- 
           Summary: dwarf2out.c:2160: ICE: in build_polynomial_chrec, at
                    tree-chrec.h:108
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: lucier at math dot purdue dot edu
 GCC build triplet: powerpc-apple-darwin8.7.0
  GCC host triplet: powerpc-apple-darwin8.7.0
GCC target triplet: powerpc-apple-darwin8.7.0


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-08-18 21:26 -------
Can you attach the preprocessed source?


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|bootstrap                   |middle-end
           Keywords|                            |build, ice-on-valid-code
            Summary|dwarf2out.c:2160: ICE: in   |[4.2 Regression]
                   |build_polynomial_chrec, at  |dwarf2out.c:2160: ICE: in
                   |tree-chrec.h:108            |build_polynomial_chrec, at
                   |                            |tree-chrec.h:108
   Target Milestone|---                         |4.2.0


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-08-18 21:27 -------
http://gcc.gnu.org/ml/gcc-regression/2006-08/msg00006.html


-- 


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[lucier at math dot purdue dot edu]

------- Comment #3 from lucier at math dot purdue dot edu  2006-08-18 21:34 -------
Created an attachment (id=12094)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12094&action=view)
preprocessed source for dwarf2out.c


-- 


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-08-19 05:59 -------
I can reproduce the ICE on i686-linux-gnu with a native compiler with the
preprocessed source.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|powerpc-apple-darwin8.7.0   |
   GCC host triplet|powerpc-apple-darwin8.7.0   |
 GCC target triplet|powerpc-apple-darwin8.7.0   |


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2006-08-19 06:02 -------
Reducing.


-- 


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2006-08-19 07:08 -------
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.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rakdver at gcc dot gnu dot
                   |                            |org
           Severity|normal                      |blocker
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-08-19 07:08:38
               date|                            |


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-08-20 05:12 -------
*** Bug 28780 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bero at arklinux dot org


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2006-08-20 05:15 -------
PR 28780 have a couple more testcases of the same problem.


-- 


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2006-08-20 16:44 -------
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


-- 


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[pinskia at gcc dot gnu dot org]

------- Comment #10 from pinskia at gcc dot gnu dot org  2006-08-20 16:48 -------
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.


-- 


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[rakdver at atrey dot karlin dot mff dot cuni dot cz]

------- Comment #11 from rakdver at atrey dot karlin dot mff dot cuni dot cz  2006-08-22 08:05 -------
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
>
>


-- 


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[patchapp at dberlin dot org]

------- Comment #12 from patchapp at dberlin dot org  2006-08-22 11:45 -------
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


-- 


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[rguenth at gcc dot gnu dot org]

------- Comment #14 from rguenth at gcc dot gnu dot org  2006-08-22 16:27 -------
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


-- 


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[rguenth at gcc dot gnu dot org]

------- Comment #13 from rguenth at gcc dot gnu dot org  2006-08-22 16:26 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[pinskia at gcc dot gnu dot org]

------- Comment #15 from pinskia at gcc dot gnu dot org  2006-08-24 10:39 -------
*** Bug 28815 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |happyarch at gmail dot com


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

[Bug middle-end/28776] [4.2 Regression] dwarf2out.c:2160: ICE: in build_polynomial_chrec, at tree-chrec.h:108

[rguenth at gcc dot gnu dot org]

------- Comment #16 from rguenth at gcc dot gnu dot org  2006-08-26 12:15 -------
*** Bug 28856 has been marked as a duplicate of this bug. ***


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dcb314 at hotmail dot com


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