[Bug c/100529] New: ICE at -O3: in force_constant_size, at gimplify.c:733

[Bug c/100529] New: ICE at -O3: in force_constant_size, at gimplify.c:733

[cnsun at uwaterloo dot ca]

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

            Bug ID: 100529
           Summary: ICE at -O3: in force_constant_size, at gimplify.c:733
           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
bar(n) { return foo(n, 2.0); }
foo(
    int n, struct { char a[n]; }) {}

$ gcc-trunk -O3 mutant.c
mutant.c:1:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
    1 | bar(n) { return foo(n, 2.0); }
      | ^~~
mutant.c: In function ‘bar’:
mutant.c:1:1: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int]
mutant.c:1:17: warning: implicit declaration of function ‘foo’
[-Wimplicit-function-declaration]
    1 | bar(n) { return foo(n, 2.0); }
      |                 ^~~
mutant.c: At top level:
mutant.c:3:12: warning: anonymous struct declared inside parameter list will
not be visible outside of this definition or declaration
    3 |     int n, struct { char a[n]; }) {}
      |            ^~~~~~
mutant.c:2:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
    2 | foo(
      | ^~~
In function ‘foo.constprop’:
cc1: internal compiler error: in force_constant_size, at gimplify.c:733
0x6d5542 force_constant_size
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:733
0xc21537 gimple_add_tmp_var(tree_node*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:771
0xbea82b create_tmp_var(tree_node*, char const*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-expr.c:485
0xc2b230 create_tmp_from_val
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:564
0xc2b230 lookup_tmp_var
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:596
0xc2b230 internal_get_tmp_var
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:635
0xc24bb7 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:15072
0xc49b43 gimple_regimplify_operands(gimple*, gimple_stmt_iterator*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify-me.c:235
0xf7689a insert_init_stmt
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/tree-inline.c:3377
0xf88e47 tree_function_versioning(tree_node*, tree_node*, vec<ipa_replace_map*,
va_gc, vl_embed>*, ipa_param_adjustments*, bool, bitmap_head*,
basic_block_def*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/tree-inline.c:6418
0xa83c85 cgraph_node::materialize_clone()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphclones.c:1131
0xa70dbd cgraph_node::get_untransformed_body()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraph.c:3921
0xa7dda9 cgraph_node::expand()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphunit.c:1799
0xa7f26f expand_all_functions
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphunit.c:1992
0xa7f26f symbol_table::compile()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphunit.c:2356
0xa8214b symbol_table::compile()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphunit.c:2269
0xa8214b symbol_table::finalize_compilation_unit()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphunit.c:2537
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/100529] ICE at -O3: in force_constant_size, at gimplify.c:733

[cnsun at uwaterloo dot ca]

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

--- Comment #1 from Chengnian Sun <cnsun at uwaterloo dot ca> ---
A possible duplicate.

$ 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
bar(n) { return foo(n, 2.0); }
foo(
    int n, struct { char a[n]; }) {
  return foo;
}

$ gcc-trunk -O3 mutant.c
mutant.c:1:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
    1 | bar(n) { return foo(n, 2.0); }
      | ^~~
mutant.c: In function ‘bar’:
mutant.c:1:1: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int]
mutant.c:1:17: warning: implicit declaration of function ‘foo’
[-Wimplicit-function-declaration]
    1 | bar(n) { return foo(n, 2.0); }
      |                 ^~~
mutant.c: At top level:
mutant.c:3:12: warning: anonymous struct declared inside parameter list will
not be visible outside of this definition or declaration
    3 |     int n, struct { char a[n]; }) {
      |            ^~~~~~
mutant.c:2:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
    2 | foo(
      | ^~~
mutant.c: In function ‘foo’:
mutant.c:4:10: warning: returning ‘int (*)(int,  struct <anonymous>)’ from a
function with return type ‘int’ makes integer from pointer without a cast
[-Wint-conversion]
    4 |   return foo;
      |          ^~~
In function ‘foo.constprop’:
cc1: internal compiler error: in force_constant_size, at gimplify.c:733
0x6d5542 force_constant_size
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:733
0xc21537 gimple_add_tmp_var(tree_node*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:771
0xbea82b create_tmp_var(tree_node*, char const*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-expr.c:485
0xc2b230 create_tmp_from_val
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:564
0xc2b230 lookup_tmp_var
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:596
0xc2b230 internal_get_tmp_var
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:635
0xc24bb7 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:15072
0xc49b43 gimple_regimplify_operands(gimple*, gimple_stmt_iterator*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify-me.c:235
0xf7689a insert_init_stmt
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/tree-inline.c:3377
0xf88e47 tree_function_versioning(tree_node*, tree_node*, vec<ipa_replace_map*,
va_gc, vl_embed>*, ipa_param_adjustments*, bool, bitmap_head*,
basic_block_def*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/tree-inline.c:6418
0xa83c85 cgraph_node::materialize_clone()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphclones.c:1131
0xe0b8f8 execute_all_ipa_transforms(bool)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/passes.c:2329
0xa7de49 cgraph_node::expand()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphunit.c:1821
0xa7f26f expand_all_functions
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphunit.c:1992
0xa7f26f symbol_table::compile()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphunit.c:2356
0xa8214b symbol_table::compile()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphunit.c:2269
0xa8214b symbol_table::finalize_compilation_unit()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/cgraphunit.c:2537
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 ipa/100529] [11/12 Regression] ICE at -O3: in force_constant_size, at gimplify.c:733 since r11-4494-ga4223abb3deb24e8

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-05-12
                 CC|                            |jsm28 at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
            Summary|ICE at -O3: in              |[11/12 Regression] ICE at
                   |force_constant_size, at     |-O3: in
                   |gimplify.c:733              |force_constant_size, at
                   |                            |gimplify.c:733 since
                   |                            |r11-4494-ga4223abb3deb24e8

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Likely started with r11-4494-ga4223abb3deb24e8.

[Bug ipa/100529] [11/12 Regression] ICE at -O3: in force_constant_size, at gimplify.c:733 since r11-4494-ga4223abb3deb24e8

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.2

[Bug ipa/100529] [11/12 Regression] ICE at -O3: in force_constant_size, at gimplify.c:733 since r11-4494-ga4223abb3deb24e8

[cnsun at uwaterloo dot ca]

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

--- Comment #3 from Chengnian Sun <cnsun at uwaterloo dot ca> ---
Another duplicate.


$ 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.YBPd3t5p5G-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 20210605 (experimental) [master revision
:438cdd67a:600f90cbbbf2f1e4511d72a23a5d637d11e9f28b] (GCC)

$ cat mutant.c
foo(char a) {
  union C {
    int d[map()];
    char *e;
  };
  bar((union C) & a);
}

$ gcc-trunk  mutant.c
mutant.c:1:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
    1 | foo(char a) {
      | ^~~
mutant.c: In function ‘foo’:
mutant.c:3:11: warning: implicit declaration of function ‘map’
[-Wimplicit-function-declaration]
    3 |     int d[map()];
      |           ^~~
mutant.c:6:3: warning: implicit declaration of function ‘bar’
[-Wimplicit-function-declaration]
    6 |   bar((union C) & a);
      |   ^~~
mutant.c:6:3: internal compiler error: in force_constant_size, at
gimplify.c:736
    6 |   bar((union C) & a);
      |   ^~~~~~~~~~~~~~~~~~
0x6d844a force_constant_size
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:736
0xc2c537 gimple_add_tmp_var(tree_node*)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:774
0xbf557b create_tmp_var(tree_node*, char const*)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimple-expr.c:485
0xc36200 create_tmp_from_val
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:567
0xc36200 lookup_tmp_var
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:585
0xc36200 internal_get_tmp_var
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:638
0xc2fd57 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:15065
0xc31676 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:14526
0xc3e1f4 gimplify_expr
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:15111
0xc40105 gimplify_call_expr
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:3527
0xc30f13 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:14048
0xc3410a gimplify_stmt(tree_node**, gimple**)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:6863
0xc3170b gimplify_statement_list
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:1885
0xc3170b gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:14521
0xc3410a gimplify_stmt(tree_node**, gimple**)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:6863
0xc3493e gimplify_bind_expr
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:1424
0xc30b73 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:14277
0xc3410a gimplify_stmt(tree_node**, gimple**)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:6863
0xc35703 gimplify_body(tree_node*, bool)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:15321
0xc35b51 gimplify_function_tree(tree_node*)
        /tmp/tmp.YBPd3t5p5G-gcc-builder/gcc/gcc/gimplify.c:15475
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 ipa/100529] [11/12 Regression] ICE at -O3: in force_constant_size, at gimplify.c:733 since r11-4494-ga4223abb3deb24e8

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|11.2                        |11.3

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

[Bug c/100529] [11/12 Regression] ICE at -O3: in force_constant_size, at gimplify.c:733 since r11-4494-ga4223abb3deb24e8

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
          Component|ipa                         |c

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
I can confirm the testcase from comment#3 on trunk but not the earlier two
(those also not on the branch).  So those were different cases now fixed.

Re-confirmed for the comment#3 case, but that eventually looks like a C
frontend issue to me accepting invalid code?  We gimplify from

;; Function foo (null)
;; enabled by -tree-original


{
  typedef union C unionunion C;
  extern int map ();
  extern int bar ();

    typedef union C unionunion C;
  bar ({.e=&a});
}

[Bug c/100529] [11/12 Regression] ICE at -O3: in force_constant_size, at gimplify.c:733 since r11-4494-ga4223abb3deb24e8

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|11.3                        |11.4

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 11.3 is being released, retargeting bugs to GCC 11.4.

[Bug c/100529] [11/12/13/14 Regression] ICE at -O3: in force_constant_size, at gimplify.c:733 since r11-4494-ga4223abb3deb24e8

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|11.4                        |11.5

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 11.4 is being released, retargeting bugs to GCC 11.5.