[Bug tree-optimization/23173] New: ICE: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1512

[Bug tree-optimization/23173] New: ICE: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1512

[micis at gmx dot de]

When I compile gsl1.5 using the options -O2 -ffast-math -ftree-vectorize with 
the actual snapshot of gcc41 (20050730) I get an ICE.

Michael Cieslinski


last working snapshot is  gcc-4.1-20050604
first failing snapshot is gcc-4.1-20050611


gcc41i -O2 -ffast-math -ftree-vectorize -c coulomb.i -o coulomb.o
coulomb.c: In function 'coulomb_F_recur':
coulomb.c:525: internal compiler error: tree check: expected real_cst, have 
integer_cst in const_binop, at fold-const.c:1512
Please submit a full bug report, with preprocessed source if appropriate.


gcc41i -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-4.1-20050730/configure --prefix=/usr/local/gcc41i
 --program-suffix=41i --with-arch=opteron --enable-languages=c,c++
 --enable-checking
Thread model: posix
gcc version 4.1.0 20050730 (experimental)

-- 
           Summary: ICE: tree check: expected real_cst, have integer_cst in
                    const_binop, at fold-const.c:1512
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: micis at gmx dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug tree-optimization/23173] ICE: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1512

[micis at gmx dot de]

------- Additional Comments From micis at gmx dot de  2005-08-01 11:21 -------
Created an attachment (id=9402)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9402&action=view)
preprocessed source


-- 


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

[Bug tree-optimization/23173] ICE: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1512

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-08-01 11:36 -------
This is a duplicate of PR 19899.
There are several loops in the testcase with a floating-point loop variable
and a test >= 0. Removing them makes the code compile.


*** This bug has been marked as a duplicate of 19899 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE


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

[Bug tree-optimization/23173] ICE: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1512

[falk at debian dot org]

------- Additional Comments From falk at debian dot org  2005-08-01 11:56 -------
(In reply to comment #2)
> This is a duplicate of PR 19899.
> There are several loops in the testcase with a floating-point loop variable
> and a test >= 0. Removing them makes the code compile.

Are you sure? I also get an ICE with this test case, which does not contain
FP comparisons:

double coulomb_F_recur(double lam_min) {
    double fcl;
    int k;
    for (k = 0; k < 10; k++) {
        fcl = lam_min;
        lam_min -= 1.0;
    }
    return fcl;
}


-- 


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

[Bug tree-optimization/23173] ICE: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1512

[micis at gmx dot de]

------- Additional Comments From micis at gmx dot de  2005-08-01 14:08 -------
double foo(double a)
{
    double b;
    int i;
    for (i = 0; i < 10; i++)
    {
        b = a;
        a -= 1.0;
    }
    return b;
}

This loop from comment#3 gives:

gcc41i -O2 -ffast-math -ftree-vectorize -o bug23173.o -c bug23173.c
bug23173.c: In function 'foo':
bug23173.c:2: internal compiler error: tree check: expected real_cst, have 
integer_cst in const_binop, at fold-const.c:1512
Please submit a full bug report, with preprocessed source if appropriate.


-- 


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

[Bug tree-optimization/23173] ICE: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1512

[micis at gmx dot de]

------- Additional Comments From micis at gmx dot de  2005-08-01 14:22 -------
The stack backtrace is different from that PR19899:

#0  tree_check_failed (node=0x2a957583f0, file=0x8eebb0 "../../gcc-4.1-
20050730/gcc/fold-const.c", line=1512, function=0xa1163a "const_binop") 
at ../../gcc-4.1-20050730/gcc/tree.c:5830
#1  0x00000000005bd1bf in const_binop (code=MULT_EXPR, arg1=0x2a9574b810, 
arg2=Variable "arg2" is not available.
) at ../../gcc-4.1-20050730/gcc/fold-const.c:1512
#2  0x00000000005c0993 in fold_binary (code=MULT_EXPR, type=0x2a955a6420, 
op0=0x2a9574b810, op1=0x2a957583f0) at ../../gcc-4.1-20050730/gcc/fold-
const.c:7577
#3  0x00000000005cdf79 in fold_build2 (code=MULT_EXPR, type=0x2a955a6420, 
op0=0x2a9574b810, op1=0x2a957583f0) at ../../gcc-4.1-20050730/gcc/fold-
const.c:10477
#4  0x00000000007d9e1f in add_to_evolution (loop_nb=1, 
chrec_before=0x2a9574ee00, code=MINUS_EXPR, to_add=0x2a9574b810) at ../../gcc-
4.1-20050730/gcc/tree-scalar-evolution.c:869
#5  0x00000000007ddfa3 in follow_ssa_edge_in_rhs (loop=0xaf8240, 
at_stmt=0x2a9558e6e0, rhs=Variable "rhs" is not available.
) at ../../gcc-4.1-20050730/gcc/tree-scalar-evolution.c:1153
#6  0x00000000007da724 in follow_ssa_edge (loop=0xaf8240, def=0x2a9558e6e0, 
halting_phi=0x2a95754100, evolution_of_loop=0x7fbfffe910) at ../../gcc-4.1-
20050730/gcc/tree-scalar-evolution.c:1438
#7  0x00000000007db28d in analyze_scalar_evolution_1 (loop=0xaf8240, 
var=0x2a957515b0, res=0x0) at ../../gcc-4.1-20050730/gcc/tree-scalar-
evolution.c:1490
#8  0x00000000007db5f7 in analyze_scalar_evolution (loop=0xaf8240, var=0x0) 
at ../../gcc-4.1-20050730/gcc/tree-scalar-evolution.c:1850
#9  0x00000000004dacfd in vect_analyze_loop (loop=Variable "loop" is not 
available.
) at ../../gcc-4.1-20050730/gcc/tree-vect-analyze.c:519
#10 0x00000000004d5321 in vectorize_loops (loops=0xaf81a0) at ../../gcc-4.1-
20050730/gcc/tree-vectorizer.c:2028
#11 0x000000000077f296 in execute_one_pass (pass=0xa081a0) at ../../gcc-4.1-
20050730/gcc/passes.c:787
#12 0x000000000077f3bc in execute_pass_list (pass=0xa081a0) at ../../gcc-4.1-
20050730/gcc/passes.c:819
#13 0x000000000077f3ce in execute_pass_list (pass=0xa08020) at ../../gcc-4.1-
20050730/gcc/passes.c:820
#14 0x000000000077f3ce in execute_pass_list (pass=0xa04840) at ../../gcc-4.1-
20050730/gcc/passes.c:820
#15 0x0000000000482f85 in tree_rest_of_compilation (fndecl=0x2a9573b400) 
at ../../gcc-4.1-20050730/gcc/tree-optimize.c:419
#16 0x000000000040c025 in c_expand_body (fndecl=0x2a9573b400) at ../../gcc-4.1-
20050730/gcc/c-decl.c:6633
#17 0x00000000007c82a6 in cgraph_expand_function (node=0x2a9573aa50) 
at ../../gcc-4.1-20050730/gcc/cgraphunit.c:1033
#18 0x00000000007ca376 in cgraph_optimize () at ../../gcc-4.1-
20050730/gcc/cgraphunit.c:1099
#19 0x0000000000416163 in c_write_global_declarations () at ../../gcc-4.1-
20050730/gcc/c-decl.c:7618
#20 0x00000000007532a6 in toplev_main (argc=Variable "argc" is not available.

-- 


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

[Bug tree-optimization/23173] ICE: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1512

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-01 14:23 -------
Lets reopen it then.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|DUPLICATE                   |


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

[Bug tree-optimization/23173] ICE: tree check: expected real_cst, have integer_cst in const_binop, at fold-const.c:1512

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-01 16:38 -------
This is a dup of bug 19899 as this is really a scev bug and not a tree vect bug.

*** This bug has been marked as a duplicate of 19899 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE


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