[Bug fortran/110720] New: Internal compiler error (segmentation fault) in gfc_expression_rank

[Bug fortran/110720] New: Internal compiler error (segmentation fault) in gfc_expression_rank

[adrien.morison at gmail dot com]

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

            Bug ID: 110720
           Summary: Internal compiler error (segmentation fault) in
                    gfc_expression_rank
           Product: gcc
           Version: 13.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: adrien.morison at gmail dot com
  Target Milestone: ---

Created attachment 55569
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55569&action=edit
Minimal test case triggering the problem, foo_mod.f90 in the above command

This is with a development snapshot on commit
bef95ba085b0ae9bf3eb79a8eed685236d773116

Compiling the attached code lead to an internal compiler error. The attached
code is a self-contained example that triggers the problem, and is a stripped
down version of the actual code (which does a bunch of computations instead of
setting things to 0).

Command:
gfortran -v -save-temps -freport-bug -c foo_mod.f90

Output:
Using built-in specs.
COLLECT_GCC=gfortran
Target: x86_64-pc-linux-gnu
Configured with: /build/gcc/src/gcc/configure
--enable-languages=ada,c,c++,d,fortran,go,lto,objc,obj-c++ --enable-bootstrap
--prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man
--infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/
--with-build-config=bootstrap-lto --with-linker-hash-style=gnu
--with-system-zlib --enable-__cxa_atexit --enable-cet=auto
--enable-checking=release --enable-clocale=gnu --enable-default-pie
--enable-default-ssp --enable-gnu-indirect-function --enable-gnu-unique-object
--enable-libstdcxx-backtrace --enable-link-serialization=1
--enable-linker-build-id --enable-lto --enable-multilib --enable-plugin
--enable-shared --enable-threads=posix --disable-libssp --disable-libstdcxx-pch
--disable-werror
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 13.1.1 20230714 (GCC)
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-freport-bug' '-c' '-mtune=generic'
'-march=x86-64'
 /usr/lib/gcc/x86_64-pc-linux-gnu/13.1.1/f951 foo_mod.f90 -quiet -dumpbase
foo_mod.f90 -dumpbase-ext .f90 -mtune=generic -march=x86-64 -version
-freport-bug -fintrinsic-modules-path
/usr/lib/gcc/x86_64-pc-linux-gnu/13.1.1/finclude
-fpre-include=/usr/include/finclude/math-vector-fortran.h -o foo_mod.s
GNU Fortran (GCC) version 13.1.1 20230714 (x86_64-pc-linux-gnu)
        compiled by GNU C version 13.1.1 20230714, GMP version 6.2.1, MPFR
version 4.2.0-p9, MPC version 1.3.1, isl version isl-0.26-GMP

GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
f951: internal compiler error: Segmentation fault
0x1a10354 internal_error(char const*, ...)
        ???:0
0x77d345 gfc_expression_rank(gfc_expr*)
        ???:0
0x7392cc gfc_match_expr(gfc_expr**)
        ???:0
0x7792e0 gfc_match_actual_arglist(int, gfc_actual_arglist**, bool)
        ???:0
0x784cd3 gfc_match_rvalue(gfc_expr**)
        ???:0
0x7392cc gfc_match_expr(gfc_expr**)
        ???:0
0x739778 gfc_match(char const*, ...)
        ???:0
0x739f29 gfc_match_assignment()
        ???:0
0x793ac4 gfc_parse_file()
        ???:0
Please submit a full bug report, with preprocessed source.
Please include the complete backtrace with any bug report.
See <https://bugs.archlinux.org/> for instructions.

[Bug fortran/110720] [13 Regression] Internal compiler error (segmentation fault) in gfc_expression_rank

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anlauf at gcc dot gnu.org,
                   |                            |pault at gcc dot gnu.org
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
            Summary|Internal compiler error     |[13 Regression] Internal
                   |(segmentation fault) in     |compiler error
                   |gfc_expression_rank         |(segmentation fault) in
                   |                            |gfc_expression_rank
   Last reconfirmed|                            |2023-07-18
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=109948

--- Comment #1 from anlauf at gcc dot gnu.org ---
Looks like a dup of pr109948, which is fixed on 14-trunk.

@Paul: do you think your patch (commit r14-1487-g3c2eba4) is
backportable to 13-branch?

[Bug fortran/110720] [13 Regression] Internal compiler error (segmentation fault) in gfc_expression_rank

[pault at gcc dot gnu.org]

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

--- Comment #2 from Paul Thomas <pault at gcc dot gnu.org> ---
(In reply to anlauf from comment #1)
> Looks like a dup of pr109948, which is fixed on 14-trunk.
> 
> @Paul: do you think your patch (commit r14-1487-g3c2eba4) is
> backportable to 13-branch?

I know that it is :-)

I'll propose a backport to the list unless you want to OK it here?

Cheers

Paul

[Bug fortran/110720] [13 Regression] Internal compiler error (segmentation fault) in gfc_expression_rank

[anlauf at gcc dot gnu.org]

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

--- Comment #3 from anlauf at gcc dot gnu.org ---
(In reply to Paul Thomas from comment #2)
> (In reply to anlauf from comment #1)
> > Looks like a dup of pr109948, which is fixed on 14-trunk.
> > 
> > @Paul: do you think your patch (commit r14-1487-g3c2eba4) is
> > backportable to 13-branch?
> 
> I know that it is :-)
> 
> I'll propose a backport to the list unless you want to OK it here?

I don't remember any regressions from the fix on mainline, so OK from me.
Let's fix this issue in time before 13.2 comes out...

:-)

[Bug fortran/110720] [13 Regression] Internal compiler error (segmentation fault) in gfc_expression_rank

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.2
           Priority|P3                          |P4

[Bug fortran/110720] [13 Regression] Internal compiler error (segmentation fault) in gfc_expression_rank

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|13.2                        |13.3

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 13.2 is being released, retargeting bugs to GCC 13.3.

[Bug fortran/110720] [13 Regression] Internal compiler error (segmentation fault) in gfc_expression_rank

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
      Known to fail|                            |13.1.0, 13.2.0

--- Comment #5 from anlauf at gcc dot gnu.org ---
Fixed on mainline by r14-2022-g577223aebc7acd,
and on 13-branch by r13-7761-gd6997a5aab7aaa.

Thanks, Paul!