[Bug fortran/33408] New: internal compiler error: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[Bug fortran/33408] New: internal compiler error: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[dir at lanl dot gov]

I get a crash when I try to compile this program with the given options. The
problem seems to related to the size of the program - I tried pulling out many
different sections and it no longer crashed -

[dranta:~/junk] dir% gfortran -fcray-pointer -fno-automatic -g -O0 -c out.f
outt.F:3155.19:

      common/aux14/                                                     
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F:4193.19:

      common/aux14/stfv(lnv),fni(lnv),fxi(lnv),fyi(lnv),fzi(lnv),       
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F:4502.19:

      common/aux14/pxs(lnv),pys(lnv),pzs(lnv),pxt(lnv),pyt(lnv),        
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F:9616.19:

      common/aux14/ic(9085),icount                                      
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F: In function 'autobug1':
outt.F:22832: internal compiler error: tree check: expected type_decl, have  in
debug_flush_symbol_queue, at final.c:3986
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[dranta:~/junk] dir% gfortran --v
Using built-in specs.
Target: powerpc-apple-darwin8.10.0
Configured with: ../gcc/configure --disable-bootstrap --enable-multilib
--prefix=/usr/local/gfortran --enable-languages=c,fortran
Thread model: posix
gcc version 4.3.0 20070912 (experimental) (GCC)


-- 
           Summary: internal compiler error: tree check: expected type_decl,
                    have  in debug_flush_symbol_queue, at final.c:3986
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dir at lanl dot gov
  GCC host triplet: powerpc-apple-darwin8.10.0


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

[Bug fortran/33408] internal compiler error: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[dir at lanl dot gov]

------- Comment #1 from dir at lanl dot gov  2007-09-12 15:55 -------
Created an attachment (id=14195)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14195&action=view)
The fortran source


-- 


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[burnus at gcc dot gnu dot org]

------- Comment #2 from burnus at gcc dot gnu dot org  2007-09-12 16:52 -------
I cannot reproduce this on x86-64 (Rev. 128440 of today).


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   GCC host triplet|powerpc-apple-darwin8.10.0  |
 GCC target triplet|                            |powerpc-apple-darwin8.10.0
           Keywords|                            |ice-on-valid-code
            Summary|internal compiler error:    |ICE: tree check: expected
                   |tree check: expected        |type_decl, have  in
                   |type_decl, have  in         |debug_flush_symbol_queue, at
                   |debug_flush_symbol_queue, at|final.c:3986
                   |final.c:3986                |


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[dir at lanl dot gov]

------- Comment #3 from dir at lanl dot gov  2007-09-12 19:17 -------
It compiles on the Intel Macintosh with no problem.


-- 


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[fxcoudert at gcc dot gnu dot org]

------- Comment #4 from fxcoudert at gcc dot gnu dot org  2007-09-13 10:33 -------
(In reply to comment #2)
> I cannot reproduce this on x86-64 (Rev. 128440 of today).

Hum, the only compiler I have right now is a month old (20070814) but I see a
different segfault on x86_64-linux:

Program received signal SIGSEGV, Segmentation fault.
create_function_arglist (sym=<value optimized out>)
    at ../../../trunk3/gcc/fortran/trans-decl.c:1430
warning: Source file is more recent than executable.
1430          char name[GFC_MAX_SYMBOL_LEN + 2];
(gdb) bt
#0  create_function_arglist (sym=<value optimized out>)
    at ../../../trunk3/gcc/fortran/trans-decl.c:1430
#1  0x000000000048bc15 in gfc_create_function_decl (ns=0x1382770)
    at ../../../trunk3/gcc/fortran/trans-decl.c:1800
#2  0x000000000048cc90 in gfc_generate_function_code (ns=0x13870e0)
    at ../../../trunk3/gcc/fortran/trans-decl.c:3140
#3  0x000000000044c654 in gfc_parse_file ()
    at ../../../trunk3/gcc/fortran/parse.c:3308
#4  0x000000000047170e in gfc_be_parse_file (set_yydebug=<value optimized out>)
    at ../../../trunk3/gcc/fortran/f95-lang.c:300
#5  0x00000000006b70e4 in toplev_main (argc=<value optimized out>,
    argv=<value optimized out>) at ../../../trunk3/gcc/toplev.c:1043
#6  0x00002ae5e69164ca in __libc_start_main () from /lib/libc.so.6
#7  0x0000000000402a4a in _start () at ../sysdeps/x86_64/elf/start.S:113


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 GCC target triplet|powerpc-apple-darwin8.10.0  |
      Known to fail|                            |4.3.0


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[fxcoudert at gcc dot gnu dot org]

------- Comment #5 from fxcoudert at gcc dot gnu dot org  2007-09-17 09:33 -------
On x86_64-linux, when f951 (both with -m32 and -m64) is run under valgrind, I
get a short series of invalid read beginning with:

==1628== Invalid read of size 1
==1628==    at 0xAEA1F0: htab_hash_string (hashtab.c:812)
==1628==    by 0x5335DD: lookup_filename (dwarf2out.c:14042)
==1628==    by 0x534D1C: dwarf2out_source_line (dwarf2out.c:14159)
==1628==    by 0x534F41: dwarf2out_begin_prologue (dwarf2out.c:2626)
==1628==    by 0x58F6BF: final_start_function (final.c:1443)
==1628==    by 0x591E36: rest_of_handle_final (final.c:4048)
==1628==    by 0x64E260: execute_one_pass (passes.c:1115)
==1628==    by 0x64E43F: execute_pass_list (passes.c:1168)
==1628==    by 0x64E454: execute_pass_list (passes.c:1169)
==1628==    by 0x64E454: execute_pass_list (passes.c:1169)
==1628==    by 0x7286E7: tree_rest_of_compilation (tree-optimize.c:404)
==1628==    by 0x8983E3: cgraph_expand_function (cgraphunit.c:1070)
==1628==  Address 0x4DC7820 is 0 bytes inside a block of size 4 free'd
==1628==    at 0x4A1B46D: free (vg_replace_malloc.c:233)
==1628==    by 0x461166: preprocessor_line (scanner.c:1304)
==1628==    by 0x462084: load_file (scanner.c:1496)
==1628==    by 0x462314: gfc_new_file (scanner.c:1556)
==1628==    by 0x477922: gfc_init (f95-lang.c:288)
==1628==    by 0x6CEC89: toplev_main (toplev.c:2124)
==1628==    by 0x4B3B4C9: (below main) (in /usr/lib/debug/libc-2.3.6.so)
==1628==


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-09-17 09:33:47
               date|                            |


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[burnus at gcc dot gnu dot org]

------- Comment #6 from burnus at gcc dot gnu dot org  2007-09-17 15:26 -------
> On x86_64-linux, when f951 (both with -m32 and -m64) is run under valgrind, I
> get a short series of invalid read beginning with:
FX, which version of gfortran are you using? I cannot reproduce it (with
valgrind) under x86_64-openSUSE-10.3b3 with today's gfortran 4.3 (Rev. 128538)
- neither for -m32 nor -m64.


-- 


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[fxcoudert at gcc dot gnu dot org]

------- Comment #7 from fxcoudert at gcc dot gnu dot org  2007-09-18 21:03 -------
(In reply to comment #6)
> FX, which version of gfortran are you using? I cannot reproduce it (with
> valgrind) under x86_64-openSUSE-10.3b3 with today's gfortran 4.3 (Rev. 128538)
> - neither for -m32 nor -m64.

Hum, I have updated my tree since, and I'm not seeing the failure any more.
Dale, if you ever have time to try and reconfirm this on a newer revision,
maybe it's gone. Apart from that, it's gonna be rather hard to debug :(


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fxcoudert at gcc dot gnu dot
                   |                            |org


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[dir at lanl dot gov]

------- Comment #8 from dir at lanl dot gov  2007-09-19 12:47 -------
Still Crashing on the 20070917 version -

[dranta:~/fe/dyna3d96/source] dir% gfortran -fcray-pointer -fno-automatic -g
-O0 -c -DSGI -DWKSTN -DUNIX -DVECLEN=32 -DDP out.f
outt.F:3155.19:

      common/aux14/                                                     
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F:4193.19:

      common/aux14/stfv(lnv),fni(lnv),fxi(lnv),fyi(lnv),fzi(lnv),       
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F:4502.19:

      common/aux14/pxs(lnv),pys(lnv),pzs(lnv),pxt(lnv),pyt(lnv),        
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F:9616.19:

      common/aux14/ic(9085),icount                                      
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F: In function 'autobug1':
outt.F:22832: internal compiler error: tree check: expected type_decl, have  in
debug_flush_symbol_queue, at final.c:3986
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[dranta:~/fe/dyna3d96/source] dir% gfortran --v
Using built-in specs.
Target: powerpc-apple-darwin8.10.0
Configured with: ../gcc/configure --disable-bootstrap --enable-multilib
--prefix=/usr/local/gfortran --enable-languages=c,fortran
Thread model: posix
gcc version 4.3.0 20070917 (experimental) (GCC) 


-- 


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[dir at lanl dot gov]

------- Comment #9 from dir at lanl dot gov  2007-09-19 13:39 -------
It works Ok on my version of linux, but it still is crashing on today's
Macintosh PowerPC version (20070919) -

[dranta:~/fe/dyna3d96/source] dir% gfortran -g -c -O0 -fcray-pointer
-fno-automatic out.f
outt.F:3155.19:

      common/aux14/                                                     
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F:4193.19:

      common/aux14/stfv(lnv),fni(lnv),fxi(lnv),fyi(lnv),fzi(lnv),       
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F:4502.19:

      common/aux14/pxs(lnv),pys(lnv),pzs(lnv),pxt(lnv),pyt(lnv),        
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F:9616.19:

      common/aux14/ic(9085),icount                                      
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
outt.F: In function 'autobug1':
outt.F:22832: internal compiler error: tree check: expected type_decl, have  in
debug_flush_symbol_queue, at final.c:3986
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[dranta:~/fe/dyna3d96/source] dir% gfortran --v
Using built-in specs.
Target: powerpc-apple-darwin8.10.0
Configured with: ../gcc/configure --disable-bootstrap --enable-multilib
--prefix=/usr/local/gfortran --enable-languages=c,fortran
Thread model: posix
gcc version 4.3.0 20070919 (experimental) (GCC) 


-- 


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[dir at lanl dot gov]

------- Comment #10 from dir at lanl dot gov  2007-09-19 13:55 -------
It looks like it is now only a Macintosh PowerPC version problem. It also works
Ok on the Intel Macintosh and on the MSYS versions of gfortran.


-- 


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[fxcoudert at gcc dot gnu dot org]

------- Comment #11 from fxcoudert at gcc dot gnu dot org  2007-10-01 11:19 -------
(In reply to comment #10)
> It looks like it is now only a Macintosh PowerPC version problem. It also
> works Ok on the Intel Macintosh and on the MSYS versions of gfortran.

I can confirm that bug on ppc-darwin. It disappears when you change -g into
-gdwarf-2, making it a stabs-related issue. This is further proved by running
under valgrind on x86_64-linux with -gstabs, where I can see invalid reads,
even for the very small testcase:

$ cat out.f
# 1 "outt.F"
      end
$ valgrind ./libexec/gcc/x86_64-unknown-linux-gnu/4.3.0/f951 out.f -quiet
-gstabs
==501== Memcheck, a memory error detector.
==501== Copyright (C) 2002-2006, and GNU GPL'd, by Julian Seward et al.
==501== Using LibVEX rev 1658, a library for dynamic binary translation.
==501== Copyright (C) 2004-2006, and GNU GPL'd, by OpenWorks LLP.
==501== Using valgrind-3.2.1-Debian, a dynamic binary instrumentation
framework.
==501== Copyright (C) 2000-2006, and GNU GPL'd, by Julian Seward et al.
==501== For more details, rerun with: -v
==501==
==501== Invalid read of size 1
==501==    at 0x4A1C7D1: strcmp (mc_replace_strmem.c:341)
==501==    by 0x50E1F1: dbxout_source_line (dbxout.c:1231)
==501==    by 0x50E5C4: dbxout_begin_prologue (dbxout.c:1258)
==501==    by 0x59174F: final_start_function (final.c:1444)
==501==    by 0x593EA6: rest_of_handle_final (final.c:4049)
==501==    by 0x6516C0: execute_one_pass (passes.c:1116)
==501==    by 0x65189F: execute_pass_list (passes.c:1169)
==501==    by 0x6518B4: execute_pass_list (passes.c:1170)
==501==    by 0x6518B4: execute_pass_list (passes.c:1170)
==501==    by 0x72BEC7: tree_rest_of_compilation (tree-optimize.c:404)
==501==    by 0x8A1973: cgraph_expand_function (cgraphunit.c:1070)
==501==    by 0x8A2C45: cgraph_assemble_pending_functions (cgraphunit.c:431)
[... rest of output snipped ...]

Now, there are good news: my patch for PR33502 (the updated one, attached to
the PR), which reworks the way the front-end treats preprocessor lines and
emits debug info, apparently fixes this simple testcase. So, there's a good
chance that this PR will be fixed when that patch gets committed. Wait and see!
(Or apply the patch and test for yourself, Dale, if you have the resources to
do so).


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |fxcoudert at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-09-17 09:33:47         |2007-10-01 11:19:13
               date|                            |


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[fxcoudert at gcc dot gnu dot org]

------- Comment #12 from fxcoudert at gcc dot gnu dot org  2007-11-03 17:21 -------
Unassigning myself. I've manage to trim it down a bit, but not that much.

% gfortran foo.f -fcray-pointer -fno-automatic -g -O0 -c
foo.f:3598.19:

      common/aux14/stfv(lnv),fni(lnv),fxi(lnv),fyi(lnv),fzi(lnv),       
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
foo.f:3851.19:

      common/aux14/pxs(lnv),pys(lnv),pzs(lnv),pxt(lnv),pyt(lnv),        
                  1
Warning: Named COMMON block 'aux14' at (1) shall be of the same size
foo.f: In function 'autobug1':
foo.f:18085: internal compiler error: tree check: expected type_decl, have  in
debug_flush_symbol_queue, at final.c:4040


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|fxcoudert at gcc dot gnu dot|unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW
  GCC build triplet|                            |powerpc-apple-darwin8.10.0
   GCC host triplet|                            |powerpc-apple-darwin8
 GCC target triplet|                            |powerpc-apple-darwin8


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[fxcoudert at gcc dot gnu dot org]

------- Comment #13 from fxcoudert at gcc dot gnu dot org  2007-11-03 17:21 -------
Created an attachment (id=14478)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14478&action=view)
Trimmed source


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #14195|0                           |1
        is obsolete|                            |


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[fxcoudert at gcc dot gnu dot org]

------- Comment #14 from fxcoudert at gcc dot gnu dot org  2007-11-04 11:43 -------
Yet another comment: this only happens with stabs and -m64 on ppc-darwin8, and
the combination of stabs and -m64 is known as widely broken there (see
http://gcc.gnu.org/ml/gcc-testresults/2007-11/msg00142.html for the results of
the Fortran testsuite).


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[fxcoudert at gcc dot gnu dot org]

------- Comment #15 from fxcoudert at gcc dot gnu dot org  2008-02-24 12:43 -------
I cannot reproduce it with mainline on powerpc-apple-darwin9.2.0: I tried the
original testcase and the trimmed one, and varied options (-m32 and -m64,
-gstabs and -gdwarf-2), but can't get it to fail anymore.


-- 


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[dir at lanl dot gov]

------- Comment #16 from dir at lanl dot gov  2008-02-25 14:12 -------
   It does not crash any more with my latest version -

[dranta:~/fe/dyna3d96/source] dir% gfortran --v
Using built-in specs.
Target: powerpc-apple-darwin9.1.0
Configured with: ../gcc/configure --disable-bootstrap --enable-multilib
--prefix=/usr/local/gfortran --enable-languages=c,fortran
Thread model: posix
gcc version 4.3.0 20080208 (experimental) (GCC) 


-- 


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

[Bug fortran/33408] ICE: tree check: expected type_decl, have in debug_flush_symbol_queue, at final.c:3986

[dfranke at gcc dot gnu dot org]

------- Comment #17 from dfranke at gcc dot gnu dot org  2009-01-03 21:43 -------
Closing as fixed as it wasn't reproduced since 10 months.


-- 

dfranke at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dfranke at gcc dot gnu dot
                   |                            |org
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.4.0


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