[Bug fortran/29490] New: internal compiler error: in fold_binary, at fold-const.c:8239

[Bug fortran/29490] New: internal compiler error: in fold_binary, at fold-const.c:8239

[pmason at ricardo dot com]

Get following error message when compiling fortran 90 code:

> "internal compiler error: in fold_binary, at fold-const.c:8239".

Test code that fails , see below:

<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
  !---------------------------------
  program fred
  !---------------------------------
  real              :: dezz(1:10)
  real, allocatable :: jack(:)
  !
  allocate(jack(10)); jack = 9.
  dezz = john(jack,1)
  print*,'dezz = ',dezz

  contains
    !---------------------------------
    function john(t,il)
    !---------------------------------
    real  :: t(il:)
    real  :: john(1:10)
    john = 10.
    end function john
  end
<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<

Compiled on suse 9 box as "gfortran test.f90" using
version 4.2.0 20061015 (experimental).


-- 
           Summary: internal compiler error: in fold_binary, at fold-
                    const.c:8239
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pmason at ricardo dot com
 GCC build triplet: 4.2.0 20061015 (experimental)
  GCC host triplet: suse 9.0
GCC target triplet: i686-pc-linux-gnu


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

[Bug fortran/29490] internal compiler error: in fold_binary, at fold-const.c:8239

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2006-10-17 14:09 -------
Confirmed.

We're folding <NULL_TREE> + D.1277->dimD.1247[0].uboundD.1245 -
D.1277->dimD.1247[0].lboundD.1244

here:

#2  0x00000000006eb4ee in fold_build2_stat (code=PLUS_EXPR, 
    type=0x2b5f89b8e630, op0=0x0, op1=0x2b5f89c5d320)
    at /space/rguenther/src/svn/trunk/gcc/fold-const.c:11632
#3  0x00000000004a0cb4 in gfc_set_interface_mapping_bounds (
    block=0x7fff214e4c60, type=0x2b5f89c5e210, desc=0x2b5f89b8ba40)
    at /space/rguenther/src/svn/trunk/gcc/fortran/trans-expr.c:1306
#4  0x00000000004a12a4 in gfc_add_interface_mapping (mapping=0x7fff214e4cb0, 
    sym=0x1003150, se=0x7fff214e4c60)
    at /space/rguenther/src/svn/trunk/gcc/fortran/trans-expr.c:1417
#5  0x00000000004a27ce in gfc_conv_function_call (se=0x7fff214e4dd0, 
    sym=0x10020b0, arg=0xfd0050)
    at /space/rguenther/src/svn/trunk/gcc/fortran/trans-expr.c:2053
#6  0x00000000004a3d24 in gfc_conv_function_expr (se=0x7fff214e4dd0, 
    expr=0x1002190)
    at /space/rguenther/src/svn/trunk/gcc/fortran/trans-expr.c:2548

so, GFC_TYPE_ARRAY_LBOUND (type, n) is NULL

1301            {
1302              dim = gfc_rank_cst[n];
1303              tmp = fold_build2 (MINUS_EXPR, gfc_array_index_type,
1304                                 gfc_conv_descriptor_ubound (desc, dim),
1305                                 gfc_conv_descriptor_lbound (desc, dim));
1306              tmp = fold_build2 (PLUS_EXPR, gfc_array_index_type,
1307                                 GFC_TYPE_ARRAY_LBOUND (type, n),
1308                                 tmp);
1309              tmp = gfc_evaluate_now (tmp, block);
1310              GFC_TYPE_ARRAY_UBOUND (type, n) = tmp;


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|4.2.0 20061015              |
                   |(experimental)              |
   GCC host triplet|suse 9.0                    |
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.1.2 4.2.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-10-17 14:09:01
               date|                            |


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

[Bug fortran/29490] internal compiler error: in fold_binary, at fold-const.c:8239

[pault at gcc dot gnu dot org]

------- Comment #2 from pault at gcc dot gnu dot org  2006-10-17 20:20 -------
Thank you, Richard - thanks to your splendid analysis, I was able to go
straight to the source of the problem:

trans-types.c(gfc_get_nodesc_array_type):1038 sets GFC_TYPE_ARRAY_LBOUND to
NULL_TREE if the arrayspec lower is not constant.  It then feeds through to the
interfacery that cannot cope with this and the ICE ensues.  There is no reason
why GFC_TYPE_ARRAY_LBOUND cannot be set; being fortran, gfc_index_one_node is
an OK choice, although zero does OK too.  This is regtesting as I write.  If
all is well, I will submit before going to bed.

Many thanks!

Paul


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pault at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-10-17 14:09:01         |2006-10-17 20:20:17
               date|                            |


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

[Bug fortran/29490] internal compiler error: in fold_binary, at fold-const.c:8239

[pault at gcc dot gnu dot org]

------- Comment #3 from pault at gcc dot gnu dot org  2006-10-18 10:08 -------
(In reply to comment #2)
> Thank you, Richard - thanks to your splendid analysis, I was able to go
> straight to the source of the problem:
> trans-types.c(gfc_get_nodesc_array_type):1038 sets GFC_TYPE_ARRAY_LBOUND to
> NULL_TREE if the arrayspec lower is not constant.  It then feeds through to the
> interfacery that cannot cope with this and the ICE ensues.  There is no reason
> why GFC_TYPE_ARRAY_LBOUND cannot be set; being fortran, gfc_index_one_node is
> an OK choice, although zero does OK too.  This is regtesting as I write.  If
> all is well, I will submit before going to bed.

Hah! Famous last words...  There is one g77 testcase that does not like this
approach: g77/19981119-0.f

Jumping past the offending build2 works fine; in fact the interface is not used
at all, so  I am wondering if there is not a cleaner way to do this.  I will
find a fix that I understand today.

Paul

Setting 


-- 


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

[Bug fortran/29490] internal compiler error: in fold_binary, at fold-const.c:8239

[patchapp at dberlin dot org]

------- Comment #4 from patchapp at dberlin dot org  2006-10-19 12:35 -------
Subject: Bug number PR29490

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-10/msg00983.html


-- 


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

[Bug fortran/29490] internal compiler error: in fold_binary, at fold-const.c:8239

[pault at gcc dot gnu dot org]

------- Comment #5 from pault at gcc dot gnu dot org  2006-10-31 06:03 -------
Subject: Bug 29490

Author: pault
Date: Tue Oct 31 06:03:24 2006
New Revision: 118220

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=118220
Log:
2006-10-31  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/29387
        * trans-intrinsic.c (gfc_conv_intrinsic_len): Rearrange to have
        a specific case for EXPR_VARIABLE and, in default, build an ss
        to call gfc_conv_expr_descriptor for array expressions..

        PR fortran/29490
        * trans-expr.c (gfc_set_interface_mapping_bounds): In the case
        that GFC_TYPE_ARRAY_LBOUND is not available, use descriptor
        values for it and GFC_TYPE_ARRAY_UBOUND.

        PR fortran/29641
        * trans-types.c (gfc_get_derived_type): If the derived type
        namespace has neither a parent nor a proc_name, set NULL for
        the search namespace.


2006-10-31  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/29387
        * gfortran.dg/intrinsic_actual_2.f90: New test.

        PR fortran/29490
        * gfortran.dg/actual_array_interface_1.f90: New test.

        PR fortran/29641
        * gfortran.dg/used_types_11.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/actual_array_interface_1.f90
    trunk/gcc/testsuite/gfortran.dg/intrinsic_actual_2.f90
    trunk/gcc/testsuite/gfortran.dg/used_types_11.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/trans-expr.c
    trunk/gcc/fortran/trans-intrinsic.c
    trunk/gcc/fortran/trans-types.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/29490] internal compiler error: in fold_binary, at fold-const.c:8239

[pault at gcc dot gnu dot org]

------- Comment #6 from pault at gcc dot gnu dot org  2006-11-05 08:46 -------
Subject: Bug 29490

Author: pault
Date: Sun Nov  5 08:46:02 2006
New Revision: 118493

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=118493
Log:
2006-11-05  Francois-Xavier Coudert  <fxcoudert@gcc.gnu,org>
            Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/24518
        * trans-intrinsic.c (gfc_conv_intrinsic_mod): Use built_in fmod
        for both MOD and MODULO, if it is available.

2006-11-05  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/29565
        * trans-expr.c (gfc_conv_aliased_arg): For an INTENT(OUT), save
        the declarations from the unused loops by merging the block
        scope for each; this ensures that the temporary is declared.

        PR fortran/29387
        * trans-intrinsic.c (gfc_conv_intrinsic_len): Rearrange to have
        a specific case for EXPR_VARIABLE and, in default, build an ss
        to call gfc_conv_expr_descriptor for array expressions..

        PR fortran/29490
        * trans-expr.c (gfc_set_interface_mapping_bounds): In the case
        that GFC_TYPE_ARRAY_LBOUND is not available, use descriptor
        values for it and GFC_TYPE_ARRAY_UBOUND.

        PR fortran/29641
        * trans-types.c (gfc_get_derived_type): If the derived type
        namespace has neither a parent nor a proc_name, set NULL for
        the search namespace.

2006-11-05  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/29565
        * gfortran.dg/gfortran.dg/aliasing_dummy_3.f90: New test.

        PR fortran/29387
        * gfortran.dg/intrinsic_actual_2.f90: New test.

        PR fortran/29490
        * gfortran.dg/actual_array_interface_1.f90: New test.

        PR fortran/29641
        * gfortran.dg/used_types_11.f90: New test.

Added:
   
branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/actual_array_interface_1.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/aliasing_dummy_3.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/intrinsic_actual_2.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/used_types_11.f90
Modified:
    branches/gcc-4_2-branch/gcc/fortran/ChangeLog
    branches/gcc-4_2-branch/gcc/fortran/f95-lang.c
    branches/gcc-4_2-branch/gcc/fortran/trans-expr.c
    branches/gcc-4_2-branch/gcc/fortran/trans-intrinsic.c
    branches/gcc-4_2-branch/gcc/fortran/trans-types.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/29490] internal compiler error: in fold_binary, at fold-const.c:8239

[pault at gcc dot gnu dot org]

------- Comment #7 from pault at gcc dot gnu dot org  2006-11-05 22:11 -------
Fixed on trunk and 4.2 - soon to be fixed on 4.1

Paul


-- 

pault at gcc dot gnu dot org changed:

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


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

[Bug fortran/29490] internal compiler error: in fold_binary, at fold-const.c:8239

[pault at gcc dot gnu dot org]

------- Comment #8 from pault at gcc dot gnu dot org  2006-11-10 21:52 -------
Subject: Bug 29490

Author: pault
Date: Fri Nov 10 21:52:00 2006
New Revision: 118666

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=118666
Log:
2006-11-10 Paul Thomas <pault@gcc.gnu.org>

        Backport from mainline.

        PR fortran/29371
        * trans-expr.c (gfc_trans_pointer_assignment): Add the expression
        for the assignment of null to the data field to se->pre, rather
        than block.

        PR fortran/29392
        * data.c (create_character_intializer): Copy and simplify
        the expressions for the start and end of a sub-string
        reference.

        PR fortran/29216
        PR fortran/29314
        * gfortran.h : Add EXEC_INIT_ASSIGN.
        * dump-parse-tree.c (gfc_show_code_node): The same.
        * trans-expr.c (gfc_trans_init_assign): New function.
        * trans-stmt.h : Add prototype for gfc_trans_init_assign.
        * trans.c (gfc_trans_code): Implement EXEC_INIT_ASSIGN.
        * resolve.c (resolve_allocate_exp): Replace EXEC_ASSIGN by
        EXEC_INIT_ASSIGN.
        (resolve_code): EXEC_INIT_ASSIGN does not need resolution.
        (apply_default_init): New function.
        (resolve_symbol): Call it for derived types that become
        defined but which do not already have an initialization
        expression..
        * st.c (gfc_free_statement): Include EXEC_INIT_ASSIGN.

        PR fortran/29387
        * trans-intrinsic.c (gfc_conv_intrinsic_len): Rearrange to have
        a specific case for EXPR_VARIABLE and, in default, build an ss
        to call gfc_conv_expr_descriptor for array expressions..

        PR fortran/29490
        * trans-expr.c (gfc_set_interface_mapping_bounds): In the case
        that GFC_TYPE_ARRAY_LBOUND is not available, use descriptor
        values for it and GFC_TYPE_ARRAY_UBOUND.

        PR fortran/29641
        * trans-types.c (gfc_get_derived_type): If the derived type
        namespace has neither a parent nor a proc_name, set NULL for
        the search namespace.

        PR fortran/24518
        * trans-intrinsic.c (gfc_conv_intrinsic_mod): Use built_in fmod
        for both MOD and MODULO, if it is available.

        PR fortran/29565
        * trans-expr.c (gfc_conv_aliased_arg): For an INTENT(OUT), save
        the declarations from the unused loops by merging the block
        scope for each; this ensures that the temporary is declared.

2006-11-10 Paul Thomas <pault@gcc.gnu.org>

        PR fortran/29371
        * gfortran.dg/nullify_3.f90: New test.

        PR fortran/29392
        * gfortran.dg/data_char_3.f90: New test.

        PR fortran/29216
        * gfortran.dg/result_default_init_1.f90: New test.

        PR fortran/29314
        * gfortran.dg/automatic_default_init_1.f90: New test.

        PR fortran/29387
        * trans-intrinsic.c (gfc_conv_intrinsic_len): Rearrange to have
        a specific case for EXPR_VARIABLE and, in default, build an ss
        to call gfc_conv_expr_descriptor for array expressions..

        PR fortran/29490
        * trans-expr.c (gfc_set_interface_mapping_bounds): In the case
        that GFC_TYPE_ARRAY_LBOUND is not available, use descriptor
        values for it and GFC_TYPE_ARRAY_UBOUND.

        PR fortran/29641
        * trans-types.c (gfc_get_derived_type): If the derived type
        namespace has neither a parent nor a proc_name, set NULL for
        the search namespace.

        PR fortran/29565
        * gfortran.dg/gfortran.dg/aliasing_dummy_3.f90: New test.


Added:
   
branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/actual_array_interface_1.f90
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/aliasing_dummy_3.f90
   
branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/automatic_default_init_1.f90
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/data_char_3.f90
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/intrinsic_actual_2.f90
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/nullify_3.f90
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/result_default_init_1.f90
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/used_types_11.f90
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/used_types_12.f90
Modified:
    branches/gcc-4_1-branch/gcc/fortran/ChangeLog
    branches/gcc-4_1-branch/gcc/fortran/data.c
    branches/gcc-4_1-branch/gcc/fortran/dump-parse-tree.c
    branches/gcc-4_1-branch/gcc/fortran/f95-lang.c
    branches/gcc-4_1-branch/gcc/fortran/gfortran.h
    branches/gcc-4_1-branch/gcc/fortran/resolve.c
    branches/gcc-4_1-branch/gcc/fortran/st.c
    branches/gcc-4_1-branch/gcc/fortran/trans-expr.c
    branches/gcc-4_1-branch/gcc/fortran/trans-intrinsic.c
    branches/gcc-4_1-branch/gcc/fortran/trans-stmt.h
    branches/gcc-4_1-branch/gcc/fortran/trans-types.c
    branches/gcc-4_1-branch/gcc/fortran/trans.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/29490] internal compiler error: in fold_binary, at fold-const.c:8239

[chaoyingfu at gcc dot gnu dot org]

------- Comment #9 from chaoyingfu at gcc dot gnu dot org  2006-11-30 01:10 -------
Subject: Bug 29490

Author: chaoyingfu
Date: Thu Nov 30 01:10:16 2006
New Revision: 119349

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=119349
Log:
Merged revisions 118220-118221 via svnmerge from 
svn+ssh://chaoyingfu@sources.redhat.com/svn/gcc/trunk

........
  r118220 | pault | 2006-10-30 22:03:24 -0800 (Mon, 30 Oct 2006) | 29 lines

  2006-10-31  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/29387
        * trans-intrinsic.c (gfc_conv_intrinsic_len): Rearrange to have
        a specific case for EXPR_VARIABLE and, in default, build an ss
        to call gfc_conv_expr_descriptor for array expressions..

        PR fortran/29490
        * trans-expr.c (gfc_set_interface_mapping_bounds): In the case
        that GFC_TYPE_ARRAY_LBOUND is not available, use descriptor
        values for it and GFC_TYPE_ARRAY_UBOUND.

        PR fortran/29641
        * trans-types.c (gfc_get_derived_type): If the derived type
        namespace has neither a parent nor a proc_name, set NULL for
        the search namespace.


  2006-10-31  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/29387
        * gfortran.dg/intrinsic_actual_2.f90: New test.

        PR fortran/29490
        * gfortran.dg/actual_array_interface_1.f90: New test.

        PR fortran/29641
        * gfortran.dg/used_types_11.f90: New test.
........
  r118221 | rguenth | 2006-10-31 01:08:11 -0800 (Tue, 31 Oct 2006) | 12 lines

  2006-10-31  Richard Guenther  <rguenther@suse.de>

        * config/i386/i386.md (asindf2, asinsf2, asinxf2, acosdf2,
        acossf2, acosxf2, log1psf2, log1pdf2, log1pxf2, ilogbsi2,
        expsf2, expdf2, expxf2, exp10sf2, exp10df2, exp10xf2,
        exp2sf2, exp2df2, exp2xf2, expm1df2, expm1sf2, expm1xf2,
        ldexpdf3, ldexpsf3, ldexpxf3, rintxf2, rintdf2, rintsf2,
        lround<mode>di2, lround<mode>si2, floorxf2, floordf2, floorsf2,
        lfloor<mode>di2, lfloor<mode>si2, ceilxf2, ceildf2, ceilsf2,
        btruncxf2, btruncdf2, btruncsf2): Conditionalize expansion on
        !optimize_size.
........

Modified:
    branches/fixed-point/   (props changed)
    branches/fixed-point/gcc/ChangeLog
    branches/fixed-point/gcc/config/i386/i386.md
    branches/fixed-point/gcc/fortran/ChangeLog
    branches/fixed-point/gcc/fortran/trans-expr.c
    branches/fixed-point/gcc/fortran/trans-intrinsic.c
    branches/fixed-point/gcc/fortran/trans-types.c
    branches/fixed-point/gcc/testsuite/ChangeLog

Propchange: branches/fixed-point/
            ('svnmerge-integrated' modified)


-- 


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