[Bug tree-optimization/45073] New: [4.6 Regression] gfortran.dg/assumed_charlen_function_3.f90 ICEs with -fprofile-generate

[Bug tree-optimization/45073] New: [4.6 Regression] gfortran.dg/assumed_charlen_function_3.f90 ICEs with -fprofile-generate

[zsojka at seznam dot cz]

Command line:
$ gfortran -O -finline-small-functions -fprofile-generate
assumed_charlen_function_3.f90
or
$ gfortran -O2 -fprofile-generate assumed_charlen_function_3.f90

Valgrind output:
$ valgrind -q --trace-children=yes
/mnt/svn/gcc-trunk/binary-162456-lto-fortran-checking-yes-rtl-df/bin/gfortran
-O2 -fprofile-generate assumed_charlen_function_3.f90
==893== Invalid read of size 4
==893==    at 0x10628D0: htab_find_with_hash (hashtab.c:272)
==893==    by 0x927A7E: referenced_var_check_and_insert (tree-dfa.c:512)
==893==    by 0x928276: add_referenced_var (tree-dfa.c:583)
==893==    by 0x9283AE: find_new_referenced_vars_1 (tree-dfa.c:677)
==893==    by 0xA79096: walk_tree_1 (tree.c:10166)
==893==    by 0xA791CA: walk_tree_1 (tree.c:10415)
==893==    by 0x764D74: walk_gimple_op (gimple.c:1358)
==893==    by 0xF7F95A: gimplify_and_update_call_from_tree (gimple-fold.c:856)
==893==    by 0xF813E8: fold_gimple_call (gimple-fold.c:1425)
==893==    by 0xF81B60: fold_stmt_1 (gimple-fold.c:1504)
==893==    by 0xB3722E: fold_marked_statements (tree-inline.c:4086)
==893==    by 0xB3E324: optimize_inline_calls (tree-inline.c:4220)
==893==  Address 0x68 is not stack'd, malloc'd or (recently) free'd
==893== 
assumed_charlen_function_3.f90: In function 'MAIN__':
assumed_charlen_function_3.f90:30:0: internal compiler error: Segmentation
fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.6 Regression]
                    gfortran.dg/assumed_charlen_function_3.f90 ICEs with -
                    fprofile-generate
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu


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

[Bug tree-optimization/45073] [4.6 Regression] gfortran.dg/assumed_charlen_function_3.f90 ICEs with -fprofile-generate

[dominiq at lps dot ens dot fr]

------- Comment #1 from dominiq at lps dot ens dot fr  2010-07-26 07:27 -------
Confirmed. From the builds I have at hand, it appeared between revisions 158921
(branch fortran-dev)
and 162490 (trunk).


-- 


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

[Bug tree-optimization/45073] [4.6 Regression] gfortran.dg/assumed_charlen_function_3.f90 ICEs with -fprofile-generate

[zsojka at seznam dot cz]

------- Comment #2 from zsojka at seznam dot cz  2010-07-26 07:33 -------
Thank you for the answer.

gfortran.dg/char_pointer_func.f90 and gfortran.dg/function_charlen_2.f90 fail
the same way, with similiar backtrace

$ gfortran -O2 -fprofile-generate char_pointer_func.f90 
char_pointer_func.f90: In function 'char_pointer_func':
char_pointer_func.f90:27:0: internal compiler error: Segmentation fault

$ gfortran -O2 -fprofile-generate function_charlen_2.f90 
function_charlen_2.f90: In function 'test':
function_charlen_2.f90:18:0: internal compiler error: Segmentation fault

Revisions tested:
r162456 - crash
r161659 - crash
r161170 - OK


-- 


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

[Bug tree-optimization/45073] [4.6 Regression] gfortran.dg/assumed_charlen_function_3.f90 ICEs with -fprofile-generate

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.0


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

[Bug tree-optimization/45073] [4.6 Regression] gfortran.dg/assumed_charlen_function_3.f90 ICEs with -fprofile-generate

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2010-07-26 11:34 -------
Introduced by r161655 aka MEM-REF merge.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-07-26 11:34:34
               date|                            |


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

[Bug tree-optimization/45073] [4.6 Regression] gfortran.dg/assumed_charlen_function_3.f90 ICEs with -fprofile-generate

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2010-07-26 13:26 -------
I have a patch.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2010-07-26 11:34:34         |2010-07-26 13:26:43
               date|                            |


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

[Bug tree-optimization/45073] [4.6 Regression] gfortran.dg/assumed_charlen_function_3.f90 ICEs with -fprofile-generate

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2010-07-26 14:49 -------
Subject: Bug 45073

Author: rguenth
Date: Mon Jul 26 14:48:43 2010
New Revision: 162537

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162537
Log:
2010-07-26  Richard Guenther  <rguenther@suse.de>

        PR middle-end/45073
        * gimple-fold.c (gimplify_and_update_call_from_tree): Conditionalize
        SSA updating on being in SSA form.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-fold.c


-- 


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

[Bug tree-optimization/45073] [4.6 Regression] gfortran.dg/assumed_charlen_function_3.f90 ICEs with -fprofile-generate

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2010-07-26 14:49 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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