[Bug c/100550] New: ICE: in fold_convert_loc, at fold-const.c:2429

[Bug c/100550] New: ICE: in fold_convert_loc, at fold-const.c:2429

[cnsun at uwaterloo dot ca]

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

            Bug ID: 100550
           Summary: ICE: in fold_convert_loc, at fold-const.c:2429
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: cnsun at uwaterloo dot ca
  Target Milestone: ---

$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/scratch/software/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /tmp/tmp.FUbEknNORK-gcc-builder/gcc/configure
--enable-languages=c,c++,lto --enable-checking-yes --enable-multiarch
--prefix=/scratch/software/gcc-trunk --disable-bootstrap
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 12.0.0 20210511 (experimental) [master revision
:7db32cac8:aa891c56f25baac94db004e309d1b6e40b770a95] (GCC)

$ cat mutant.c
void f1ipx();
void f1ia_f(int[]);
void f1ia_f(int[f1ipx()]);

$ gcc-trunk -O0 mutant.c
mutant.c:3:16: error: size of unnamed array has non-integer type
    3 | void f1ia_f(int[f1ipx()]);
      |                ^
mutant.c:3:1: internal compiler error: in fold_convert_loc, at
fold-const.c:2429
    3 | void f1ia_f(int[f1ipx()]);
      | ^~~~
0x6bd71f fold_convert_loc(unsigned int, tree_node*, tree_node*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/fold-const.c:2429
0x11fec86 build_range_type_1
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/tree.c:7015
0x8c8e5b attr_access::array_as_string[abi:cxx11](tree_node*) const
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/attribs.c:2392
0x9d8915 warn_parm_array_mismatch(unsigned int, tree_node*, tree_node*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c-family/c-warn.c:3448
0x943e4c c_parser_declaration_or_fndef
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/c-parser.c:2342
0x94b9d3 c_parser_external_declaration
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/c-parser.c:1777
0x94c439 c_parser_translation_unit
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/c-parser.c:1650
0x94c439 c_parse_file()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/c-parser.c:21984
0x9ac765 c_common_parse_file()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c-family/c-opts.c:1218
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug c/100550] [11/12 Regression] ICE: in fold_convert_loc with function call VLA argument

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE: in fold_convert_loc,   |[11/12 Regression] ICE: in
                   |at fold-const.c:2429        |fold_convert_loc with
                   |                            |function call VLA argument
   Target Milestone|---                         |11.2
           Severity|normal                      |trivial

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Note this is a regression from GCC 10 which did not ICE.
It was most likely introduced while the [*] support was being added.

[Bug c/100550] [11/12 Regression] ICE: in fold_convert_loc with function call VLA argument

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-05-11
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
.

[Bug c/100550] [11/12 Regression] ICE: in fold_convert_loc with function call VLA argument

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |msebor at gcc dot gnu.org

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Yes, started with r11-3303-g6450f07388f9fe57.

[Bug c/100550] [11/12 Regression] ICE: in fold_convert_loc with function call VLA argument

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |msebor at gcc dot gnu.org
           Keywords|                            |patch
             Status|NEW                         |ASSIGNED

--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> ---
Patch: https://gcc.gnu.org/pipermail/gcc-patches/2021-May/570229.html

[Bug c/100550] [11/12 Regression] ICE: in fold_convert_loc with function call VLA argument

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Sebor <msebor@gcc.gnu.org>:

https://gcc.gnu.org/g:957c437363f139313b2c0b2c93ca985df1d98ad2

commit r12-774-g957c437363f139313b2c0b2c93ca985df1d98ad2
Author: Martin Sebor <msebor@redhat.com>
Date:   Thu May 13 10:38:09 2021 -0600

    PR c/100550 - ICE: in fold_convert_loc with function call VLA argument

    gcc/c/ChangeLog:

            PR c/100550
            * c-decl.c (get_parm_array_spec): Avoid erroneous VLA bounds.

    gcc/testsuite/ChangeLog:

            PR c/100550
            * gcc.dg/Wvla-parameter-9.c: New test.

[Bug c/100550] [11/12 Regression] ICE: in fold_convert_loc with function call VLA argument

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Martin Sebor
<msebor@gcc.gnu.org>:

https://gcc.gnu.org/g:4415051422690e6eda2ff6644b4f35432fcd7707

commit r11-8410-g4415051422690e6eda2ff6644b4f35432fcd7707
Author: Martin Sebor <msebor@redhat.com>
Date:   Thu May 13 10:45:32 2021 -0600

    PR c/100550 - ICE: in fold_convert_loc with function call VLA argument

    gcc/c/ChangeLog:

            PR c/100550
            * c-decl.c (get_parm_array_spec): Avoid erroneous VLA bounds.

    gcc/testsuite/ChangeLog:

            PR c/100550
            * gcc.dg/Wvla-parameter-9.c: New test.

[Bug c/100550] [11/12 Regression] ICE: in fold_convert_loc with function call VLA argument

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

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

--- Comment #7 from Martin Sebor <msebor at gcc dot gnu.org> ---
Fixed on trunk and 11.2.