[Bug c/100792] New: ICE: gimplify_expr, at gimplify.c:14879

[Bug c/100792] New: ICE: gimplify_expr, at gimplify.c:14879

[cnsun at uwaterloo dot ca]

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

            Bug ID: 100792
           Summary: ICE: gimplify_expr, at gimplify.c:14879
           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.SQC1E9RsGE-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 20210527 (experimental) [master revision
:d03f010a0:01c59ef2e5a59b44d2b662361196abb6be872a20] (GCC)

$ cat mutant.c
ldt_add_entry() {
  __asm__("" : : "m"(({ __asm__(""); })));
}

$ gcc-trunk  mutant.c
mutant.c:1:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
    1 | ldt_add_entry() {
      | ^~~~~~~~~~~~~
mutant.c: In function ‘ldt_add_entry’:
mutant.c:2:25: internal compiler error: in gimplify_expr, at gimplify.c:14879
    2 |   __asm__("" : : "m"(({ __asm__(""); })));
      |                      ~~~^~~~~~~~~~~~~~~
0x6df932 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/gimplify.c:14879
0xc4955d gimplify_asm_expr
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/gimplify.c:6512
0xc3f245 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/gimplify.c:14298
0xc41aaa gimplify_stmt(tree_node**, gimple**)
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/gimplify.c:6883
0xc422de gimplify_bind_expr
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/gimplify.c:1424
0xc3e513 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/gimplify.c:14166
0xc41aaa gimplify_stmt(tree_node**, gimple**)
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/gimplify.c:6883
0xc430a3 gimplify_body(tree_node*, bool)
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/gimplify.c:15210
0xc434f1 gimplify_function_tree(tree_node*)
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/gimplify.c:15364
0xa85717 cgraph_node::analyze()
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/cgraphunit.c:670
0xa88641 analyze_functions
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/cgraphunit.c:1234
0xa89111 symbol_table::finalize_compilation_unit()
        /tmp/tmp.SQC1E9RsGE-gcc-builder/gcc/gcc/cgraphunit.c:2508
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/100792] ICE: gimplify_expr, at gimplify.c:14879

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |ebotcazou at gcc dot gnu.org
         Resolution|---                         |WONTFIX

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Please stop spamming the bug database with nonsensical machine-generated stuff
like this.  You're wasting resources everywhere along the way.  Thanks.

[Bug c/100792] ICE: gimplify_expr, at gimplify.c:14879

[jsm28 at gcc dot gnu.org]

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

Joseph S. Myers <jsm28 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|tree-ssa                    |12.0
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|WONTFIX                     |---

--- Comment #2 from Joseph S. Myers <jsm28 at gcc dot gnu.org> ---
The compiler should not ICE for any input.

[Bug c/100792] ICE: gimplify_expr, at gimplify.c:14879

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking
      Known to fail|                            |10.1.0, 11.1.0, 12.0, 9.1.0
           Severity|normal                      |trivial

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed, this only ICEs with checking enable.

[Bug c/100792] ICE: gimplify_expr, at gimplify.c:14879

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-12-26