[Bug c/100522] New: ICE: in extract_ops_from_tree, at gimple-expr.c:556

[Bug c/100522] New: ICE: in extract_ops_from_tree, at gimple-expr.c:556

[cnsun at uwaterloo dot ca]

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

            Bug ID: 100522
           Summary: ICE: in extract_ops_from_tree, at gimple-expr.c:556
           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
__GIMPLE
foo() {
  int t1;
  t1_1 = t1_1();
}

$ gcc-trunk -O0 mutant.c
mutant.c:1:1: error: ‘__GIMPLE’ only valid with ‘-fgimple’
    1 | __GIMPLE
      | ^~~~~~~~
mutant.c:2:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
    2 | foo() {
      | ^~~
mutant.c: In function ‘foo’:
mutant.c:4:3: internal compiler error: in extract_ops_from_tree, at
gimple-expr.c:556
    4 |   t1_1 = t1_1();
      |   ^~~~
0x6cbc8c extract_ops_from_tree(tree_node*, tree_code*, tree_node**,
tree_node**, tree_node**)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-expr.c:556
0xbe12d0 gimple_build_assign(tree_node*, tree_node*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple.c:436
0x952c1a c_parser_gimple_statement
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/gimple-parser.c:880
0x952c1a c_parser_gimple_compound_statement
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/gimple-parser.c:650
0x952c1a c_parser_gimple_compound_statement
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/gimple-parser.c:381
0x954fa7 c_parser_parse_gimple_body(c_parser*, char*, c_declspec_il,
profile_count)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/gimple-parser.c:253
0x944187 c_parser_declaration_or_fndef
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/c-parser.c:2533
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/100522] ICE: in extract_ops_from_tree, at gimple-expr.c:556

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|tree-ssa                    |12.0
           Keywords|                            |error-recovery,
                   |                            |ice-on-invalid-code
                 CC|                            |rguenth at gcc dot gnu.org

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Note that "invalid" __GIMPLE isn't really detected well and we don't intend to
be perfect here.

[Bug c/100522] ICE: in extract_ops_from_tree, at gimple-expr.c:556

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:414fe08a352eac69168f4fb3671246c84a1ac5aa

commit r12-860-g414fe08a352eac69168f4fb3671246c84a1ac5aa
Author: Richard Biener <rguenther@suse.de>
Date:   Tue May 18 08:41:43 2021 +0200

    c/100522 - avoid invalid GIMPLE in GIMPLE parsing

    This plugs a few easy holes avoiding ICEs down the route.

    2021-05-18  Richard Biener  <rguenther@suse.de>

            PR c/100522
    gcc/c/
            * gimple-parser.c
(c_parser_gimple_postfix_expression_after_primary):
            Diagnose calls to non-functions.
            (c_parser_gimple_statement): Diagnose unexpected assignment RHS.

    gcc/testsuite/
            * gcc.dg/gimplefe-error-10.c: New testcase.

[Bug c/100522] ICE: in extract_ops_from_tree, at gimple-expr.c:556

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.