[Bug fortran/62298] New: Internal Compiler Error in fold_convert_loc

[Bug fortran/62298] New: Internal Compiler Error in fold_convert_loc

[fmartinez at gmv dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62298

            Bug ID: 62298
           Summary: Internal Compiler Error in fold_convert_loc
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: fmartinez at gmv dot com

m_string.f90:737:0: internal compiler error: in fold_convert_loc, at
fold-const.c:2074
   res = this
 ^
0x53d898 ???
    ../sysdeps/x86_64/elf/start.S:113
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

The ICE also occurs in 4.10

[Bug fortran/62298] Internal Compiler Error in fold_convert_loc

[fmartinez at gmv dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62298

--- Comment #1 from Fran Martinez Fadrique <fmartinez at gmv dot com> ---
Created attachment 33412
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33412&action=edit
Source causing the ICE. No dependencies.

[Bug fortran/62298] Internal Compiler Error in fold_convert_loc

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62298

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
*** Bug 62297 has been marked as a duplicate of this bug. ***

[Bug fortran/62298] Internal Compiler Error in fold_convert_loc

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62298

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-08-29
     Ever confirmed|0                           |1

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Confirmed.

[Bug fortran/62298] Internal Compiler Error in fold_convert_loc

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62298

--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
The ICE occurs in the functions string_lowercase, string_uppercase, and
string_replace, and it is the same as for the test in comment 5 of pr49802.

For the record, the attached test is a variant of the one in pr62176.

[Bug fortran/62298] Internal Compiler Error in fold_convert_loc

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62298

--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Workaround: replace

   res = this

with

   res%buffer = this%buffer
   res%length = this%len()
...                            other needed components

With these changes the code compiles, but I cannot guarantee that it works!

[Bug fortran/62298] Internal Compiler Error in fold_convert_loc

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62298

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |janus at gcc dot gnu.org

--- Comment #6 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Apparently the ICE has been fixed between revisions r216305 (2014-10-16) and
r216470 (2014-10-20), likely r216427 for pr63553.

Note that the code is rejected with the patch at
https://gcc.gnu.org/ml/fortran/2014-12/msg00098.html

pr62298.f90:1151:46:

 pure subroutine string_assign_from_array( left, right )
                                              1
Error: INTENT(OUT) argument 'left' of pure procedure 'string_assign_from_array'
at (1) may not be polymorphic
pr62298.f90:1129:50:

 elemental subroutine string_assign_from_char( left, right )
                                                  1
Error: INTENT(OUT) argument 'left' of pure procedure 'string_assign_from_char'
at (1) may not be polymorphic

[Bug fortran/62298] Internal Compiler Error in fold_convert_loc

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62298

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

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

--- Comment #7 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Note that the code is rejected with the patch at
> https://gcc.gnu.org/ml/fortran/2014-12/msg00098.html
> ...

The patch has been committed as r219085.

A version of the original code modified by Janus Weil which compiles without
error can be found at

https://gcc.gnu.org/ml/fortran/2014-12/msg00107.html

See the thread for more details. Closing as FIXED.