[Bug fortran/50259] New: Internal Error at (1): gfc_resolve

public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed

* [Bug fortran/50259] New: Internal Error at (1): gfc_resolve_expr(): Bad expression type
@ 2011-09-01  6:55 Joost.VandeVondele at pci dot uzh.ch
  2011-09-01  7:57 ` [Bug fortran/50259] " burnus at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: Joost.VandeVondele at pci dot uzh.ch @ 2011-09-01  6:55 UTC (permalink / raw)
  To: gcc-bugs

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

             Bug #: 50259
           Summary: Internal Error at (1): gfc_resolve_expr(): Bad
                    expression type
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: Joost.VandeVondele@pci.uzh.ch


The following invalid code (note the continuation)

MODULE cp_parser_types
  TYPE cp_parser_type
     CHARACTER(LEN=1)                               :: comment_character(2),&
     CHARACTER (len=default_path_length), DIMENSION(:,:), POINTER ::
initial_variables
  END TYPE cp_parser_type
END MODULE cp_parser_types

yields:

Internal Error at (1):
gfc_resolve_expr(): Bad expression type


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug fortran/50259] Internal Error at (1): gfc_resolve_expr(): Bad expression type
  2011-09-01  6:55 [Bug fortran/50259] New: Internal Error at (1): gfc_resolve_expr(): Bad expression type Joost.VandeVondele at pci dot uzh.ch
@ 2011-09-01  7:57 ` burnus at gcc dot gnu.org
  2011-09-01 16:04 ` Joost.VandeVondele at pci dot uzh.ch
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: burnus at gcc dot gnu.org @ 2011-09-01  7:57 UTC (permalink / raw)
  To: gcc-bugs

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

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

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-09-01 07:57:03 UTC ---
With all of my GCC version (4.1, 4.3, 4.4, 4.5, 4.6 and 4.7), I get the
following error:

       CHARACTER (len=default_path_length), DIMENSION(:,:), POINTER ::
                    1
  Error: Expected another dimension in array declaration at (1)


This is followed by some more errors.


In GCC 4.4, 4.5, 4.6, I get as last error the mentioned ICE:
  Internal Error at (1):
  gfc_is_constant_expr(): Unknown expression type


While with GCC 4.1 and 4.3 but also with GCC 4.7 (2011-08-31, Rev. 178351) I do
not get an ICE.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug fortran/50259] Internal Error at (1): gfc_resolve_expr(): Bad expression type
  2011-09-01  6:55 [Bug fortran/50259] New: Internal Error at (1): gfc_resolve_expr(): Bad expression type Joost.VandeVondele at pci dot uzh.ch
  2011-09-01  7:57 ` [Bug fortran/50259] " burnus at gcc dot gnu.org
@ 2011-09-01 16:04 ` Joost.VandeVondele at pci dot uzh.ch
  2011-09-01 16:15 ` Joost.VandeVondele at pci dot uzh.ch
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: Joost.VandeVondele at pci dot uzh.ch @ 2011-09-01 16:04 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #2 from Joost VandeVondele <Joost.VandeVondele at pci dot uzh.ch> 2011-09-01 16:03:29 UTC ---
(In reply to comment #1)

I get with 4.7.0 ([trunk revision 178394])

Internal Error at (1):
gfc_is_constant_expr(): Unknown expression type

(strangely, I can't reproduce the exact error message I posted earlier )


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug fortran/50259] Internal Error at (1): gfc_resolve_expr(): Bad expression type
  2011-09-01  6:55 [Bug fortran/50259] New: Internal Error at (1): gfc_resolve_expr(): Bad expression type Joost.VandeVondele at pci dot uzh.ch
  2011-09-01  7:57 ` [Bug fortran/50259] " burnus at gcc dot gnu.org
  2011-09-01 16:04 ` Joost.VandeVondele at pci dot uzh.ch
@ 2011-09-01 16:15 ` Joost.VandeVondele at pci dot uzh.ch
  2011-09-01 16:20 ` burnus at gcc dot gnu.org
  2013-02-27 18:38 ` dominiq at lps dot ens.fr
  4 siblings, 0 replies; 6+ messages in thread
From: Joost.VandeVondele at pci dot uzh.ch @ 2011-09-01 16:15 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #3 from Joost VandeVondele <Joost.VandeVondele at pci dot uzh.ch> 2011-09-01 16:15:07 UTC ---
(In reply to comment #2)
> (strangely, I can't reproduce the exact error message I posted earlier )

actually could be due to this:


==30794== Invalid read of size 8
==30794==    at 0x577F6A: resolve_fl_derived0(gfc_symbol*) (resolve.c:11575)
==30794==    by 0x580EC2: resolve_fl_derived(gfc_symbol*) (resolve.c:11709)
==30794==    by 0x575D9E: resolve_symbol(gfc_symbol*) (resolve.c:11981)
==30794==    by 0x593366: traverse_ns(gfc_symtree*, void (*)(gfc_symbol*))
(symbol.c:3344)
==30794==    by 0x598AFB: gfc_traverse_ns(gfc_namespace*, void
(*)(gfc_symbol*)) (symbol.c:3360)
==30794==    by 0x5800BB: resolve_types(gfc_namespace*) (resolve.c:13524)
==30794==    by 0x574E93: gfc_resolve(gfc_namespace*) (resolve.c:13623)
==30794==    by 0x56AB83: gfc_parse_file() (parse.c:4539)
==30794==    by 0x5A4255: gfc_be_parse_file() (f95-lang.c:250)
==30794==    by 0x92BED7: toplev_main(int, char**) (toplev.c:548)
==30794==    by 0x6521B7C: (below main) (in /lib64/libc-2.11.2.so)
==30794==  Address 0x713a350 is 0 bytes inside a block of size 48 free'd
==30794==    at 0x4C25F7B: free (in
/usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==30794==    by 0x59808B: gfc_free_charlen(gfc_charlen*, gfc_charlen*)
(symbol.c:3218)
==30794==    by 0x5650CD: reject_statement() (parse.c:1692)
==30794==    by 0x56526C: _ZL10match_wordPKcPF5matchvEP5locus.part.3
(parse.c:70)
==30794==    by 0x565A5F: decode_statement() (parse.c:283)
==30794==    by 0x5670C4: next_statement() (parse.c:731)
==30794==    by 0x5680E5: parse_spec(gfc_statement) (parse.c:2049)
==30794==    by 0x56AC3D: gfc_parse_file() (parse.c:4242)
==30794==    by 0x5A4255: gfc_be_parse_file() (f95-lang.c:250)
==30794==    by 0x92BED7: toplev_main(int, char**) (toplev.c:548)
==30794==    by 0x6521B7C: (below main) (in /lib64/libc-2.11.2.so)
==30794== 
==30794== Invalid read of size 4
==30794==    at 0x57B21E: _ZL15resolve_charlenP11gfc_charlen.isra.45
(resolve.c:9662)
==30794==    by 0x577F7C: resolve_fl_derived0(gfc_symbol*) (resolve.c:11576)
==30794==    by 0x580EC2: resolve_fl_derived(gfc_symbol*) (resolve.c:11709)
==30794==    by 0x575D9E: resolve_symbol(gfc_symbol*) (resolve.c:11981)
==30794==    by 0x593366: traverse_ns(gfc_symtree*, void (*)(gfc_symbol*))
(symbol.c:3344)
==30794==    by 0x598AFB: gfc_traverse_ns(gfc_namespace*, void
(*)(gfc_symbol*)) (symbol.c:3360)
==30794==    by 0x5800BB: resolve_types(gfc_namespace*) (resolve.c:13524)
==30794==    by 0x574E93: gfc_resolve(gfc_namespace*) (resolve.c:13623)
==30794==    by 0x56AB83: gfc_parse_file() (parse.c:4539)
==30794==    by 0x5A4255: gfc_be_parse_file() (f95-lang.c:250)
==30794==    by 0x92BED7: toplev_main(int, char**) (toplev.c:548)
==30794==    by 0x6521B7C: (below main) (in /lib64/libc-2.11.2.so)
==30794==  Address 0x713a378 is 40 bytes inside a block of size 48 free'd
==30794==    at 0x4C25F7B: free (in
/usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==30794==    by 0x59808B: gfc_free_charlen(gfc_charlen*, gfc_charlen*)
(symbol.c:3218)
==30794==    by 0x5650CD: reject_statement() (parse.c:1692)
==30794==    by 0x56526C: _ZL10match_wordPKcPF5matchvEP5locus.part.3
(parse.c:70)
==30794==    by 0x565A5F: decode_statement() (parse.c:283)
==30794==    by 0x5670C4: next_statement() (parse.c:731)
==30794==    by 0x5680E5: parse_spec(gfc_statement) (parse.c:2049)
==30794==    by 0x56AC3D: gfc_parse_file() (parse.c:4242)
==30794==    by 0x5A4255: gfc_be_parse_file() (f95-lang.c:250)
==30794==    by 0x92BED7: toplev_main(int, char**) (toplev.c:548)
==30794==    by 0x6521B7C: (below main) (in /lib64/libc-2.11.2.so)
==30794== 
==30794== Invalid read of size 8
==30794==    at 0x57B240: _ZL15resolve_charlenP11gfc_charlen.isra.45
(resolve.c:9669)
==30794==    by 0x577F7C: resolve_fl_derived0(gfc_symbol*) (resolve.c:11576)
==30794==    by 0x580EC2: resolve_fl_derived(gfc_symbol*) (resolve.c:11709)
==30794==    by 0x575D9E: resolve_symbol(gfc_symbol*) (resolve.c:11981)
==30794==    by 0x593366: traverse_ns(gfc_symtree*, void (*)(gfc_symbol*))
(symbol.c:3344)
==30794==    by 0x598AFB: gfc_traverse_ns(gfc_namespace*, void
(*)(gfc_symbol*)) (symbol.c:3360)
==30794==    by 0x5800BB: resolve_types(gfc_namespace*) (resolve.c:13524)
==30794==    by 0x574E93: gfc_resolve(gfc_namespace*) (resolve.c:13623)
==30794==    by 0x56AB83: gfc_parse_file() (parse.c:4539)
==30794==    by 0x5A4255: gfc_be_parse_file() (f95-lang.c:250)
==30794==    by 0x92BED7: toplev_main(int, char**) (toplev.c:548)
==30794==    by 0x6521B7C: (below main) (in /lib64/libc-2.11.2.so)
==30794==  Address 0x713a350 is 0 bytes inside a block of size 48 free'd
==30794==    at 0x4C25F7B: free (in
/usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==30794==    by 0x59808B: gfc_free_charlen(gfc_charlen*, gfc_charlen*)
(symbol.c:3218)
==30794==    by 0x5650CD: reject_statement() (parse.c:1692)
==30794==    by 0x56526C: _ZL10match_wordPKcPF5matchvEP5locus.part.3
(parse.c:70)
==30794==    by 0x565A5F: decode_statement() (parse.c:283)
==30794==    by 0x5670C4: next_statement() (parse.c:731)
==30794==    by 0x5680E5: parse_spec(gfc_statement) (parse.c:2049)
==30794==    by 0x56AC3D: gfc_parse_file() (parse.c:4242)
==30794==    by 0x5A4255: gfc_be_parse_file() (f95-lang.c:250)
==30794==    by 0x92BED7: toplev_main(int, char**) (toplev.c:548)
==30794==    by 0x6521B7C: (below main) (in /lib64/libc-2.11.2.so)
==30794== 
==30794== Invalid write of size 4
==30794==    at 0x57B243: _ZL15resolve_charlenP11gfc_charlen.isra.45
(resolve.c:9665)
==30794==    by 0x577F7C: resolve_fl_derived0(gfc_symbol*) (resolve.c:11576)
==30794==    by 0x580EC2: resolve_fl_derived(gfc_symbol*) (resolve.c:11709)
==30794==    by 0x575D9E: resolve_symbol(gfc_symbol*) (resolve.c:11981)
==30794==    by 0x593366: traverse_ns(gfc_symtree*, void (*)(gfc_symbol*))
(symbol.c:3344)
==30794==    by 0x598AFB: gfc_traverse_ns(gfc_namespace*, void
(*)(gfc_symbol*)) (symbol.c:3360)
==30794==    by 0x5800BB: resolve_types(gfc_namespace*) (resolve.c:13524)
==30794==    by 0x574E93: gfc_resolve(gfc_namespace*) (resolve.c:13623)
==30794==    by 0x56AB83: gfc_parse_file() (parse.c:4539)
==30794==    by 0x5A4255: gfc_be_parse_file() (f95-lang.c:250)
==30794==    by 0x92BED7: toplev_main(int, char**) (toplev.c:548)
==30794==    by 0x6521B7C: (below main) (in /lib64/libc-2.11.2.so)
==30794==  Address 0x713a378 is 40 bytes inside a block of size 48 free'd
==30794==    at 0x4C25F7B: free (in
/usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==30794==    by 0x59808B: gfc_free_charlen(gfc_charlen*, gfc_charlen*)
(symbol.c:3218)
==30794==    by 0x5650CD: reject_statement() (parse.c:1692)
==30794==    by 0x56526C: _ZL10match_wordPKcPF5matchvEP5locus.part.3
(parse.c:70)
==30794==    by 0x565A5F: decode_statement() (parse.c:283)
==30794==    by 0x5670C4: next_statement() (parse.c:731)
==30794==    by 0x5680E5: parse_spec(gfc_statement) (parse.c:2049)
==30794==    by 0x56AC3D: gfc_parse_file() (parse.c:4242)
==30794==    by 0x5A4255: gfc_be_parse_file() (f95-lang.c:250)
==30794==    by 0x92BED7: toplev_main(int, char**) (toplev.c:548)
==30794==    by 0x6521B7C: (below main) (in /lib64/libc-2.11.2.so)
==30794== 
==30794== Invalid read of size 4
==30794==    at 0x578B91: gfc_resolve_expr(gfc_expr*) (resolve.c:6089)
==30794==    by 0x57B1CA: resolve_index_expr(gfc_expr*) (resolve.c:9642)
==30794==    by 0x57B257: _ZL15resolve_charlenP11gfc_charlen.isra.45
(resolve.c:9669)
==30794==    by 0x577F7C: resolve_fl_derived0(gfc_symbol*) (resolve.c:11576)
==30794==    by 0x580EC2: resolve_fl_derived(gfc_symbol*) (resolve.c:11709)
==30794==    by 0x575D9E: resolve_symbol(gfc_symbol*) (resolve.c:11981)
==30794==    by 0x593366: traverse_ns(gfc_symtree*, void (*)(gfc_symbol*))
(symbol.c:3344)
==30794==    by 0x598AFB: gfc_traverse_ns(gfc_namespace*, void
(*)(gfc_symbol*)) (symbol.c:3360)
==30794==    by 0x5800BB: resolve_types(gfc_namespace*) (resolve.c:13524)
==30794==    by 0x574E93: gfc_resolve(gfc_namespace*) (resolve.c:13623)
==30794==    by 0x56AB83: gfc_parse_file() (parse.c:4539)
==30794==    by 0x5A4255: gfc_be_parse_file() (f95-lang.c:250)
==30794==  Address 0x713a1b0 is 0 bytes inside a block of size 184 free'd
==30794==    at 0x4C25F7B: free (in
/usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==30794==    by 0x598083: gfc_free_charlen(gfc_charlen*, gfc_charlen*)
(symbol.c:3217)
==30794==    by 0x5650CD: reject_statement() (parse.c:1692)
==30794==    by 0x56526C: _ZL10match_wordPKcPF5matchvEP5locus.part.3
(parse.c:70)
==30794==    by 0x565A5F: decode_statement() (parse.c:283)
==30794==    by 0x5670C4: next_statement() (parse.c:731)
==30794==    by 0x5680E5: parse_spec(gfc_statement) (parse.c:2049)
==30794==    by 0x56AC3D: gfc_parse_file() (parse.c:4242)
==30794==    by 0x5A4255: gfc_be_parse_file() (f95-lang.c:250)
==30794==    by 0x92BED7: toplev_main(int, char**) (toplev.c:548)
==30794==    by 0x6521B7C: (below main) (in /lib64/libc-2.11.2.so)
==30794==


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug fortran/50259] Internal Error at (1): gfc_resolve_expr(): Bad expression type
  2011-09-01  6:55 [Bug fortran/50259] New: Internal Error at (1): gfc_resolve_expr(): Bad expression type Joost.VandeVondele at pci dot uzh.ch
                   ` (2 preceding siblings ...)
  2011-09-01 16:15 ` Joost.VandeVondele at pci dot uzh.ch
@ 2011-09-01 16:20 ` burnus at gcc dot gnu.org
  2013-02-27 18:38 ` dominiq at lps dot ens.fr
  4 siblings, 0 replies; 6+ messages in thread
From: burnus at gcc dot gnu.org @ 2011-09-01 16:20 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-09-01 16:20:06 UTC ---
With valgrind, I get now:


test.f90:4.19:

     CHARACTER (len=default_path_length), DIMENSION(:,:), POINTER ::
                   1
Error: Expected another dimension in array declaration at (1)
test.f90:5:

initial_variables
1
Error: Unclassifiable statement at (1)
==31867== Invalid read of size 8
==31867==    at 0x574B9A: resolve_fl_derived0(gfc_symbol*) (resolve.c:11587)
==31867==    by 0x57DAF2: resolve_fl_derived(gfc_symbol*) (resolve.c:11721)
==31867==    by 0x5729CE: resolve_symbol(gfc_symbol*) (resolve.c:11993)
...
==31867==  Address 0x70958f0 is 0 bytes inside a block of size 48 free'd
==31867==    at 0x4C2892E: free (in
/usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==31867==    by 0x594CAB: gfc_free_charlen(gfc_charlen*, gfc_charlen*)
(symbol.c:3218)
==31867==    by 0x561CFD: reject_statement() (parse.c:1692)
...
==31867== Invalid read of size 4
==31867==    at 0x577E4E: _ZL15resolve_charlenP11gfc_charlen.isra.45
(resolve.c:9674)
==31867==    by 0x574BAC: resolve_fl_derived0(gfc_symbol*) (resolve.c:11588)
==31867==    by 0x57DAF2: resolve_fl_derived(gfc_symbol*) (resolve.c:11721)
==31867==    by 0x5729CE: resolve_symbol(gfc_symbol*) (resolve.c:11993)
...
==31867== Invalid write of size 4
==31867==    at 0x577E73: _ZL15resolve_charlenP11gfc_charlen.isra.45
(resolve.c:9677)
==31867==    by 0x574BAC: resolve_fl_derived0(gfc_symbol*) (resolve.c:11588)
==31867==    by 0x57DAF2: resolve_fl_derived(gfc_symbol*) (resolve.c:11721)
==31867==    by 0x5729CE: resolve_symbol(gfc_symbol*) (resolve.c:11993)
...
==31867== Invalid read of size 4
==31867==    at 0x5757C1: gfc_resolve_expr(gfc_expr*) (resolve.c:6099)
==31867==    by 0x577DFA: resolve_index_expr(gfc_expr*) (resolve.c:9654)
==31867==    by 0x577E87: _ZL15resolve_charlenP11gfc_charlen.isra.45
(resolve.c:9681)
==31867==    by 0x574BAC: resolve_fl_derived0(gfc_symbol*) (resolve.c:11588)
...
test.f90:7.26:

END MODULE cp_parser_types
                          1
Internal Error at (1):
gfc_resolve_expr(): Bad expression type


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug fortran/50259] Internal Error at (1): gfc_resolve_expr(): Bad expression type
  2011-09-01  6:55 [Bug fortran/50259] New: Internal Error at (1): gfc_resolve_expr(): Bad expression type Joost.VandeVondele at pci dot uzh.ch
                   ` (3 preceding siblings ...)
  2011-09-01 16:20 ` burnus at gcc dot gnu.org
@ 2013-02-27 18:38 ` dominiq at lps dot ens.fr
  4 siblings, 0 replies; 6+ messages in thread
From: dominiq at lps dot ens.fr @ 2013-02-27 18:38 UTC (permalink / raw)
  To: gcc-bugs


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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-02-27
     Ever Confirmed|0                           |1

--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2013-02-27 18:37:48 UTC ---
Confirmed.


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2013-02-27 18:38 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-09-01  6:55 [Bug fortran/50259] New: Internal Error at (1): gfc_resolve_expr(): Bad expression type Joost.VandeVondele at pci dot uzh.ch
2011-09-01  7:57 ` [Bug fortran/50259] " burnus at gcc dot gnu.org
2011-09-01 16:04 ` Joost.VandeVondele at pci dot uzh.ch
2011-09-01 16:15 ` Joost.VandeVondele at pci dot uzh.ch
2011-09-01 16:20 ` burnus at gcc dot gnu.org
2013-02-27 18:38 ` dominiq at lps dot ens.fr

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).