[Bug fortran/31257] New: ICE in gfc_conv_expr_descriptor

[Bug fortran/31257] New: ICE in gfc_conv_expr_descriptor

[tkoenig at gcc dot gnu dot org]

The code comes from http://www.star.le.ac.uk/~cgp/fortran.html
(by Clive Page):

$ cat fcn.f90
Character (len=20) Function Up (string)
Character(len=*) string
Up =                                                                  &
   transfer(merge(achar(iachar(transfer(string,"x",len(string)))-     &
   (ichar('a')-ichar('A')) ),                                         &
   transfer(string,"x",len(string)) ,                                 &
   transfer(string,"x",len(string)) >= "a" .and.                      &
   transfer(string,"x",len(string)) <= "z"), repeat("x", len(string)))
return
end function Up
$ gfortran fcn.f90
fcn.f90: In function 'up':
fcn.f90:1: internal compiler error: in gfc_conv_expr_descriptor, at
fortran/trans-array.c:4472
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: ICE in gfc_conv_expr_descriptor
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tkoenig at gcc dot gnu dot org


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

[Bug fortran/31257] ICE in gfc_conv_expr_descriptor

[dfranke at gcc dot gnu dot org]

------- Comment #1 from dfranke at gcc dot gnu dot org  2007-04-02 20:27 -------
Adding this to TRANSFER meta-bug, as frame 3 in the backtrace indicates a
relation. No confirmation as I can not tell whether it is a dupe or not.

(gdb) bt
#0  fancy_abort (file=0x86e4fec "../../../gcc/gcc/fortran/trans-array.c",
    line=4472, function=0x86e54c7 "gfc_conv_expr_descriptor")
    at ../../../gcc/gcc/diagnostic.c:656
#1  0x080baf5c in gfc_conv_expr_descriptor (se=0xbfa27ad4, expr=0x8894850,
    ss=0x8895b80) at ../../../gcc/gcc/fortran/trans-array.c:4472
#2  0x080bc19f in gfc_conv_array_parameter (se=0xbfa27ad4, expr=0x8894850,
    ss=0x8895b80, g77=1) at ../../../gcc/gcc/fortran/trans-array.c:4786
#3  0x080d68fa in gfc_conv_intrinsic_transfer (se=0xbfa281ec, expr=0x8894770)
    at ../../../gcc/gcc/fortran/trans-intrinsic.c:3111
#4  0x080cc3c2 in gfc_conv_function_expr (se=0xbfa281ec, expr=0x8894850)
    at ../../../gcc/gcc/fortran/trans-expr.c:2689
#5  0x080cc8e9 in gfc_conv_expr (se=0xbfa281ec, expr=0x8894770)
    at ../../../gcc/gcc/fortran/trans-expr.c:3129
#6  0x080ce928 in gfc_trans_assignment (expr1=0x8894270, expr2=0x8894770,
    init_flag=0 '\0') at ../../../gcc/gcc/fortran/trans-expr.c:3823
#7  0x080cf131 in gfc_trans_assign (code=0x8895af8)
    at ../../../gcc/gcc/fortran/trans-expr.c:3985
#8  0x080b07dd in gfc_trans_code (code=0x8895af8)
    at ../../../gcc/gcc/fortran/trans.c:473
#9  0x080c7d06 in gfc_generate_function_code (ns=0x885a1e8)
    at ../../../gcc/gcc/fortran/trans-decl.c:3217
#10 0x0808c2b4 in gfc_parse_file () at ../../../gcc/gcc/fortran/parse.c:3261
#11 0x080ab660 in gfc_be_parse_file (set_yydebug=0)
    at ../../../gcc/gcc/fortran/f95-lang.c:305
#12 0x0830042d in toplev_main (argc=4, argv=0xbfa284c4)
    at ../../../gcc/gcc/toplev.c:1050
#13 0x080ed162 in main (argc=2, argv=0x6) at ../../../gcc/gcc/main.c:35


-- 

dfranke at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |31237
              nThis|                            |


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

[Bug fortran/31257] ICE in gfc_conv_expr_descriptor

[brooks at gcc dot gnu dot org]

------- Comment #2 from brooks at gcc dot gnu dot org  2007-04-06 23:12 -------
This looks related to 31218, so I'm adding a dependency even though I'm not
certain it's the same.  Also confirming, because it's definitely a bug even if
it's a duplicate one.


-- 

brooks at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |31218
              nThis|                            |
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-04-06 23:12:54
               date|                            |


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

[Bug fortran/31257] ICE in gfc_conv_expr_descriptor

[pault at gcc dot gnu dot org]

------- Comment #3 from pault at gcc dot gnu dot org  2007-04-07 08:50 -------
(In reply to comment #2)
> This looks related to 31218, so I'm adding a dependency even though I'm not
> certain it's the same.  Also confirming, because it's definitely a bug even if
> it's a duplicate one.
> 
It might be - the problem is specifically due to achar not producing a
character length. If you separate the expression for the first argument of the
outer transfer into a character*(1) :: tmp(20), the code works because the
character size of tmp is used.  Hanging a diagnostic just before the
gcc_assert, confirms that this expression does not have a ts.cl. Strangely,
there is no gfc_resolve_achar function to do this.

I can feel a fix coming on...:)

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|2007-04-06 23:12:54         |2007-04-07 08:50:19
               date|                            |


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

[Bug fortran/31257] ICE in gfc_conv_expr_descriptor

[patchapp at dberlin dot org]

------- Comment #4 from patchapp at dberlin dot org  2007-04-07 15:45 -------
Subject: Bug number PR31257

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/2007-04/msg00321.html


-- 


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

[Bug fortran/31257] ICE in gfc_conv_expr_descriptor

[pault at gcc dot gnu dot org]

------- Comment #5 from pault at gcc dot gnu dot org  2007-04-07 21:29 -------
Subject: Bug 31257

Author: pault
Date: Sat Apr  7 21:29:13 2007
New Revision: 123646

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123646
Log:
2007-04-07  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/31257
        * intrinsic.c (add_functions): Add ref. to gfc_resolve_achar.
        * intrinsic.h : Add prototype for gfc_resolve_achar.
        * iresolve.c (gfc_resolve_achar): New function.

2007-04-07  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/31257
        * gfortran.dg/achar_4.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/achar_4.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/intrinsic.c
    trunk/gcc/fortran/intrinsic.h
    trunk/gcc/fortran/iresolve.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/31257] ICE in gfc_conv_expr_descriptor

[pault at gcc dot gnu dot org]

------- Comment #6 from pault at gcc dot gnu dot org  2007-04-07 21:34 -------
Fixed on trumk

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=31257