[Bug debug/108784] '-fcompare-debug' failure (length) w/ --param ira-simple-lra-insn-threshold=1
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108784 --- Comment #3 from Arseny Solokha --- (In reply to Alexandre Oliva from comment #2) > Hello, Arseny, > > I have a hunch this could possibly be related with fixed bug 108573. > Is this one by any chance fixed for you? No, I still get this failure in quite noticeable amounts w/ all recent weekly snapshots. --param ira-simple-lra-insn-threshold=1 is necessary to trigger it.
[Bug tree-optimization/109262] [13 Regression] ICE: verify_gimple failed (error: statement marked for throw in middle of block)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109262 --- Comment #1 from Arseny Solokha --- Sadly, this is likely my final GCC PR, at least for the foreseeable future. I would like to thank all GCC contributors, past and present, for their tireless effort of keeping GCC going. It was a real joy for me to work with you for the last nine years. I hope I will be able to get around to my casual semi-automated GCC testing trifle some day in the future; till then, I wish you all the best guys. Thank you for all your work. Please keep GCC thriving for the next decade.
[Bug tree-optimization/109262] New: [13 Regression] ICE: verify_gimple failed (error: statement marked for throw in middle of block)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109262
Bug ID: 109262
Summary: [13 Regression] ICE: verify_gimple failed (error:
statement marked for throw in middle of block)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.1 20230319 snapshot (g:5426ab34643d9e6502f3ee572891a03471fa33ed) ICEs
when compiling the following testcase, reduced from
gcc/testsuite/g++.dg/torture/pr88149.C, w/ -O1 -fnon-call-exceptions:
template < typename > struct au;
template < typename b > au< b > operator*(au< b >, au< b > ) {
au< b > ax;
ax *= p2;
return p2;
}
template <> struct au< double > {
double p() { return __real__ az; }
double q() { return __imag__ az; }
void operator*=(au ) {
_Complex bd = o.p();
__imag__ bd = o.q();
az *= bd;
}
_Complex az;
};
long bm, m;
au< double > h;
void bn() {
for (long k; ;) {
au< double > br;
for (long j = 0; 0 < bm; ++j)
au n = br * h;
}
}
% g++-13 -O1 -fnon-call-exceptions -c a7nq8mzi.C
a7nq8mzi.C: In function 'void operator*(au, au&) [with b = double]':
a7nq8mzi.C:20:1: error: statement marked for throw in middle of block
20 | }
| ^
# VUSE <.MEM_1(D)>
_6 = REALPART_EXPR az>;
during GIMPLE pass: forwprop
a7nq8mzi.C:20:1: internal compiler error: verify_gimple failed
0x123bd51 verify_gimple_in_cfg(function*, bool, bool)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230319/work/gcc-13-20230319/gcc/tree-cfg.cc:5648
0x1104820 execute_function_todo
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230319/work/gcc-13-20230319/gcc/passes.cc:2098
0x1104d8e execute_todo
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230319/work/gcc-13-20230319/gcc/passes.cc:2152
[Bug ipa/109185] New: ICE in get_partitioning_class, at symtab.cc:2096
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109185
Bug ID: 109185
Summary: ICE in get_partitioning_class, at symtab.cc:2096
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code, lto
Severity: normal
Priority: P3
Component: ipa
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
CC: marxin at gcc dot gnu.org
Target Milestone: ---
gcc 13.0.1 20230312 snapshot (g:f23dc726875c26f2c38dfded453aa9beba0b9be9) ICEs
when compiling the following testcase, reduced from
test/SemaTemplate/instantiate-static-local.cpp from the clang 15 test suite, w/
-flto:
namespace use_after_instantiation {
template struct A { static constexpr int = R; };
template auto S() {
static int s;
return A{};
}
auto = decltype(S())::value;
}
% g++-13 -flto -c rls6o5bx.cpp
during IPA pass: modref
rls6o5bx.cpp:10:1: internal compiler error: in get_partitioning_class, at
symtab.cc:2096
10 | }
| ^
0x7a6b1d symtab_node::get_partitioning_class()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230312/work/gcc-13-20230312/gcc/symtab.cc:2096
0x105d777 lto_output_varpool_node
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230312/work/gcc-13-20230312/gcc/lto-cgraph.cc:631
0x105d777 output_symtab()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230312/work/gcc-13-20230312/gcc/lto-cgraph.cc:999
0x1074fdc lto_output()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230312/work/gcc-13-20230312/gcc/lto-streamer-out.cc:2825
0x1103181 write_lto
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230312/work/gcc-13-20230312/gcc/passes.cc:2784
0x1103181 ipa_write_summaries_1
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230312/work/gcc-13-20230312/gcc/passes.cc:2848
0x1103181 ipa_write_summaries()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230312/work/gcc-13-20230312/gcc/passes.cc:2904
0xd3dd92 ipa_passes
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230312/work/gcc-13-20230312/gcc/cgraphunit.cc:2250
0xd3dd92 symbol_table::compile()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230312/work/gcc-13-20230312/gcc/cgraphunit.cc:2323
0xd405e7 symbol_table::compile()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230312/work/gcc-13-20230312/gcc/cgraphunit.cc:2303
0xd405e7 symbol_table::finalize_compilation_unit()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230312/work/gcc-13-20230312/gcc/cgraphunit.cc:2575
[Bug c++/109042] New: [13 Regression] ICE in emit_support_tinfo_1, at cp/rtti.cc:1584
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109042
Bug ID: 109042
Summary: [13 Regression] ICE in emit_support_tinfo_1, at
cp/rtti.cc:1584
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
g++ 13.0.1 20230305 snapshot (g:6aa1f40a3263741d964ef4716e85a0df5cec83b6) ICEs
when compiling the following testcase, reduced from
test/CodeGenCXX/rtti-fundamental.cpp from the clang 15 test suite:
namespace std {
class type_info {
};
}
std::type_info
foo ()
{
return typeid (void);
}
namespace __cxxabiv1 {
struct __fundamental_type_info {
virtual ~__fundamental_type_info ();
};
__fundamental_type_info::~__fundamental_type_info ()
{
}
}
% g++-13 -c aohjjmiw.cpp
: internal compiler error: in emit_support_tinfo_1, at
cp/rtti.cc:1584
0x75a5ae emit_support_tinfo_1(tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/cp/rtti.cc:1584
0xba1794 emit_support_tinfo_1(tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/cp/rtti.cc:1553
0xba1794 emit_support_tinfos()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/cp/rtti.cc:1647
0xa428e0 c_parse_final_cleanups()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/cp/decl2.cc:4940
0xc79e7f c_common_parse_file()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/c-family/c-opts.cc:1266
[Bug ipa/109036] [13 Regression] ICE in get_partitioning_class, at symtab.cc:2096
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109036 --- Comment #2 from Arseny Solokha --- Created attachment 54592 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54592=edit Testcase part 2/2
[Bug ipa/109036] [13 Regression] ICE in get_partitioning_class, at symtab.cc:2096
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109036 --- Comment #1 from Arseny Solokha --- Created attachment 54591 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54591=edit Testcase part 1/2
[Bug ipa/109036] New: [13 Regression] ICE in get_partitioning_class, at symtab.cc:2096
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109036 Bug ID: 109036 Summary: [13 Regression] ICE in get_partitioning_class, at symtab.cc:2096 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: lto Severity: normal Priority: P3 Component: ipa Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com CC: marxin at gcc dot gnu.org Target Milestone: --- gcc 13.0.1. 20230305 snapshot (g:6aa1f40a3263741d964ef4716e85a0df5cec83b6) ICEs when compiling the attached testcase from Neil Carlson's Fortran Compiler Tests repository[1] w/ -flto: % gfortran-13 -flto -c gfortran-20200402-file1.f90 gfortran-20200402-file2.f90 during IPA pass: modref gfortran-20200402-file2.f90:39:3: internal compiler error: in get_partitioning_class, at symtab.cc:2096 39 | end | ^ 0x6ba8c1 symtab_node::get_partitioning_class() /var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/symtab.cc:2096 0xdeb0b7 lto_output_varpool_node /var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/lto-cgraph.cc:631 0xdeb0b7 output_symtab() /var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/lto-cgraph.cc:999 0xe0295c lto_output() /var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/lto-streamer-out.cc:2825 0xe8f601 write_lto /var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/passes.cc:2777 0xe8f601 ipa_write_summaries_1 /var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/passes.cc:2841 0xe8f601 ipa_write_summaries() /var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/passes.cc:2897 0xac9392 ipa_passes /var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/cgraphunit.cc:2249 0xac9392 symbol_table::compile() /var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/cgraphunit.cc:2322 0xacbc17 symbol_table::compile() /var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/cgraphunit.cc:2302 0xacbc17 symbol_table::finalize_compilation_unit() /var/tmp/portage/sys-devel/gcc-13.0.1_p20230305/work/gcc-13-20230305/gcc/cgraphunit.cc:2574 [1] https://github.com/nncarlson/fortran-compiler-tests
[Bug tree-optimization/108979] New: [13 Regression] ICE in compute_live_loop_exits, at tree-ssa-loop-manip.cc:248
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108979 Bug ID: 108979 Summary: [13 Regression] ICE in compute_live_loop_exits, at tree-ssa-loop-manip.cc:248 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- Target: aarch64-linux-gnu gcc 13.0.1 20230226 snapshot (g:e6d39f68d03c46637ca6e1bede3d28eae6278df3) ICEs when compiling the following testcase, extracted from gcc/testsuite/gfortran.dg/pr68251.f90, w/ -march=armv8-a+sve -O2 -fnon-call-exceptions -fvect-cost-model=unlimited: MODULE hfx_contract_block INTEGER, PARAMETER :: dp=8 CONTAINS SUBROUTINE block_2_1_2_1(kbd,kbc,kad,kac,pbd,pbc,pad,pac,prim,scale) REAL(KIND=dp) :: kbd(1*1), kbc(1*2), kad(2*1), kac(2*2), pbd(1*1), & pbc(1*2), pad(2*1), pac(2*2), prim(2*1*2*1), scale DO md = 1,1 DO mc = 1,2 DO mb = 1,1 DO ma = 1,2 kac((mc-1)*2+ma) = kac((mc-1)*2+ma)-tmp*p_bd END DO END DO END DO END DO END SUBROUTINE block_2_1_2_1 END MODULE hfx_contract_block % aarch64-linux-gnu-gfortran-13 -march=armv8-a+sve -O2 -fnon-call-exceptions -fvect-cost-model=unlimited -c vsg8aaub.f90 during GIMPLE pass: vect vsg8aaub.f90:4:26: 4 | SUBROUTINE block_2_1_2_1(kbd,kbc,kad,kac,pbd,pbc,pad,pac,prim,scale) | ^ internal compiler error: in compute_live_loop_exits, at tree-ssa-loop-manip.cc:248 0x7b7fb1 compute_live_loop_exits /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-ssa-loop-manip.cc:248 0x7b7fb1 add_exit_phis_var /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-ssa-loop-manip.cc:330 0x7b7fb1 add_exit_phis /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-ssa-loop-manip.cc:390 0x1128a64 rewrite_into_loop_closed_ssa_1 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-ssa-loop-manip.cc:604 0x1128a64 rewrite_into_loop_closed_ssa(bitmap_head*, unsigned int) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-ssa-loop-manip.cc:626 0x1288785 execute /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vectorizer.cc:1361
[Bug c++/108972] New: ICE: tree check: expected tree that contains 'decl common' structure, have 'error_mark' in compare_lambda_template_head, at cp/lambda.cc:1551
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108972
Bug ID: 108972
Summary: ICE: tree check: expected tree that contains 'decl
common' structure, have 'error_mark' in
compare_lambda_template_head, at cp/lambda.cc:1551
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-invalid-code, lto
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
CC: marxin at gcc dot gnu.org, unassigned at gcc dot gnu.org
Target Milestone: ---
+++ This bug was initially created as a clone of Bug #108971 +++
gcc 13.0.1 20230226 snapshot (g:e6d39f68d03c46637ca6e1bede3d28eae6278df3) ICEs
when compiling the following testcase, reduced from
gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C, w/ -fbranch-probabilities -flto
-fno-inline:
template
concept C1 = __is_same_as(T, int);
template
concept IsNotTiny = !__is_same_as(T, char);
void
foo ()
{
auto g = [] requires IsNotTiny(T t) -> T
requires IsNotTiny { return t; };
[](auto t) requires true { return t; }(5);
[](C1 auto t) { return t; }(5);
auto a0 = [](IsNotTiny auto a) { return [](auto b){ return b; }; };
auto a1 = a0(1);
}
% g++-13 -fbranch-probabilities -flto -fno-inline -c sanpvd3f.C
sanpvd3f.C:2:1: error: 'concept' does not name a type; did you mean 'const'?
2 | concept C1 = __is_same_as(T, int);
| ^~~
| const
sanpvd3f.C:2:1: note: 'concept' only available with '-std=c++20' or
'-fconcepts'
sanpvd3f.C:5:1: error: 'concept' does not name a type; did you mean 'const'?
5 | concept IsNotTiny = !__is_same_as(T, char);
| ^~~
| const
sanpvd3f.C:5:1: note: 'concept' only available with '-std=c++20' or
'-fconcepts'
sanpvd3f.C: In function 'void foo()':
sanpvd3f.C:10:15: error: 'C1' has not been declared
10 | auto g = [] requires IsNotTiny(T t) -> T
| ^~
sanpvd3f.C:10:21: error: 'requires' only available with '-std=c++20' or
'-fconcepts'
10 | auto g = [] requires IsNotTiny(T t) -> T
| ^~~~
sanpvd3f.C:10:30: error: 'IsNotTiny' was not declared in this scope
10 | auto g = [] requires IsNotTiny(T t) -> T
| ^
sanpvd3f.C:10:40: error: 'T' was not declared in this scope
10 | auto g = [] requires IsNotTiny(T t) -> T
|^
sanpvd3f.C:10:43: error: 'T' was not declared in this scope
10 | auto g = [] requires IsNotTiny(T t) -> T
| ^
sanpvd3f.C:10:44: error: expected ')' before 't'
10 | auto g = [] requires IsNotTiny(T t) -> T
| ~ ^~
|)
sanpvd3f.C: In lambda function:
sanpvd3f.C:11:50: error: expected '{' before ';' token
11 | requires IsNotTiny { return t; };
| ^
sanpvd3f.C: In function 'void foo()':
sanpvd3f.C:13:14: error: 'requires' only available with '-std=c++20' or
'-fconcepts'
13 | [](auto t) requires true { return t; }(5);
| ^~~~
sanpvd3f.C:13:23: internal compiler error: tree check: expected tree that
contains 'decl common' structure, have 'error_mark' in
compare_lambda_template_head, at cp/lambda.cc:1551
13 | [](auto t) requires true { return t; }(5);
| ^~~~
0x896ef7 tree_contains_struct_check_failed(tree_node const*,
tree_node_structure_enum, char const*, int, char const*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree.cc:9083
0x70171c contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree.h:3644
0x70171c compare_lambda_template_head
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/cp/lambda.cc:1551
0xa6a86c compare_lambda_sig
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/cp/lambda.cc:1598
0xa6a86c record_lambda_scope_sig_discriminator(tree_node*, tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/cp/lambda.cc:1656
0xb234b8 cp_parser_lambda_declarator_opt
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/cp/parser.cc:11774
0xb05f86 cp_parser_lambda_expression
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/cp/parser.cc:11142
0xb06d63 cp_parser_primary_expression
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/cp/parser.cc:5826
0xb095e6 cp_parser_postfix_expression
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/cp/parser.cc:
0xaf1454 cp_parser_binary_expression
[Bug lto/108971] New: [13 Regression] ICE in tree_profiling, at tree-profile.cc:724
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108971
Bug ID: 108971
Summary: [13 Regression] ICE in tree_profiling, at
tree-profile.cc:724
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-invalid-code, lto
Severity: normal
Priority: P3
Component: lto
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
CC: marxin at gcc dot gnu.org
Target Milestone: ---
gcc 13.0.1 20230226 snapshot (g:e6d39f68d03c46637ca6e1bede3d28eae6278df3) ICEs
when compiling the following testcase, reduced from
gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C, w/ -std=c++2a
-fbranch-probabilities -flto -fno-inline:
template
concept C1 = __is_same_as(T, int);
template
concept IsNotTiny = !__is_same_as(T, char);
void
foo ()
{
auto g = [] requires IsNotTiny(T t) -> T
requires IsNotTiny { return t; };
[](auto t) requires true { return t; }(5);
[](C1 auto t) { return t; }(5);
auto a0 = [](IsNotTiny auto a) { return [](auto b){ return b; }; };
auto a1 = a0(1);
}
% g++-13 -std=c++2a -fbranch-probabilities -flto -fno-inline -c sanpvd3f.C
sanpvd3f.C:16:13: error: mangling of 'foo():: [with auto:3 =
int]' as '_ZZ3foovENKUlT_E1_clIiEEDaS_' conflicts with a previous mangle
16 | auto a0 = [](IsNotTiny auto a) { return [](auto b){ return b; }; };
| ^
sanpvd3f.C:14:3: note: previous mangling 'int
foo()_ZZ3foovENKUlT_E1_clIiEEDaS_(int) const'
14 | [](C1 auto t) { return t; }(5);
| ^
sanpvd3f.C:16:13: note: a later '-fabi-version=' (or =0) avoids this error with
a change in mangling
16 | auto a0 = [](IsNotTiny auto a) { return [](auto b){ return b; }; };
| ^
during IPA pass: profile
sanpvd3f.C:18:1: internal compiler error: in tree_profiling, at
tree-profile.cc:724
18 | }
| ^
0x859ae9 tree_profiling
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-profile.cc:724
0x859ae9 execute
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-profile.cc:888
[Bug tree-optimization/108970] New: [13 Regression] ICE in vect_do_peeling, at tree-vect-loop-manip.cc:2971, or ICE in dump_printf_loc, at dumpfile.cc:1359
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108970
Bug ID: 108970
Summary: [13 Regression] ICE in vect_do_peeling, at
tree-vect-loop-manip.cc:2971, or ICE in
dump_printf_loc, at dumpfile.cc:1359
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
1. gcc 13.0.1 20230226 snapshot (g:e6d39f68d03c46637ca6e1bede3d28eae6278df3)
ICEs when compiling the following testcase w/ -O1 -ftree-loop-vectorize
-fsave-optimization-record -fno-tree-dce -fno-tree-scev-cprop:
int m;
__attribute__ ((noinline, returns_twice)) void
empty (void)
{
}
void
foo (void)
{
while (m < 1)
{
empty ();
++m;
}
}
% gcc-13 -O1 -ftree-loop-vectorize -fsave-optimization-record -fno-tree-dce
-fno-tree-scev-cprop -c ionf2mqq.c
during GIMPLE pass: vect
ionf2mqq.c: In function 'foo':
ionf2mqq.c:9:1: internal compiler error: in vect_do_peeling, at
tree-vect-loop-manip.cc:2971
9 | foo (void)
| ^~~
0x119566f vect_do_peeling(_loop_vec_info*, tree_node*, tree_node*, tree_node**,
tree_node**, tree_node**, int, bool, bool, tree_node**)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vect-loop-manip.cc:2971
0x1187e99 vect_transform_loop(_loop_vec_info*, gimple*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vect-loop.cc:10807
0x11c6ca0 vect_transform_loops
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vectorizer.cc:1007
0x11c72de try_vectorize_loop_1
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vectorizer.cc:1153
0x11c72de try_vectorize_loop
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vectorizer.cc:1183
0x11c7694 execute
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vectorizer.cc:1299
2. Omitting -fsave-optimization-record yields the following instead:
% gcc-13 -O1 -ftree-loop-vectorize -fno-tree-dce -fno-tree-scev-cprop -c
ionf2mqq.c
during GIMPLE pass: vect
ionf2mqq.c: In function 'foo':
ionf2mqq.c:9:1: internal compiler error: in dump_printf_loc, at
dumpfile.cc:1359
9 | foo (void)
| ^~~
0x6c16b2 dump_printf_loc(dump_metadata_t const&, dump_user_location_t const&,
char const*, ...)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/dumpfile.cc:1359
0x119565b vect_do_peeling(_loop_vec_info*, tree_node*, tree_node*, tree_node**,
tree_node**, tree_node**, int, bool, bool, tree_node**)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vect-loop-manip.cc:2969
0x1187e99 vect_transform_loop(_loop_vec_info*, gimple*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vect-loop.cc:10807
0x11c6ca0 vect_transform_loops
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vectorizer.cc:1007
0x11c72de try_vectorize_loop_1
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vectorizer.cc:1153
0x11c72de try_vectorize_loop
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vectorizer.cc:1183
0x11c7694 execute
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-vectorizer.cc:1299
[Bug target/108950] New: [11/12/13 Regression] ICE: verify_gimple failed (error: conversion of register to a different size in 'view_convert_expr'; error: type mismatch in 'widen_sum_expr')
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108950
Bug ID: 108950
Summary: [11/12/13 Regression] ICE: verify_gimple failed
(error: conversion of register to a different size in
'view_convert_expr'; error: type mismatch in
'widen_sum_expr')
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: aarch64-linux-gnu
gcc 13.0.1 20230226 snapshot (g:e6d39f68d03c46637ca6e1bede3d28eae6278df3) ICEs
when compiling the following testcase w/ -O1:
int m;
short int n;
__attribute__ ((simd)) int
foo (void)
{
m += n;
m += n;
}
% aarch64-linux-gnu-gcc-13 -O1 -c t0pgrthf.c
t0pgrthf.c: In function 'foo.simdclone.0':
t0pgrthf.c:5:1: error: conversion of register to a different size in
'view_convert_expr'
5 | foo (void)
| ^~~
VIEW_CONVERT_EXPR(n.0_1);
_21 = VIEW_CONVERT_EXPR(n.0_1);
t0pgrthf.c:5:1: error: type mismatch in 'widen_sum_expr'
vector(4) int
vector(4) int
vector(4) int
vect_patt_19.21_28 = _25 w+ vect_m_lsm.20_27;
during GIMPLE pass: vect
t0pgrthf.c:5:1: internal compiler error: verify_gimple failed
0xf7c152 verify_gimple_in_cfg(function*, bool, bool)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/tree-cfg.cc:5648
0xe39450 execute_function_todo
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/passes.cc:2091
0xe3993e execute_todo
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230226/work/gcc-13-20230226/gcc/passes.cc:2145
[Bug rtl-optimization/108461] '-fcompare-debug' failure (length) w/ -mcpu=e500mc -O2 -ftrapv -fno-expensive-optimizations -fno-guess-branch-probability -fno-tree-dce -fno-tree-dse
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108461
--- Comment #2 from Arseny Solokha ---
Created attachment 54540
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54540=edit
gkd diff #2
I believe this simpler testcase demonstrates the same issue.
long long int m, n;
void
foo (void)
{
if (m)
m = 0;
n = m = 0;
}
% powerpc-e300c3-linux-gnu-gcc-13 -mcpu=8540 -O2 -fcompare-debug
-fno-expensive-optimizations -fno-tree-dse -c fqrz27ap.c
powerpc-e300c3-linux-gnu-gcc-13: error: fqrz27ap.c: '-fcompare-debug' failure
(length)
[Bug debug/108784] '-fcompare-debug' failure (length) w/ --param ira-simple-lra-insn-threshold=1
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108784
Arseny Solokha changed:
What|Removed |Added
Target|aarch64-linux-gnu |aarch64-linux-gnu,
||x86_64-unknown-linux-gnu
Summary|'-fcompare-debug' failure |'-fcompare-debug' failure
|(length) w/ -O1 |(length) w/ --param
|-fharden-conditional-branch |ira-simple-lra-insn-thresho
|es -funroll-all-loops |ld=1
|--param |
|ira-simple-lra-insn-thresho |
|ld=1|
--- Comment #1 from Arseny Solokha ---
(In reply to Arseny Solokha from comment #0)
> I believe it has nothing to do w/
> -fharden-conditional-branches, as there are many testcases that fail w/ that
> omitted.
Like the following one (though I get hundreds of them each day starting from
that snapshot):
int
foo (int x)
{
int i, a = 0;
x <<= !!x;
for (i = 0; i < 7; ++i)
{
int i;
for (i = 0; i < 12; ++i)
{
++x;
a += x + i;
}
}
return x;
}
% gcc-13 -O1 -fcompare-debug --param ira-simple-lra-insn-threshold=1 -c
hqgybh5a.c
gcc-13: error: hqgybh5a.c: '-fcompare-debug' failure (length)
--- hqgybh5a.c.gkd 2023-02-23 21:10:57.181155878 +0700
+++ hqgybh5a.gk.c.gkd 2023-02-23 21:10:57.219153362 +0700
@@ -5,29 +5,36 @@
(note # 0 0 NOTE_INSN_DELETED)
(note # 0 0 [bb 2] NOTE_INSN_BASIC_BLOCK)
(note # 0 0 NOTE_INSN_PROLOGUE_END)
+(insn # 0 0 2 (set (reg/v:SI 0 ax [orig:86 x ] [86])
+(reg:SI 5 di [90])) "hqgybh5a.c":3:1# {*movsi_internal}
+ (nil))
(note # 0 0 NOTE_INSN_FUNCTION_BEG)
(insn # 0 0 2 (set (reg:CCZ 17 flags)
-(compare:CCZ (reg/v:SI 5 di [orig:86 x ] [86])
+(compare:CCZ (reg:SI 5 di [orig:86 x ] [86])
(const_int 0 [0]))) "hqgybh5a.c":6:9# {*cmpsi_ccno_1}
- (nil))
+ (expr_list:REG_DEAD (reg:SI 5 di [orig:86 x ] [86])
+(nil)))
(insn # 0 0 2 (set (reg:QI 2 cx [88])
(ne:QI (reg:CCZ 17 flags)
(const_int 0 [0]))) "hqgybh5a.c":6:9# {*setcc_qi}
(expr_list:REG_DEAD (reg:CCZ 17 flags)
(nil)))
(insn # 0 0 2 (parallel [
-(set (reg/v:SI 5 di [orig:84 x ] [84])
-(ashift:SI (reg/v:SI 5 di [orig:86 x ] [86])
+(set (reg/v:SI 0 ax [orig:84 x ] [84])
+(ashift:SI (reg/v:SI 0 ax [orig:86 x ] [86])
(reg:QI 2 cx [88])))
(clobber (reg:CC 17 flags))
]) "hqgybh5a.c":6:5# {*ashlsi3_1}
(expr_list:REG_DEAD (reg:QI 2 cx [88])
(expr_list:REG_UNUSED (reg:CC 17 flags)
(nil
-(insn # 0 0 2 (set (reg:SI 0 ax [orig:89 x ] [89])
-(plus:SI (reg/v:SI 5 di [orig:84 x ] [84])
-(const_int 84 [0x54]))) "hqgybh5a.c":19:10 discrim 1# {*leasi}
- (expr_list:REG_DEAD (reg/v:SI 5 di [orig:84 x ] [84])
+(insn # 0 0 2 (parallel [
+(set (reg:SI 0 ax [orig:89 x ] [89])
+(plus:SI (reg/v:SI 0 ax [orig:84 x ] [84])
+(const_int 84 [0x54])))
+(clobber (reg:CC 17 flags))
+]) "hqgybh5a.c":19:10 discrim 1# {*addsi_1}
+ (expr_list:REG_UNUSED (reg:CC 17 flags)
(nil)))
(insn # 0 0 2 (use (reg/i:SI 0 ax)) "hqgybh5a.c":20:1#
(nil))
[Bug tree-optimization/108855] New: [13 Regression] ICE in eliminate_unnecessary_stmts, at tree-ssa-dce.cc:1518
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108855
Bug ID: 108855
Summary: [13 Regression] ICE in eliminate_unnecessary_stmts, at
tree-ssa-dce.cc:1518
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.1 20230219 snapshot (g:b9c83e7789f7eec9871e370739baa55fd70be4cf) ICEs
when compiling the following testcase w/ -O1:
int m;
int
undefined (int);
__attribute__ ((pure, returns_twice)) int
bar (void)
{
m = 1;
while (m)
m = 2;
return m;
}
int
foo (void)
{
return undefined (bar ());
}
% gcc-13 -O1 -c gl1ueszy.c
during GIMPLE pass: dce
gl1ueszy.c: In function 'foo':
gl1ueszy.c:17:1: internal compiler error: in eliminate_unnecessary_stmts, at
tree-ssa-dce.cc:1518
17 | foo (void)
| ^~~
0x77557c eliminate_unnecessary_stmts
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230219/work/gcc-13-20230219/gcc/tree-ssa-dce.cc:1518
0x77557c perform_tree_ssa_dce
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230219/work/gcc-13-20230219/gcc/tree-ssa-dce.cc:1951
0x102b6da tree_ssa_dce
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230219/work/gcc-13-20230219/gcc/tree-ssa-dce.cc:1986
0x102b6da execute
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230219/work/gcc-13-20230219/gcc/tree-ssa-dce.cc:2027
[Bug target/108832] New: [13 Regression] ICE in replace_rtx, at rtlanal.cc:3358
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108832
Bug ID: 108832
Summary: [13 Regression] ICE in replace_rtx, at rtlanal.cc:3358
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: x86_64-pc-linux-gnu
gcc 13.0.1 20230212 snapshot (g:06ca0c9abb260266b688e2c2154c72214bb47076) ICEs
when compiling the following testcase w/ -O2 -funroll-loops:
unsigned int m;
short int n;
long int
bar (unsigned int x)
{
return x ? x : 1;
}
__attribute__ ((simd)) void
foo (void)
{
int a;
a = m / bar (3);
n = 1 % bar (a << 1);
}
% x86_64-pc-linux-gnu-gcc-13 -O2 -funroll-loops -c rxkpgn0d.c
during RTL pass: peephole2
rxkpgn0d.c: In function 'foo.simdclone.7':
rxkpgn0d.c:17:1: internal compiler error: in replace_rtx, at rtlanal.cc:3358
17 | }
| ^
0x73a043 replace_rtx(rtx_def*, rtx_def*, rtx_def*, bool)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/rtlanal.cc:3358
0xe97803 replace_rtx(rtx_def*, rtx_def*, rtx_def*, bool)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/rtlanal.cc:3397
0xe97803 replace_rtx(rtx_def*, rtx_def*, rtx_def*, bool)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/rtlanal.cc:3397
0x19035d6 gen_peephole2_125(rtx_insn*, rtx_def**)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/config/i386/i386.md:22054
0x1c816cc peephole2_17
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/config/i386/i386.md:1077
0x1c816cc peephole2_19
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/config/i386/i386.md:1094
0x1cbb55d peephole2_46
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/config/i386/i386.md:5200
0xe62447 peephole2_optimize
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/recog.cc:4180
0xe62447 rest_of_handle_peephole2
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/recog.cc:4331
0xe62447 execute
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/recog.cc:4368
[Bug target/108816] New: ICE in operator[], at vec.h:889
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108816
Bug ID: 108816
Summary: ICE in operator[], at vec.h:889
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: aarch64-linux-gnu
gcc 13.0.1 20230212 snapshot (g:06ca0c9abb260266b688e2c2154c72214bb47076) ICEs
when compiling the following testcase w/ -mcpu=cortex-x3 -O2
-fvect-cost-model=dynamic:
int m;
void
foo (int p[][16], unsigned int x)
{
while (x < 4)
{
int j;
for (j = x * 4; j < (x + 1) * 4 - 2; j++)
p[0][j] = p[m][j];
++x;
}
}
% aarch64-linux-gnu-gcc-13 -mcpu=cortex-x3 -O2 -fvect-cost-model=dynamic -c
ck0pb2mc.c
during GIMPLE pass: vect
ck0pb2mc.c: In function 'foo':
ck0pb2mc.c:4:1: internal compiler error: in operator[], at vec.h:889
4 | foo (int p[][16], unsigned int x)
| ^~~
0x77eef2 vec::operator[](unsigned int)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/vec.h:889
0x77eef8 vec::operator[](unsigned int)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-cfg.cc:9409
0x77eef8 extract_true_false_edges_from_block(basic_block_def*, edge_def**,
edge_def**)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-cfg.cc:9410
0x11e6cdb vect_loop_versioning(_loop_vec_info*, gimple*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vect-loop-manip.cc:3724
0x11da221 vect_transform_loop(_loop_vec_info*, gimple*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vect-loop.cc:10767
0x121f2cf vect_transform_loops
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vectorizer.cc:1007
0x121f94c try_vectorize_loop_1
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vectorizer.cc:1153
0x121f94c try_vectorize_loop
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vectorizer.cc:1183
0x121fcf4 execute
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vectorizer.cc:1299
[Bug debug/108784] New: '-fcompare-debug' failure (length) w/ -O1 -fharden-conditional-branches -funroll-all-loops --param ira-simple-lra-insn-threshold=1
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108784
Bug ID: 108784
Summary: '-fcompare-debug' failure (length) w/ -O1
-fharden-conditional-branches -funroll-all-loops
--param ira-simple-lra-insn-threshold=1
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: compare-debug-failure
Severity: normal
Priority: P3
Component: debug
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: aarch64-linux-gnu
Created attachment 54457
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54457=edit
gkd diff
gcc 13.0.1 20230212 snapshot (g:06ca0c9abb260266b688e2c2154c72214bb47076) fails
-fcompare-debug check when compiling the following testcase w/ -O1
-fharden-conditional-branches -funroll-all-loops --param
ira-simple-lra-insn-threshold=1:
int m;
void
foo (int x)
{
int i;
if (m)
m += m;
for (i = 0; i < 7; ++i)
{
__int128 a = 2;
m += x * m && m / a;
}
while (x < 1)
while (x < 1)
++x;
}
% aarch64-linux-gnu-gcc-13 -O1 -fcompare-debug -fharden-conditional-branches
-funroll-all-loops --param ira-simple-lra-insn-threshold=1 -c cdyfgse4.c
aarch64-linux-gnu-gcc-13: error: cdyfgse4.c: '-fcompare-debug' failure (length)
gkd diff attached.
W/ gcc 13.0.1 20230212 snapshot I get massive -fcompare-debug failures w/ all
kinds of test cases I have, either generated or real-world programs, when
compiling for aarch64-linux-gnu w/ ira-simple-lra-insn-threshold parameter
values ranging 1 to 3. I believe it has nothing to do w/
-fharden-conditional-branches, as there are many testcases that fail w/ that
omitted.
[Bug tree-optimization/108783] New: [13 Regression] ICE: verify_flow_info failed (error: returns_twice call is not first in basic block 3)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108783
Bug ID: 108783
Summary: [13 Regression] ICE: verify_flow_info failed (error:
returns_twice call is not first in basic block 3)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.1 20230212 snapshot (g:06ca0c9abb260266b688e2c2154c72214bb47076) ICEs
when compiling the following testcase w/ -O1:
int
bar (int x)
{
return x;
}
__attribute__((returns_twice)) int
foo (int x, int y)
{
int a;
a = bar (x);
(void) foo (x, y);
return y && a && a;
}
% gcc-13 -O1 -c ibxb9fcz.c
ibxb9fcz.c: In function 'foo':
ibxb9fcz.c:8:1: error: returns_twice call is not first in basic block 3
8 | foo (int x, int y)
| ^~~
foo (x_9(D), y_12(D));
during GIMPLE pass: reassoc
ibxb9fcz.c:8:1: internal compiler error: verify_flow_info failed
0xa06a6d verify_flow_info()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/cfghooks.cc:285
0xe0b153 execute_function_todo
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/passes.cc:2103
0xe0b69e execute_todo
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/passes.cc:2145
[Bug tree-optimization/108782] New: [13 Regression] ICE in add_phi_arg, at tree-phinodes.cc:359
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108782
Bug ID: 108782
Summary: [13 Regression] ICE in add_phi_arg, at
tree-phinodes.cc:359
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.1 20230212 snapshot (g:06ca0c9abb260266b688e2c2154c72214bb47076) ICEs
when compiling the following testcase w/ -O1 -fno-tree-copy-prop:
int m;
__attribute__ ((simd)) int
foo (void)
{
int a, b = 0;
m = a = 1;
while (a != 0)
{
b = m;
m = 2;
++a;
}
return b;
}
% gcc-13 -O1 -fno-tree-copy-prop -w -c nkivh61j.c
during GIMPLE pass: vect
nkivh61j.c: In function 'foo.simdclone.0':
nkivh61j.c:4:1: internal compiler error: in add_phi_arg, at
tree-phinodes.cc:359
4 | foo (void)
| ^~~
0x764623 add_phi_arg(gphi*, tree_node*, edge_def*, unsigned int)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-phinodes.cc:359
0x118e3a6 vectorizable_recurr(_loop_vec_info*, _stmt_vec_info*, gimple**,
_slp_tree*, vec*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vect-loop.cc:8489
0x1f73bf8 vect_transform_stmt(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vect-stmts.cc:11467
0x119fff3 vect_transform_loop(_loop_vec_info*, gimple*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vect-loop.cc:10890
0x11dfde0 vect_transform_loops
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vectorizer.cc:1007
0x11e041e try_vectorize_loop_1
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vectorizer.cc:1153
0x11e041e try_vectorize_loop
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vectorizer.cc:1183
0x11e07d4 execute
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230212/work/gcc-13-20230212/gcc/tree-vectorizer.cc:1299
[Bug tree-optimization/106249] [13 Regression] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:645 since r13-1450-gd2a898666609452e
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106249 Arseny Solokha changed: What|Removed |Added Status|RESOLVED|REOPENED Resolution|FIXED |--- --- Comment #11 from Arseny Solokha --- Actually, testcase from comment 0 still ICEs for me, as well as its slightly modified version: subroutine foo() implicit none integer :: x integer :: a(0:1) 10 x = x + 1 20 if ((a(x) .ne. (-1)) .or. (a(x + 1) .ne. (-1))) then x = x + 1 go to 20 end if call undefined() go to 10 return end subroutine foo % gfortran-13 -O1 -fpeel-loops -funreachable-traps -c comment0.f during GIMPLE pass: cunroll comment0.f:1:23: 1 | SUBROUTINE YYPARS(LSTACK,YYPS,YYSTAT) | ^ internal compiler error: in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:645 0x7804b7 check_loop_closed_ssa_def /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/tree-ssa-loop-manip.cc:645 0x10fc384 check_loop_closed_ssa_bb /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/tree-ssa-loop-manip.cc:659 0x10fd746 verify_loop_closed_ssa(bool, loop*) /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/tree-ssa-loop-manip.cc:695 0x10fd746 verify_loop_closed_ssa(bool, loop*) /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/tree-ssa-loop-manip.cc:679 0x10e5461 tree_unroll_loops_completely /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/tree-ssa-loop-ivcanon.cc:1499 0x10e54d1 execute /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/tree-ssa-loop-ivcanon.cc:1603 0x10e54d1 execute /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/tree-ssa-loop-ivcanon.cc:1593 % gfortran-13 -O1 -fpeel-loops -funreachable-traps -c comment11.f90 during GIMPLE pass: cunroll comment11.f90:1:14: 1 | subroutine foo() | ^ internal compiler error: in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:645 % gfortran-13 -v Using built-in specs. COLLECT_GCC=gfortran-13 COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-pc-linux-gnu/13/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/13 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/13/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/13 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/13/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/13/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/13/include/g++-v13 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/13/python --enable-languages=c,c++,fortran --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --disable-nls --disable-libunwind-exceptions --enable-checking=yes --with-gcc-major-version-only --enable-esp --enable-libstdcxx-time --disable-libstdcxx-pch --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu --disable-multilib --with-multilib-list=m64 --disable-fixed-point --enable-targets=all --enable-libgomp --disable-libssp --disable-libada --disable-cet --disable-systemtap --enable-valgrind-annotations --disable-vtable-verify --disable-libvtv --without-zstd --enable-lto --with-isl --disable-isl-version-check --enable-default-ssp Thread model: posix Supported LTO compression algorithms: zlib gcc version 13.0.1 20230205 (experimental) (GCC)
[Bug c++/108706] New: [13 Regression] Indefinite recursion when compiling gcc/testsuite/g++.dg/cpp23/static-operator-call5.C w/ -g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108706 Bug ID: 108706 Summary: [13 Regression] Indefinite recursion when compiling gcc/testsuite/g++.dg/cpp23/static-operator-call5.C w/ -g Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc 13.0.1 20230205 snapshot (g:d042f118798ae0648b45f97e63b0e5ab7c82c8ef) ICEs when compiling gcc/testsuite/g++.dg/cpp23/static-operator-call5.C w/ -std=c++23 -g: % g++-13 -std=c++23 -g -c gcc/testsuite/g++.dg/cpp23/static-operator-call5.C g++-13: internal compiler error: Segmentation fault signal terminated program cc1plus (gdb) where 20 #0 0x00caca07 in ggc_internal_alloc (size=size@entry=48, f=f@entry=0x0, s=s@entry=0, n=n@entry=1) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/ggc-page.cc:1278 #1 0x00ea2939 in ggc_internal_cleared_alloc (size=48, f=f@entry=0x0, s=s@entry=0, n=n@entry=1) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/ggc-common.cc:114 #2 0x014e210e in ggc_internal_cleared_alloc (s=) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/ggc.h:149 #3 ggc_alloc_cleared_tree_node_stat (s=) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/ggc.h:325 #4 make_node (code=code@entry=BASELINK) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/tree.cc:1218 #5 0x00ba1b6c in build_baselink (binfo=0x77961720, access_binfo=0x77961720, functions=0x7797a4c0, optype=0x0) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/search.cc:1082 #6 0x00ba2f99 in lookup_member (xbasetype=, name=, protect=protect@entry=0, want_type=want_type@entry=false, complain=complain@entry=3, afi=afi@entry=0x0) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/search.cc:1224 #7 0x00a671a2 in lambda_function (lambda=lambda@entry=0x7797c690) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/lambda.cc:179 #8 0x00a75974 in write_closure_type_name (type=0x7797c690) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:1804 #9 write_unqualified_name (decl=0x77976688) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:1511 #10 0x00a76c9d in write_local_name (entity=, local_entity=, function=) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:2175 #11 write_name (decl=0x77976688, ignore_local_scope=) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:1057 #12 0x00a77213 in write_class_enum_type (type=0x7797c690) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/tree.h:3654 #13 write_type (type=0x7797c690) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:2337 #14 0x00a7747e in write_type (type=0x7797cb28) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:2413 #15 0x00a7911f in write_method_parms (parm_types=0x7797e168, method_p=, decl=) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:2897 #16 0x00a75a78 in write_closure_type_name (type=) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:1819 #17 write_unqualified_name (decl=0x77976688) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:1511 #18 0x00a76c9d in write_local_name (entity=, local_entity=, function=) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:2175 #19 write_name (decl=0x77976688, ignore_local_scope=) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:1057 (More stack frames follow...) (gdb) where -20 #1082279 0x00a7911f in write_method_parms (parm_types=0x7797e168, method_p=, decl=) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:2897 #1082280 0x00a75a78 in write_closure_type_name (type=) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:1819 #1082281 write_unqualified_name (decl=0x77976688) at /var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cp/mangle.cc:1511 #1082282 0x00a7f1cd in write_prefix (node=0x7797c690) at
[Bug ipa/108702] New: [13 Regression] ICE in get_partitioning_class, at symtab.cc:2096
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108702
Bug ID: 108702
Summary: [13 Regression] ICE in get_partitioning_class, at
symtab.cc:2096
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: lto
Severity: normal
Priority: P3
Component: ipa
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
CC: marxin at gcc dot gnu.org
Target Milestone: ---
gcc 13.0.1 20230205 snapshot (g:d042f118798ae0648b45f97e63b0e5ab7c82c8ef) ICEs
when compiling gcc/testsuite/g++.dg/ext/stmtexpr19.C w/ -flto:
% g++-13 -flto -c gcc/testsuite/g++.dg/ext/stmtexpr19.C
during IPA pass: modref
gcc/testsuite/g++.dg/ext/stmtexpr19.C:17:12: internal compiler error: in
get_partitioning_class, at symtab.cc:2096
17 | int main(){}
|^
0x79f533 symtab_node::get_partitioning_class()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/symtab.cc:2096
0x1061f27 lto_output_varpool_node
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/lto-cgraph.cc:631
0x1061f27 output_symtab()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/lto-cgraph.cc:999
0x1079c3b lto_output()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/lto-streamer-out.cc:2825
0x1107d61 write_lto
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/passes.cc:2777
0x1107d61 ipa_write_summaries_1
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/passes.cc:2841
0x1107d61 ipa_write_summaries()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/passes.cc:2897
0xd3c19e ipa_passes
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cgraphunit.cc:2249
0xd3c19e symbol_table::compile()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cgraphunit.cc:2322
0xd3ebc7 symbol_table::compile()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cgraphunit.cc:2302
0xd3ebc7 symbol_table::finalize_compilation_unit()
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230205/work/gcc-13-20230205/gcc/cgraphunit.cc:2574
[Bug debug/108656] [12/13 Regression] '-fcompare-debug' failure (length) w/ -O2 -fno-ipa-pure-const -fno-tree-dce --param early-inlining-insns=0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108656 --- Comment #1 from Arseny Solokha --- The snapshot date is of course wrong. It should read "gcc 13.0.1 20230119 snapshot (g:2e32a12c04c72f692a7bd119fd3e4e5b74392c9d)".
[Bug debug/108656] New: [12/13 Regression] '-fcompare-debug' failure (length) w/ -O2 -fno-ipa-pure-const -fno-tree-dce --param early-inlining-insns=0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108656
Bug ID: 108656
Summary: [12/13 Regression] '-fcompare-debug' failure (length)
w/ -O2 -fno-ipa-pure-const -fno-tree-dce --param
early-inlining-insns=0
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: compare-debug-failure
Severity: normal
Priority: P3
Component: debug
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
g++ 13.0.0 20220515 snapshot (g:18547874ee205d830acb31f1e3c1c89fc7725c14) fails
-fcompare-debug check when compiling the following testcase w/ -O2
-fno-ipa-pure-const -fno-tree-dce --param early-inlining-insns=0:
volatile int q;
int m, n;
int
quux (int x)
{
return x;
}
int
corge (int x, int y)
{
if (x < 0 || x > y)
return 1;
return 0;
}
int
baz (void)
{
return m ? q : 0;
}
__attribute__ ((pure, returns_twice)) int
bar (void)
{
(void) baz ();
return 0;
}
int
foo (void)
{
int a = quux (0);
int b = corge (bar (), n);
return 0;
}
% gcc-13 -O2 -fcompare-debug -fno-ipa-pure-const -fno-tree-dce --param
early-inlining-insns=0 -c c46sgk3m.c
gcc-13: error: c46sgk3m.c: '-fcompare-debug' failure (length)
gkd diff:
(note # 0 0 NOTE_INSN_DELETED)
Declarations used by foo, sorted by DECL_UID:
-1: static volatile int q;
-0: static int m;
+2: static volatile int q;
+1: static int m;
+0: static int n;
;; Function foo (foo, funcdef_no=4, cgraph_uid=5, symbol_order=7)
@@ -184,17 +185,17 @@
(jump_insn # 0 0 2 (set (pc)
(if_then_else (eq (reg:CCZ 17 flags)
(const_int 0 [0]))
-(label_ref #)
+(label_ref:DI #)
(pc))) "c46sgk3m.c":22:16# {*jcc}
(expr_list:REG_DEAD (reg:CCZ 17 flags)
(int_list:REG_BR_PROB 536870916 (nil)))
- -> 12)
+ -> 13)
(note # 0 0 [bb 3] NOTE_INSN_BASIC_BLOCK)
-(insn:TI # 0 0 3 (set (reg:SI 0 ax [orig:83 iftmp.0_10 ] [83])
+(insn:TI # 0 0 3 (set (reg:SI 0 ax [orig:84 iftmp.0_10 ] [84])
(mem/v/c:SI (symbol_ref:DI ("q") [flags 0x2] ) [ q+0 S4
A32])) "c46sgk3m.c":22:16 discrim 1# {*movsi_internal}
- (expr_list:REG_UNUSED (reg:SI 0 ax [orig:83 iftmp.0_10 ] [83])
+ (expr_list:REG_UNUSED (reg:SI 0 ax [orig:84 iftmp.0_10 ] [84])
(nil)))
-(code_label # 0 0 4 12 (nil) [1 uses])
+(code_label # 0 0 4 13 (nil) [1 uses])
(note # 0 0 [bb 4] NOTE_INSN_BASIC_BLOCK)
(insn:TI # 0 0 4 (parallel [
(set (reg:DI 0 ax)
[Bug c++/108566] New: [11/12/13 Regression] ICE: tree check: expected tree that contains 'decl with visibility' structure, have 'field_decl' in write_unqualified_name, at cp/mangle.cc:1438
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108566
Bug ID: 108566
Summary: [11/12/13 Regression] ICE: tree check: expected tree
that contains 'decl with visibility' structure, have
'field_decl' in write_unqualified_name, at
cp/mangle.cc:1438
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.1 20230122 snapshot (g:844eab81da3f49da88e8bb02e2b1255ba88d02b0) ICEs
when compiling the following testcase, extracted from
test/CodeGenCXX/mangle-nttp-anon-union.cpp from the clang 15 test suite, w/
-std=c++20:
template
struct wrapper1 {
union {
struct {
T RightName;
};
};
};
template void dummy(){}
void uses() {
dummy{123.0}>();
}
% g++-13 -std=c++20 -c h6lcbgyp.cpp
h6lcbgyp.cpp: In function 'void uses()':
h6lcbgyp.cpp:13:33: internal compiler error: tree check: expected tree that
contains 'decl with visibility' structure, have 'field_decl' in
write_unqualified_name, at cp/mangle.cc:1438
13 | dummy{123.0}>();
| ~~^~
0x894b25 tree_contains_struct_check_failed(tree_node const*,
tree_node_structure_enum, char const*, int, char const*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/tree.cc:9028
0x700b5b contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/tree.h:3644
0x700b5b write_unqualified_name
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/mangle.cc:1438
0xa7b3b5 write_expression
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/mangle.cc:3424
0xa7b373 write_expression
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/mangle.cc:3430
0xa7e18a mangle_template_parm_object(tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/mangle.cc:4607
0xb6b6af create_template_parm_object
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/pt.cc:7227
0xb6b6af convert_nontype_argument
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/pt.cc:7734
0xb6b6af convert_template_argument
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/pt.cc:8659
0xb6c402 coerce_template_parms(tree_node*, tree_node*, tree_node*, int, bool)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/pt.cc:9151
0xb8bbc5 fn_type_unification(tree_node*, tree_node*, tree_node*, tree_node*
const*, unsigned int, tree_node*, unification_kind_t, int, conversion**, bool,
bool)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/pt.cc:22255
0x96c4a4 add_template_candidate_real
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/call.cc:3593
0x96d6b6 add_template_candidate
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/call.cc:3681
0x96d6b6 add_candidates
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/call.cc:6593
0x976811 add_candidates
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/call.cc:4891
0x976811 perform_overload_resolution
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/call.cc:4908
0x97b0c2 build_new_function_call(tree_node*, vec**, int)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/call.cc:5015
0xbae6da finish_call_expr(tree_node*, vec**, bool,
bool, int)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/semantics.cc:2923
0xb08fa8 cp_parser_postfix_expression
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/parser.cc:7957
0xaf02e4 cp_parser_binary_expression
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/cp/parser.cc:10101
[Bug ipa/108509] New: [13 Regression] ICE in add, at hash-set.h:64
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108509
Bug ID: 108509
Summary: [13 Regression] ICE in add, at hash-set.h:64
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: ipa
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
CC: marxin at gcc dot gnu.org
Target Milestone: ---
gcc 13.0.1 20230122 snapshot (g:844eab81da3f49da88e8bb02e2b1255ba88d02b0) ICEs
when compiling the following testcase, reduced from
test/CodeGenCXX/vtable-available-externally.cpp from the clang 15 test suite,
w/ -O1 -fdevirtualize -fno-tree-fre:
struct B {
virtual void deref ();
};
struct RefPtr {
B *p;
RefPtr ()
{
p->deref ();
}
};
void
f ()
{
RefPtr b;
}
% g++-13 -O1 -fdevirtualize -fno-tree-fre -c ce52fpmj.cpp
during IPA pass: remove_symbols
ce52fpmj.cpp:18:1: internal compiler error: in add, at hash-set.h:64
18 | }
| ^
0x7fa104 hash_set
>::add(symtab_node* const&)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/hash-set.h:64
0x7faaf4 hash_set >::add(void* const&)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/tree.h:3644
0x7faaf4 walk_polymorphic_call_targets
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/ipa.cc:185
0x7faaf4 symbol_table::remove_unreachable_nodes(_IO_FILE*)
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/ipa.cc:430
0x1108079 execute_todo
/var/tmp/portage/sys-devel/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/passes.cc:2159
[Bug rtl-optimization/108508] New: [13 Regression] ICE in insert_def_after, at rtl-ssa/accesses.cc:622
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108508
Bug ID: 108508
Summary: [13 Regression] ICE in insert_def_after, at
rtl-ssa/accesses.cc:622
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: rtl-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: aarch64-linux-gnu
gcc 13.0.1 20230122 snapshot (g:844eab81da3f49da88e8bb02e2b1255ba88d02b0) ICEs
when compiling the following testcase, reduced from
gcc/testsuite/gcc.target/aarch64/vldN_lane_1.c, w/ -O3
-fharden-conditional-branches -fno-dce -fno-guess-branch-probability:
#include
int
test_vld3q_lane_f64 (void)
{
float64x2x3_t vectors;
float64_t temp[2];
int i, j;
for (i = 0; i < 3; i++)
{
vst1q_f64 (temp, vectors.val[i]);
for (j = 0; j < 2; j++)
if (temp[j])
return 1;
}
return 0;
}
void
foo (void)
{
if (test_vld3q_lane_f64 () || test_vld3q_lane_f64 ())
__builtin_abort ();
}
% aarch64-linux-gnu-gcc-13 -O3 -fharden-conditional-branches -fno-dce
-fno-guess-branch-probability -c sajwlgxq.c
during RTL pass: fwprop1
sajwlgxq.c: In function 'foo':
sajwlgxq.c:26:1: internal compiler error: in insert_def_after, at
rtl-ssa/accesses.cc:622
26 | }
| ^
0x884123 rtl_ssa::function_info::insert_def_after(rtl_ssa::def_info*,
rtl_ssa::def_info*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/accesses.cc:622
0x1d86aa6 rtl_ssa::function_info::append_phi(rtl_ssa::ebb_info*,
rtl_ssa::phi_info*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/blocks.cc:383
0x1d86aa6 rtl_ssa::function_info::create_phi(rtl_ssa::ebb_info*,
rtl_ssa::resource_info, rtl_ssa::access_info**, unsigned int)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/blocks.cc:507
0x1d86c70 rtl_ssa::function_info::create_degenerate_phi(rtl_ssa::ebb_info*,
rtl_ssa::set_info*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/blocks.cc:529
0x1cb5e20 rtl_ssa::function_info::finalize_new_accesses(rtl_ssa::insn_change&)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/changes.cc:508
0x1cb658a
rtl_ssa::function_info::change_insns(array_slice)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/changes.cc:659
0x1cb6cf4 rtl_ssa::function_info::change_insn(rtl_ssa::insn_change&)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/changes.cc:717
0x1b49d55 try_fwprop_subst_pattern
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:553
0x1b49d55 try_fwprop_subst
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:627
0x1b4a349 forward_propagate_and_simplify
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:823
0x1b4a349 forward_propagate_into
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:886
0x1b4a6f6 fwprop_insn
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:943
0x1b4a8e2 fwprop
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:995
[Bug rtl-optimization/108461] '-fcompare-debug' failure (length) w/ -mcpu=e500mc -O2 -ftrapv -fno-expensive-optimizations -fno-guess-branch-probability -fno-tree-dce -fno-tree-dse
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108461 --- Comment #1 from Arseny Solokha --- Created attachment 54304 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54304=edit gkd diff w/ -m64 Compiling w/ -m64 instead of -m32 yields the attached gkd diff. This PR can be actually a duplicate of PR108061.
[Bug rtl-optimization/108461] New: '-fcompare-debug' failure (length) w/ -mcpu=e500mc -O2 -ftrapv -fno-expensive-optimizations -fno-guess-branch-probability -fno-tree-dce -fno-tree-dse
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108461
Bug ID: 108461
Summary: '-fcompare-debug' failure (length) w/ -mcpu=e500mc -O2
-ftrapv -fno-expensive-optimizations
-fno-guess-branch-probability -fno-tree-dce
-fno-tree-dse
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: compare-debug-failure
Severity: normal
Priority: P3
Component: rtl-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: powerpc-e300c3-linux-gnu
Created attachment 54303
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54303=edit
gkd diff w/ -m32
gcc 13.0.0 20230115 snapshot (g:05cd79c2420d3fe6d84bad694d9808982112b0f0) fails
-fcompare-debug check when compiling the following testcase w/ -mcpu=e500mc -O2
-fcompare-debug -ftrapv -fno-expensive-optimizations
-fno-guess-branch-probability -fno-tree-dce -fno-tree-dse:
char m;
void
bar (int y)
{
int a = 1;
a = 0x3e10 < y + a + 0x3e00;
}
void
foo (char x)
{
for (x = 0; x < 3; ++x)
{
if (m)
bar (m);
m = x;
}
}
% powerpc-e300c3-linux-gnu-gcc-13 -m32 -mcpu=e500mc -O2 -fcompare-debug -ftrapv
-fno-expensive-optimizations -fno-guess-branch-probability -fno-tree-dce
-fno-tree-dse -c oxbijmxo.c
powerpc-e300c3-linux-gnu-gcc-13: error: oxbijmxo.c: '-fcompare-debug' failure
(length)
gkd diff attached.
[Bug tree-optimization/108367] New: [12/13 Regression] ICE: verify_ssa failed (error: definition in block 4 does not dominate use in block 3)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108367 Bug ID: 108367 Summary: [12/13 Regression] ICE: verify_ssa failed (error: definition in block 4 does not dominate use in block 3) Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code, openacc Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc 13.0.0 20230108 snapshot (g:e3a4bd0bbdccdde0cff85f93064b01a44fb10d2a) ICEs when compiling libgomp/testsuite/libgomp.oacc-c-c++-common/pr89376.c w/ -Os -fopenacc -fno-tree-fre -fno-tree-vrp -g: % gcc-13 -Os -fopenacc -fno-tree-fre -fno-tree-vrp -g -c libgomp/testsuite/libgomp.oacc-c-c++-common/pr89376.c libgomp/testsuite/libgomp.oacc-c-c++-common/pr89376.c: In function 'main._omp_fn.0': libgomp/testsuite/libgomp.oacc-c-c++-common/pr89376.c:14:1: error: definition in block 4 does not dominate use in block 3 14 | } | ^ for SSA_NAME: rw_7 in statement: # DEBUG rw => rw_7 during GIMPLE pass: parloops libgomp/testsuite/libgomp.oacc-c-c++-common/pr89376.c:14:1: internal compiler error: verify_ssa failed 0x1149446 verify_ssa(bool, bool) /var/tmp/portage/sys-devel/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/tree-ssa.cc:1211 0xdfea25 execute_function_todo /var/tmp/portage/sys-devel/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/passes.cc:2098 0xdfee5e execute_todo /var/tmp/portage/sys-devel/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/passes.cc:2145
[Bug target/108272] [13 Regression] ICE in gen_movxo, at config/rs6000/mma.md:339
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108272 --- Comment #5 from Arseny Solokha --- (In reply to Kewen Lin from comment #4) > Yes, please file a new one. Thanks again. I've filed PR108348 for that.
[Bug target/108348] New: ICE in gen_movoo, at config/rs6000/mma.md:292
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108348
Bug ID: 108348
Summary: ICE in gen_movoo, at config/rs6000/mma.md:292
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-invalid-code
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: powerpc-*-linux-gnu
gcc 13.0.0 20230108 snapshot (g:e3a4bd0bbdccdde0cff85f93064b01a44fb10d2a) ICEs
when compiling gcc/testsuite/gcc.target/powerpc/pr96506-1.c w/ -m32 for a
target w/o MMA support:
% powerpc-e300c3-linux-gnu-gcc-13 -m32 -c
gcc/testsuite/gcc.target/powerpc/pr96506-1.c
during RTL pass: expand
gcc/testsuite/gcc.target/powerpc/pr96506-1.c: In function 'foo0':
gcc/testsuite/gcc.target/powerpc/pr96506-1.c:20:3: internal compiler error: in
gen_movoo, at config/rs6000/mma.md:292
20 | bar0 (v); /* { dg-error "invalid use of MMA operand of type
.__vector_pair. as a function parameter" } */
| ^~~~
0x78e467 gen_movoo(rtx_def*, rtx_def*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/config/rs6000/mma.md:292
0xa8cfa7 rtx_insn* insn_gen_fn::operator()(rtx_def*,
rtx_def*) const
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/recog.h:407
0xa8cfa7 emit_move_insn_1(rtx_def*, rtx_def*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/expr.cc:4172
0xa8d3af emit_move_insn(rtx_def*, rtx_def*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/expr.cc:4342
0xa9573e store_expr(tree_node*, rtx_def*, int, bool, bool)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/expr.cc:6522
0x9461fb initialize_argument_information
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/calls.cc:1463
0x9461fb expand_call(tree_node*, rtx_def*, int)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/calls.cc:2969
0xa895af expand_expr_real_1(tree_node*, rtx_def*, machine_mode,
expand_modifier, rtx_def**, bool)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/expr.cc:11875
0x95da58 expand_expr
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/expr.h:310
0x95da58 expand_call_stmt
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/cfgexpand.cc:2831
0x95da58 expand_gimple_stmt_1
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/cfgexpand.cc:3880
0x95da58 expand_gimple_stmt
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/cfgexpand.cc:4044
0x96322e expand_gimple_basic_block
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/cfgexpand.cc:6096
0x964d57 execute
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/cfgexpand.cc:6822
[Bug target/108272] [13 Regression] ICE in gen_movxo, at config/rs6000/mma.md:339
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108272 --- Comment #3 from Arseny Solokha --- (In reply to Kewen Lin from comment #2) > Created attachment 54192 [details] > untested patch > > Hi @Arseny, I hope this patch can help to clear all the ICEs about > unexpected uses of MMA opaque types in inline asm, that is to filter those > noises duplicated to this bug. Indeed, I haven't seen such ICEs w/ the patch applied so far. Still get an ICE in gen_movoo, at config/rs6000/mma.md:292 when compiling gcc/testsuite/gcc.target/powerpc/pr96506-1.c w/ -m32, though. Do you want me to file another PR for that one?
[Bug lto/108330] New: [13 Regression] ICE in add, at hash-set.h:64
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108330 Bug ID: 108330 Summary: [13 Regression] ICE in add, at hash-set.h:64 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code, lto Severity: normal Priority: P3 Component: lto Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com CC: marxin at gcc dot gnu.org Target Milestone: --- gcc 13.0.0 20230101 snapshot (g:4f1314f547f69d3a2b1f16ce301267e3bfb4e427) ICEs when compiling gcc/testsuite/g++.dg/pr82128.C w/ -flto: % g++-13 -flto -c gcc/testsuite/g++.dg/pr82128.C during IPA pass: modref gcc/testsuite/g++.dg/pr82128.C:20:1: internal compiler error: in add, at hash-set.h:64 20 | } | ^ 0x7fdc6d hash_set >::add(void* const&) /var/tmp/portage/sys-devel/gcc-13.0.0_p20230101/work/gcc-13-20230101/gcc/hash-set.h:64 0x7fdc6d hash_set >::add(void* const&) /var/tmp/portage/sys-devel/gcc-13.0.0_p20230101/work/gcc-13-20230101/gcc/hash-set.h:56 0x7fdc6d compute_ltrans_boundary(lto_symtab_encoder_d*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20230101/work/gcc-13-20230101/gcc/lto-cgraph.cc:921 0x10fa1df ipa_write_summaries() /var/tmp/portage/sys-devel/gcc-13.0.0_p20230101/work/gcc-13-20230101/gcc/passes.cc:2897 0xd34497 ipa_passes /var/tmp/portage/sys-devel/gcc-13.0.0_p20230101/work/gcc-13-20230101/gcc/cgraphunit.cc:2218 0xd34497 symbol_table::compile() /var/tmp/portage/sys-devel/gcc-13.0.0_p20230101/work/gcc-13-20230101/gcc/cgraphunit.cc:2291 0xd36ef7 symbol_table::compile() /var/tmp/portage/sys-devel/gcc-13.0.0_p20230101/work/gcc-13-20230101/gcc/cgraphunit.cc:2271 0xd36ef7 symbol_table::finalize_compilation_unit() /var/tmp/portage/sys-devel/gcc-13.0.0_p20230101/work/gcc-13-20230101/gcc/cgraphunit.cc:2543
[Bug tree-optimization/89098] ICE: verify_ssa failed (Error: definition in block 27 follows the use)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89098 --- Comment #3 from Arseny Solokha --- While the C testcase in comment 2 is definitely much shorter, current gcc 13 snapshot ICEs on gcc/testsuite/gcc.target/i386/pr63448.c w/ -O1 -fkeep-gc-roots-live --param max-slsr-cand-scan=1.
[Bug target/106736] [13 Regression] ICE in gen_movxo, at config/rs6000/mma.md:333
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106736 --- Comment #16 from Arseny Solokha --- (In reply to Kewen Lin from comment #15) > Thanks for reporting, confirmed. The function > rs6000_opaque_type_invalid_use_p only handles gassign, this failure shows > another usage with asm, so we need to teach about gasm. Since it's for a new > usage, I think it's better to have one separated bug for it. Do you mind to > file a new one? Sure, I've just filed PR108272. > Btw, excepting for this kind of asm usage, do you spot some others? Not yet. Due to the way my test setup works, I don't distinguish different causes of the same ICE. I'll try to collect more cases by the end of the week.
[Bug target/108272] New: [13 Regression] ICE in gen_movxo, at config/rs6000/mma.md:339
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108272
Bug ID: 108272
Summary: [13 Regression] ICE in gen_movxo, at
config/rs6000/mma.md:339
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-invalid-code
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
CC: linkw at gcc dot gnu.org
Target Milestone: ---
Target: powerpc-*-linux-gnu
This issue was originally reported in PR106736 comment 14.
gcc 13.0.0 20221225 snapshot (g:febb58d28bfa4b544ec7ffec2d61f46d25205ff0) ICEs
when compiling gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c:
% powerpc-e300c3-linux-gnu-gcc-13 -c
gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c
gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c: In function 'foo1':
gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c:20:10: warning: GCC vector
returned by reference: non-standard ABI extension with no compatibility
guarantee [-Wpsabi]
20 | vec[1] = __builtin_vsx_xvcvspbf16 (vec[0]);
| ~~~^~~
during RTL pass: expand
gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c: In function 'foo0':
gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c:9:3: internal compiler error:
in gen_movxo, at config/rs6000/mma.md:339
9 | asm ("#..." : "=d" (acc));
| ^~~
0x780433 gen_movxo(rtx_def*, rtx_def*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/config/rs6000/mma.md:339
0xa767b7 rtx_insn* insn_gen_fn::operator()(rtx_def*,
rtx_def*) const
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/recog.h:407
0xa767b7 emit_move_insn_1(rtx_def*, rtx_def*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/expr.cc:4172
0xa76bbf emit_move_insn(rtx_def*, rtx_def*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/expr.cc:4342
0xa7ef4e store_expr(tree_node*, rtx_def*, int, bool, bool)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/expr.cc:6519
0xa81703 expand_assignment(tree_node*, tree_node*, bool)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/expr.cc:6051
0x9479f7 expand_asm_stmt
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/cfgexpand.cc:3345
0x94bd29 expand_gimple_stmt_1
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/cfgexpand.cc:3877
0x94bd29 expand_gimple_stmt
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/cfgexpand.cc:4044
0x951d4e expand_gimple_basic_block
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/cfgexpand.cc:6096
0x953866 execute
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/cfgexpand.cc:6822
[Bug rtl-optimization/108241] New: [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108241 Bug ID: 108241 Summary: [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code, ra Severity: normal Priority: P3 Component: rtl-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- Target: aarch64-linux-gnu Created attachment 54160 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54160=edit Testcase gcc 13.0.0 20221225 snapshot (g:febb58d28bfa4b544ec7ffec2d61f46d25205ff0) ICEs when compiling the attached testcase w/ -Os -frounding-math -fvar-tracking-assignments -fno-dce -fno-trapping-math -fno-tree-dce -fno-tree-dse: % aarch64-linux-gnu-gcc-13 -Os -frounding-math -fvar-tracking-assignments -fno-dce -fno-trapping-math -fno-tree-dce -fno-tree-dse -c ahfmksrk.c during RTL pass: reload ahfmksrk.c: In function 'foo': ahfmksrk.c:60:1: internal compiler error: in lra_eliminate_regs_1, at lra-eliminations.cc:658 60 | } | ^ 0x738287 lra_eliminate_regs_1(rtx_insn*, rtx_def*, machine_mode, bool, bool, poly_int<2u, long>, bool) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:658 0xd698a2 lra_eliminate_regs_1(rtx_insn*, rtx_def*, machine_mode, bool, bool, poly_int<2u, long>, bool) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:437 0xd694b8 lra_eliminate_regs_1(rtx_insn*, rtx_def*, machine_mode, bool, bool, poly_int<2u, long>, bool) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:601 0xd6a258 eliminate_regs_in_insn(rtx_insn*, bool, bool, poly_int<2u, long>) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:1022 0xd6ab5d process_insn_for_elimination /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:1332 0xd6ab5d lra_eliminate(bool, bool) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:1400 0xd4e6d5 lra(_IO_FILE*) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra.cc:2497 0xd039b9 do_reload /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/ira.cc:5941 0xd039b9 execute /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/ira.cc:6127
[Bug target/106736] [13 Regression] ICE in gen_movxo, at config/rs6000/mma.md:333
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106736
--- Comment #14 from Arseny Solokha ---
W/ gcc 13.0.0 20221225 snapshot (g:febb58d28bfa4b544ec7ffec2d61f46d25205ff0) I
still get this ICE when compiling
gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c:
% powerpc-e300c3-linux-gnu-gcc-13 -c
gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c
gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c: In function 'foo1':
gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c:20:10: warning: GCC vector
returned by reference: non-standard ABI extension with no compatibility
guarantee [-Wpsabi]
20 | vec[1] = __builtin_vsx_xvcvspbf16 (vec[0]);
| ~~~^~~
during RTL pass: expand
gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c: In function 'foo0':
gcc/testsuite/gcc.target/powerpc/mma-builtin-3.c:9:3: internal compiler error:
in gen_movxo, at config/rs6000/mma.md:339
9 | asm ("#..." : "=d" (acc));
| ^~~
0x780433 gen_movxo(rtx_def*, rtx_def*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/config/rs6000/mma.md:339
0xa767b7 rtx_insn* insn_gen_fn::operator()(rtx_def*,
rtx_def*) const
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/recog.h:407
0xa767b7 emit_move_insn_1(rtx_def*, rtx_def*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/expr.cc:4172
0xa76bbf emit_move_insn(rtx_def*, rtx_def*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/expr.cc:4342
0xa7ef4e store_expr(tree_node*, rtx_def*, int, bool, bool)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/expr.cc:6519
0xa81703 expand_assignment(tree_node*, tree_node*, bool)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/expr.cc:6051
0x9479f7 expand_asm_stmt
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/cfgexpand.cc:3345
0x94bd29 expand_gimple_stmt_1
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/cfgexpand.cc:3877
0x94bd29 expand_gimple_stmt
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/cfgexpand.cc:4044
0x951d4e expand_gimple_basic_block
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/cfgexpand.cc:6096
0x953866 execute
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/cfgexpand.cc:6822
I don't get the ICE when compiling the testcase from comment 0, though.
[Bug target/108220] New: ICE: maximum number of generated reload insns per insn achieved (90)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108220 Bug ID: 108220 Summary: ICE: maximum number of generated reload insns per insn achieved (90) Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- Target: powerpc-e300c3-linux-gnu gcc 13.0.0 20221218 snapshot (g:fd69977febf399d1992bbf8d66ae9170e0a4dc9f) ICEs when compiling gcc/testsuite/gcc.target/powerpc/pr106550_1.c w/ -m32: % powerpc-e300c3-linux-gnu-gcc-13 -m32 -c gcc/testsuite/gcc.target/powerpc/pr106550_1.c during RTL pass: reload gcc/testsuite/gcc.target/powerpc/pr106550_1.c: In function 'foo': gcc/testsuite/gcc.target/powerpc/pr106550_1.c:17:1: internal compiler error: maximum number of generated reload insns per insn achieved (90) 17 | } | ^ 0xc8e805 lra_constraints(bool) /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/lra-constraints.cc:5137 0xc79e72 lra(_IO_FILE*) /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/lra.cc:2375 0xc2fc29 do_reload /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/ira.cc:5941 0xc2fc29 execute /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/ira.cc:6127
[Bug c++/108206] ICE: tree check: expected tree that contains 'decl minimal' structure, have 'error_mark' in merge_default_template_args, at cp/decl.cc:1563
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108206 --- Comment #1 from Arseny Solokha --- > % g++-13 -c vph5xonf.cc > vph5xonf.cc:1:11: error: 'WrongType' has not been declared > 1 | template void foo (T1); > | ^ > vph5xonf.cc:2:11: error: 'WrongType' has not been declared > 2 | template void bar (T2); > | ^ > zsh: exit 1 g++-13 -c vph5xonf.cc Please ignore that part.
[Bug c++/108206] New: ICE: tree check: expected tree that contains 'decl minimal' structure, have 'error_mark' in merge_default_template_args, at cp/decl.cc:1563
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108206 Bug ID: 108206 Summary: ICE: tree check: expected tree that contains 'decl minimal' structure, have 'error_mark' in merge_default_template_args, at cp/decl.cc:1563 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-invalid-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc 13.0.0 20221218 snapshot (g:fd69977febf399d1992bbf8d66ae9170e0a4dc9f) ICEs when compiling the following testcase: template void foo (T1); template void foo (T2); % g++-13 -c vph5xonf.cc vph5xonf.cc:1:11: error: 'WrongType' has not been declared 1 | template void foo (T1); | ^ vph5xonf.cc:2:11: error: 'WrongType' has not been declared 2 | template void bar (T2); | ^ zsh: exit 1 g++-13 -c vph5xonf.cc asolokha@czc101b91d ~/t1 % g++-13 -c vph5xonf.cc vph5xonf.cc:1:11: error: 'WrongType' has not been declared 1 | template void foo (T1); | ^ vph5xonf.cc:2:11: error: 'WrongType' has not been declared 2 | template void foo (T2); | ^ vph5xonf.cc:2:55: error: redefinition of default argument for '' 2 | template void foo (T2); | ^ vph5xonf.cc:2:55: internal compiler error: tree check: expected tree that contains 'decl minimal' structure, have 'error_mark' in merge_default_template_args, at cp/decl.cc:1563 0x88468e tree_contains_struct_check_failed(tree_node const*, tree_node_structure_enum, char const*, int, char const*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/tree.cc:8996 0x6d185d contains_struct_check(tree_node*, tree_node_structure_enum, char const*, int, char const*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/tree.h:3642 0x6d185d merge_default_template_args(tree_node*, tree_node*, bool) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/decl.cc:1563 0x9ff720 duplicate_decls(tree_node*, tree_node*, bool, bool) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/decl.cc:2371 0xabdd4c pushdecl(tree_node*, bool) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/name-lookup.cc:3686 0xabf011 do_pushdecl_with_scope /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/name-lookup.cc:4769 0xabf23b pushdecl_namespace_level(tree_node*, bool) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/name-lookup.cc:6125 0xb70268 push_template_decl(tree_node*, bool) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/pt.cc:6128 0xa0d399 start_decl(cp_declarator const*, cp_decl_specifier_seq*, int, tree_node*, tree_node*, tree_node**) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/decl.cc:5908 0xb10835 cp_parser_init_declarator /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/parser.cc:22854 0xb18d5e cp_parser_single_declaration /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/parser.cc:32459 0xb18f4c cp_parser_template_declaration_after_parameters /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/parser.cc:32012 0xb19860 cp_parser_explicit_template_declaration /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/parser.cc:32285 0xb1c504 cp_parser_declaration /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/parser.cc:14959 0xb1d051 cp_parser_toplevel_declaration /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/parser.cc:15051 0xb1d051 cp_parser_translation_unit /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/parser.cc:5090 0xb1d051 c_parse_file() /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cp/parser.cc:49389 0xc5d681 c_common_parse_file() /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c-family/c-opts.cc:1248
[Bug rtl-optimization/108193] New: [13 Regression] ICE in do_SUBST, at combine.cc:700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108193 Bug ID: 108193 Summary: [13 Regression] ICE in do_SUBST, at combine.cc:700 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: rtl-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- Target: aarch64-linux-gnu gcc 13.0.0 20221218 snapshot (g:fd69977febf399d1992bbf8d66ae9170e0a4dc9f) ICEs when compiling the following testcase w/ -O2 -fsplit-loops -ftree-parallelize-loops=2 -fno-tree-dominator-opts: subroutine foo (n, r) implicit none integer :: i, j, n real :: s, r(*) s = 0.0 do j = 1, 2 do i = j, n s = r(i) end do end do do i = 1, n do j = i, n s = s + 1 end do r(i) = s end do end subroutine foo % aarch64-linux-gnu-gfortran-13 -O2 -fsplit-loops -ftree-parallelize-loops=2 -fno-tree-dominator-opts -c fzcqm8no.f90 during RTL pass: combine fzcqm8no.f90:20:18: 20 | end subroutine foo | ^ internal compiler error: in do_SUBST, at combine.cc:700 0x845011 do_SUBST /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/combine.cc:700 0x1b53990 subst /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/combine.cc:5579 0x1b5671b try_combine /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/combine.cc:3299 0x1b5c19a combine_instructions /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/combine.cc:1410 0x1b5c19a rest_of_handle_combine /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/combine.cc:14978 0x1b5c19a execute /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/combine.cc:15023
[Bug target/106339] [13 Regression] ICE in exact_div, at poly-int.h:2232
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106339 --- Comment #3 from Arseny Solokha --- Indeed. And I failed to come up w/ an alternative testcase so far.
[Bug target/108174] ICE: tree check: expected function_type or method_type, have ggc_freed in aarch64_resolve_overloaded_memtag, at config/aarch64/aarch64-builtins.cc:3349
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108174 --- Comment #3 from Arseny Solokha --- Created attachment 54127 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54127=edit Preprocessed testcase Though for that to ICE, I have to change an argument to --param ggc-min-expand from 3 to 1.
[Bug target/108174] ICE: tree check: expected function_type or method_type, have ggc_freed in aarch64_resolve_overloaded_memtag, at config/aarch64/aarch64-builtins.cc:3349
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108174 --- Comment #1 from Arseny Solokha --- Created attachment 54124 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54124=edit Full compiler log with Valgrind report
[Bug target/108174] New: ICE: tree check: expected function_type or method_type, have ggc_freed in aarch64_resolve_overloaded_memtag, at config/aarch64/aarch64-builtins.cc:3349
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108174
Bug ID: 108174
Summary: ICE: tree check: expected function_type or
method_type, have ggc_freed in
aarch64_resolve_overloaded_memtag, at
config/aarch64/aarch64-builtins.cc:3349
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-invalid-code
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: aarch64-linux-gnu
gcc 13.0.0 20221211 snapshot (g:fd69977febf399d1992bbf8d66ae9170e0a4dc9f) ICEs
when compiling gcc/testsuite/gcc.target/aarch64/acle/memtag_2.c w/
-march=armv9-a+memtag -std=c2x -fopenmp -g --param ggc-min-expand=3 --param
ggc-min-heapsize=1 (but these options seem to be host or target-dependent).
Full compiler output with Valgrind report is attached, as it is a bit bulky to
post it inline. I've tried to reduce the testcase, but could remove only a
couple of lines.
% aarch64-linux-gnu-gcc-13 -march=armv9-a+memtag -std=c2x -fopenmp -g -w
--param ggc-min-expand=3 --param ggc-min-heapsize=1 -c
gcc/testsuite/gcc.target/aarch64/acle/memtag_2.c
gcc/testsuite/gcc.target/aarch64/acle/memtag_2.c:67:3: internal compiler error:
tree check: expected function_type or method_type, have ggc_freed in
aarch64_resolve_overloaded_memtag, at config/aarch64/aarch64-builtins.cc:3349
67 | __arm_mte_ptrdiff(no_decl2, 0); /* { dg-error {} } */
| ^
0x7c8d41 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/tree.cc:8822
0x7ef700 tree_check2(tree_node*, char const*, int, char const*, tree_code,
tree_code)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/tree.h:3547
0x7ef700 aarch64_resolve_overloaded_memtag
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/config/aarch64/aarch64-builtins.cc:3349
0x7ef700 aarch64_resolve_overloaded_builtin_general(unsigned int, tree_node*,
void*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/config/aarch64/aarch64-builtins.cc:3432
0x9b95ce aarch64_resolve_overloaded_builtin
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/config/aarch64/aarch64-c.cc:317
0x8d51c7 c_build_function_call_vec(unsigned int, vec const&, tree_node*, vec*, vec*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-typeck.cc:3383
0x8f6511 c_parser_postfix_expression_after_primary
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:11245
0x8ec4d4 c_parser_postfix_expression
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:10857
0x8f09da c_parser_unary_expression
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:8840
0x8f257b c_parser_cast_expression
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:8681
0x8f2872 c_parser_binary_expression
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:8449
0x8f3d0e c_parser_conditional_expression
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:8147
0x8f4557 c_parser_expr_no_commas
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:8061
0x8f4821 c_parser_expression
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:11385
0x8f4feb c_parser_expression_conv
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:11425
0x8e9957 c_parser_statement_after_labels
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:6790
0x8ebeb4 c_parser_compound_statement_nostart
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:6305
0x912224 c_parser_compound_statement
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:6114
0x9143d1 c_parser_declaration_or_fndef
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:2850
0x91bf53 c_parser_external_declaration
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/c/c-parser.cc:1925
[Bug target/108172] New: [13 Regression] ICE in emit_move_multi_word, at expr.cc:4087
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108172 Bug ID: 108172 Summary: [13 Regression] ICE in emit_move_multi_word, at expr.cc:4087 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- Target: aarch64-linux-gnu gcc 13.0.0 20221211 snapshot (g:fd69977febf399d1992bbf8d66ae9170e0a4dc9f) ICEs when compiling gcc/testsuite/gcc.target/i386/pr102230.c (specifically, v2hf_test ()): % aarch64-linux-gnu-gcc-13 -c gcc/testsuite/gcc.target/i386/pr102230.c during RTL pass: expand gcc/testsuite/gcc.target/i386/pr102230.c: In function 'v2hf_test': gcc/testsuite/gcc.target/i386/pr102230.c:34:10: internal compiler error: in emit_move_multi_word, at expr.cc:4087 34 | return b; | ^ 0x6f51eb emit_move_multi_word /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/expr.cc:4087 0xb40d1f emit_move_insn(rtx_def*, rtx_def*) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/expr.cc:4342 0xb49375 store_expr(tree_node*, rtx_def*, int, bool, bool) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/expr.cc:6519 0xb4bff8 expand_assignment(tree_node*, tree_node*, bool) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/expr.cc:6051 0xa0ff4c expand_gimple_stmt_1 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cfgexpand.cc:3946 0xa0ff4c expand_gimple_stmt /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cfgexpand.cc:4044 0xa16c5e expand_gimple_basic_block /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cfgexpand.cc:6096 0xa18647 execute /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/cfgexpand.cc:6822
[Bug analyzer/108171] New: [13 Regression] ICE in binding_key::make, at analyzer/store.cc:132
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108171 Bug ID: 108171 Summary: [13 Regression] ICE in binding_key::make, at analyzer/store.cc:132 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- Created attachment 54123 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54123=edit Testcase gcc 13.0.0 20221211 snapshot (g:fd69977febf399d1992bbf8d66ae9170e0a4dc9f) ICEs when compiling test/f90_correct/src/wa02.f90 from the flang test suite w/ -fanalyzer: % gfortran-13 -fanalyzer -c flang/test/f90_correct/src/wa02.f90 during IPA pass: analyzer flang/test/f90_correct/src/wa02.f90:17:23: 17 | s = (/ ( i, i=1,n ) /) | ^ internal compiler error: in make, at analyzer/store.cc:132 0x7c016f ana::binding_key::make(ana::store_manager*, ana::region const*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/store.cc:132 0x1397f04 ana::binding_cluster::get_binding(ana::store_manager*, ana::region const*) const /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/store.cc:1554 0x1398167 ana::binding_cluster::get_binding_recursive(ana::store_manager*, ana::region const*) const /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/store.cc:1591 0x139a1b5 ana::binding_cluster::get_any_binding(ana::store_manager*, ana::region const*) const /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/store.cc:1614 0x133ea16 ana::region_model::get_store_value(ana::region const*, ana::region_model_context*) const /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/region-model.cc:2337 0x1340ddc ana::region_model::get_rvalue(ana::path_var, ana::region_model_context*) const /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/region-model.cc:2227 0x1344b77 ana::region_model::on_assignment(gassign const*, ana::region_model_context*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/region-model.cc:1101 0x1316bd4 ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode const*, gimple const*, ana::program_state*, ana::uncertainty_t*, ana::path_context*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/engine.cc:1452 0x1319cb5 ana::exploded_graph::process_node(ana::exploded_node*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/engine.cc:4044 0x131ac6a ana::exploded_graph::process_worklist() /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/engine.cc:3447 0x131d3e4 ana::impl_run_checkers(ana::logger*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/engine.cc:6098 0x131e3e6 ana::run_checkers() /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/engine.cc:6186 0x130cda8 execute /var/tmp/portage/sys-devel/gcc-13.0.0_p20221218/work/gcc-13-20221218/gcc/analyzer/analyzer-pass.cc:87
[Bug target/105464] '-fcompare-debug' failure (length) w/ -Og -fharden-compares -fno-tree-dce
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105464 --- Comment #2 from Arseny Solokha --- Indeed I cannot reproduce it w/ the current gcc 13.0.0 20221211 snapshot.
[Bug analyzer/108065] New: [13 Regression] ICE in make, at analyzer/store.cc:132
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108065 Bug ID: 108065 Summary: [13 Regression] ICE in make, at analyzer/store.cc:132 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc 13.0.0 20221211 snapshot (g:8f72249ff4cbd0a5c701b99ee8aa1ca9d82df046) ICEs when compiling gcc/testsuite/gfortran.dg/bounds_check_23.f90, gcc/testsuite/gfortran.dg/pr69739.f90, gcc/testsuite/gfortran.dg/allocate_with_source_8.f08, and perhaps some other Fortran testcases w/ -fanalyzer: % aarch64-linux-gnu-gfortran-13 -fanalyzer -c gcc/testsuite/gfortran.dg/bounds_check_23.f90 during IPA pass: analyzer gcc/testsuite/gfortran.dg/bounds_check_23.f90:13:43: 13 | c = [ ( text(i:i), i = 1, len(text) ) ] | ^ internal compiler error: in make, at analyzer/store.cc:132 0x81937b ana::binding_key::make(ana::store_manager*, ana::region const*) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/store.cc:132 0x144acb1 ana::binding_cluster::maybe_get_simple_value(ana::store_manager*) const /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/store.cc:2165 0x144acb1 ana::binding_cluster::maybe_get_simple_value(ana::store_manager*) const /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/store.cc:2155 0x144d00a ana::binding_cluster::get_any_binding(ana::store_manager*, ana::region const*) const /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/store.cc:1613 0x144d00a ana::binding_cluster::get_any_binding(ana::store_manager*, ana::region const*) const /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/store.cc:1601 0x13f249e ana::region_model::get_store_value(ana::region const*, ana::region_model_context*) const /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/region-model.cc:2336 0x13f249e ana::region_model::get_store_value(ana::region const*, ana::region_model_context*) const /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/region-model.cc:2321 0x13f4a7c ana::region_model::get_rvalue(ana::path_var, ana::region_model_context*) const /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/region-model.cc:2226 0x13f89b9 ana::region_model::on_assignment(gassign const*, ana::region_model_context*) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/region-model.cc:1100 0x13ca7d7 ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode const*, gimple const*, ana::program_state*, ana::uncertainty_t*, ana::path_context*) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/engine.cc:1452 0x13cd695 ana::exploded_graph::process_node(ana::exploded_node*) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/engine.cc:4044 0x13ce3f2 ana::exploded_graph::process_worklist() /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/engine.cc:3447 0x13d0956 ana::impl_run_checkers(ana::logger*) /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/engine.cc:6098 0x13d1a26 ana::run_checkers() /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/engine.cc:6186 0x13c08d8 execute /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221211/work/gcc-13-20221211/gcc/analyzer/analyzer-pass.cc:87
[Bug debug/108061] '-fcompare-debug' failure (length) w/ -m32 -O2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108061
--- Comment #1 from Arseny Solokha ---
Created attachment 54066
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54066=edit
gkd diff #2
The following change yields the attached fiff instead:
@ -16,7 +16,7 @@ quux (int x)
int
bar (int x, int y)
{
- return sub (n < x, quux (y) + 1);
+ return sub (n < x, quux (y) + 1 + x);
}
int
[Bug debug/108061] New: '-fcompare-debug' failure (length) w/ -m32 -O2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108061
Bug ID: 108061
Summary: '-fcompare-debug' failure (length) w/ -m32 -O2
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: compare-debug-failure
Severity: normal
Priority: P3
Component: debug
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: powerpc-e300c3-linux-gnu
Created attachment 54065
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54065=edit
gkd diff
gcc 13.0.0 20221204 snapshot (g:24b9337d1f1b5197b6498dceb9074319be003449) fails
-fcompare-debug check when compiling the following testcase w/ -m32 -O2
-fcompare-debug:
volatile unsigned short int m;
volatile signed short int n;
int
sub (int x, int y)
{
return x - y;
}
unsigned int
quux (int x)
{
return x ? x : 1;
}
int
bar (int x, int y)
{
return sub (n < x, quux (y) + 1);
}
int
foo (int x)
{
return bar (m, quux (3));
}
% powerpc-e300c3-linux-gnu-gcc-13 -m32 -O2 -fcompare-debug -c ndat8d3d.c
powerpc-e300c3-linux-gnu-gcc-13: error: ndat8d3d.c: '-fcompare-debug' failure
(length)
gkd diff attached.
[Bug analyzer/108003] New: [13 Regression] ICE in bitmap_check_index, at sbitmap.h:105
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108003
Bug ID: 108003
Summary: [13 Regression] ICE in bitmap_check_index, at
sbitmap.h:105
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221204 snapshot (g:24b9337d1f1b5197b6498dceb9074319be003449) ICEs
when compiling the following testcase, reduced from
libstdc++-v3/testsuite/27_io/basic_filebuf/seekoff/wchar_t/9875_seekoff.cc, w/
-O1 -fanalyzer --param analyzer-max-svalue-depth=5:
struct locale {
class _Impl;
_Impl *_M_impl;
template
locale (const locale &, _Facet *);
static locale
classic ();
};
struct locale::_Impl {
_Impl (_Impl, int);
};
template
locale::locale (const locale &, _Facet *)
{
new _Impl (*_M_impl, 1);
}
struct codecvt {
virtual void do_max_lengththrow ();
};
void
test01 ()
{
locale (locale::classic (), new codecvt);
}
% g++-13 -O1 -fanalyzer --param analyzer-max-svalue-depth=5 -c nsbergsz.cc
during IPA pass: analyzer
nsbergsz.cc: In constructor 'locale::locale(const locale&, _Facet*) [with
_Facet = codecvt]':
nsbergsz.cc:19:3: internal compiler error: in bitmap_check_index, at
sbitmap.h:105
19 | new _Impl (*_M_impl, 1);
| ^~~
0x8a6707 bitmap_check_index
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/sbitmap.h:105
0x8a6707 bitmap_set_bit
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/sbitmap.h:133
0x8a6707 ana::region_model::get_referenced_base_regions(auto_sbitmap&) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/region-model.cc:4908
0x15b0692 ana::region_model::get_or_create_region_for_heap_alloc(ana::svalue
const*, ana::region_model_context*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/region-model.cc:4879
0x15c1a49 ana::kf_operator_new::impl_call_pre(ana::call_details const&) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/region-model-impl-calls.cc:996
0x15ac579 ana::region_model::on_call_pre(gcall const*,
ana::region_model_context*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/region-model.cc:1477
0x157b634 ana::feasibility_state::maybe_update_for_edge(ana::logger*,
ana::exploded_edge const*, ana::rejected_constraint**)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/engine.cc:4832
0x21e7ef1 ana::epath_finder::process_worklist_item(ana::feasible_worklist*,
ana::trimmed_graph const&, ana::feasible_graph*, ana::exploded_node const*,
unsigned int, std::unique_ptr >*) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/diagnostic-manager.cc:498
0x21e8848 ana::epath_finder::explore_feasible_paths(ana::exploded_node const*,
char const*, unsigned int)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/diagnostic-manager.cc:418
0x21e8f31 ana::epath_finder::get_best_epath(ana::exploded_node const*, char
const*, unsigned int, std::unique_ptr >*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/diagnostic-manager.cc:164
0x21e905c ana::saved_diagnostic::calc_best_epath(ana::epath_finder*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/diagnostic-manager.cc:811
0x21ed7cf ana::dedupe_winners::add(ana::logger*, ana::epath_finder*,
ana::saved_diagnostic*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/diagnostic-manager.cc:1178
0x21ea5a3 ana::diagnostic_manager::emit_saved_diagnostics(ana::exploded_graph
const&)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/diagnostic-manager.cc:1328
0x15878ec ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/engine.cc:6112
0x15888c6 ana::run_checkers()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/engine.cc:6186
0x15771e8 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/analyzer/analyzer-pass.cc:87
[Bug tree-optimization/107985] New: [13 Regression] ICE in as_a, at value-range.h:393
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107985
Bug ID: 107985
Summary: [13 Regression] ICE in as_a, at value-range.h:393
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221204 snapshot (g:24b9337d1f1b5197b6498dceb9074319be003449) ICEs
when compiling the following testcase, reduced from
test/Analysis/pointer-to-member.cpp from the clang 15 test suite, w/ -O1
-ftree-vrp -fno-tree-ccp -fno-tree-forwprop -fno-tree-fre:
struct B {
int f;
};
struct D : public B {
};
void foo() {
D d;
d.f = 7;
int B::* pfb = ::f;
int D::* pfd = pfb;
int v = d.*pfd;
}
% g++-13 -O1 -ftree-vrp -fno-tree-ccp -fno-tree-forwprop -fno-tree-fre -c
bq32p5di.cpp
during GIMPLE pass: evrp
bq32p5di.cpp: In function 'void foo()':
bq32p5di.cpp:15:1: internal compiler error: in as_a, at value-range.h:393
15 | }
| ^
0x92a7d7 irange const& as_a(vrange const&)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/value-range.h:393
0x92ac0c irange const& as_a(vrange const&)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/range-op.cc:4502
0x92ac0c range_op_handler::fold_range(vrange&, tree_node*, vrange const&,
vrange const&, relation_trio) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/range-op.cc:4504
0x2009e48 fold_using_range::range_of_range_op(vrange&,
gimple_range_op_handler&, fur_source&)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/gimple-range-fold.cc:565
0x200aba2 fold_using_range::fold_stmt(vrange&, gimple*, fur_source&,
tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/gimple-range-fold.cc:489
0x1ffab24 gimple_ranger::update_stmt(gimple*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/gimple-range.cc:550
0x1377644 update_stmt_operands(function*, gimple*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/tree-ssa-operands.cc:1150
0x1396aee update_stmt_if_modified
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/gimple-ssa.h:185
0x1396aee update_stmt_if_modified
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/gimple-ssa.h:182
0x1396aee substitute_and_fold_dom_walker::before_dom_children(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/tree-ssa-propagate.cc:935
0x1fc734e dom_walker::walk(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/domwalk.cc:311
0x139576e substitute_and_fold_engine::substitute_and_fold(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/tree-ssa-propagate.cc:998
0x149fc57 execute_ranger_vrp(function*, bool, bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221204/work/gcc-13-20221204/gcc/tree-vrp.cc:1084
[Bug analyzer/107928] New: ICE in on_bind, at analyzer/sm-fd.cc:1869
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107928
Bug ID: 107928
Summary: ICE in on_bind, at analyzer/sm-fd.cc:1869
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221127 snapshot (g:4ac789789ea866ced24613e4778725d8ec6b0ecf) ICEs
when compiling the following testcase w/ -fanalyzer:
struct sa {
};
int
bind (int, struct sa *, int);
int
foo (struct sa sa)
{
return bind (1, , sizeof sa);
}
% gcc-13 -fanalyzer -c bnfjd9ey.c
during IPA pass: analyzer
bnfjd9ey.c: In function 'foo':
bnfjd9ey.c:10:10: internal compiler error: in on_bind, at
analyzer/sm-fd.cc:1869
10 | return bind (1, , sizeof sa);
| ^~~~
0x12f73b5 on_bind
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221127/work/gcc-13-20221127/gcc/analyzer/sm-fd.cc:1869
0x12f73b5 ana::kf_bind::outcome_of_bind::update_model(ana::region_model*,
ana::exploded_edge const*, ana::region_model_context*) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221127/work/gcc-13-20221127/gcc/analyzer/sm-fd.cc:2328
0x1293dbe ana::exploded_graph::process_node(ana::exploded_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221127/work/gcc-13-20221127/gcc/analyzer/engine.cc:4169
0x129491a ana::exploded_graph::process_worklist()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221127/work/gcc-13-20221127/gcc/analyzer/engine.cc:3456
0x12970a4 ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221127/work/gcc-13-20221127/gcc/analyzer/engine.cc:6107
0x12980a6 ana::run_checkers()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221127/work/gcc-13-20221127/gcc/analyzer/engine.cc:6195
0x12869b8 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221127/work/gcc-13-20221127/gcc/analyzer/analyzer-pass.cc:87
[Bug tree-optimization/107920] New: [13 Regression] ICE in execute_todo, at passes.cc:2140
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107920
Bug ID: 107920
Summary: [13 Regression] ICE in execute_todo, at passes.cc:2140
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: aarch64-linux-gnu
gcc 13.0.0 20221127 snapshot (g:4ac789789ea866ced24613e4778725d8ec6b0ecf) ICEs
when compiling the following testcase, reduced from
gcc/testsuite/gcc.target/aarch64/sve/acle/general/pr96463-2.c, w/
-march=armv8-a+sve2 -O1 -fno-tree-ccp -fno-tree-forwprop:
#include "arm_sve.h"
svint8_t
test_s8(int8_t *x)
{
return svld1rq_s8 (svptrue_b8 (), [0]);
}
% aarch64-linux-gnu-gcc-13 -march=armv8-a+sve2 -O1 -fno-tree-ccp
-fno-tree-forwprop -c xgdgkm2d.c
during GIMPLE pass: fre
xgdgkm2d.c: In function 'test_s8':
xgdgkm2d.c:7:1: internal compiler error: in execute_todo, at passes.cc:2140
7 | }
| ^
0x751734 execute_todo
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221127/work/gcc-13-20221127/gcc/passes.cc:2140
[Bug analyzer/107882] New: [13 Regression] ICE in get_last_bit_offset, at analyzer/store.h:255
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107882
Bug ID: 107882
Summary: [13 Regression] ICE in get_last_bit_offset, at
analyzer/store.h:255
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221120 snapshot (g:a16a5460447eaaff0b4468064e4d7b1cc8fc42eb) ICEs
when compiling the following testcase w/ -fanalyzer:
void
foo (int *x, int y)
{
int *a = x, *b = (int *)
__builtin_memcpy (b + 1, x, y);
foo (a, 0);
}
% gcc-13 -fanalyzer -c umtf33bl.c
during IPA pass: analyzer
umtf33bl.c: In function 'foo':
umtf33bl.c:7:3: internal compiler error: in get_last_bit_offset, at
analyzer/store.h:255
7 | foo (a, 0);
| ^~
0x7bf2d1 ana::bit_range::get_last_bit_offset() const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/store.h:255
0x7bf2d1 ana::bit_range::get_last_bit_offset() const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/store.h:253
0x7bf2d1 ana::bit_range::contains_p(ana::bit_range const&, ana::bit_range*)
const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/store.cc:243
0x1326bff ana::binding_cluster::maybe_get_compound_binding(ana::store_manager*,
ana::region const*) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/store.cc:1716
0x12ca6c6 ana::region_model::get_store_value(ana::region const*,
ana::region_model_context*) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model.cc:3158
0x12cae4c ana::region_model::get_rvalue(ana::path_var,
ana::region_model_context*) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model.cc:3052
0x12d1e97 ana::region_model::on_assignment(gassign const*,
ana::region_model_context*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model.cc:1093
0x12a34d4 ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode
const*, gimple const*, ana::program_state*, ana::uncertainty_t*,
ana::path_context*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:1466
0x12a65c5 ana::exploded_graph::process_node(ana::exploded_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:4054
0x12a757a ana::exploded_graph::process_worklist()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:3457
0x12a9d34 ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:6110
0x12aad66 ana::run_checkers()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:6198
0x1299578 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/analyzer-pass.cc:87
[Bug tree-optimization/107876] New: [13 Regression] ICE in verify_dominators, at dominance.cc:1184 (error: dominator of 4 should be 14, not 16)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107876
Bug ID: 107876
Summary: [13 Regression] ICE in verify_dominators, at
dominance.cc:1184 (error: dominator of 4 should be 14,
not 16)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gfortran 13.0.0 20221120 snapshot (g:a16a5460447eaaff0b4468064e4d7b1cc8fc42eb)
ICEs when compiling the following testcase, extracted from
clang/testsuite/CodeGenCXX/nrvo.cpp from the clang 15 test suite, w/ -O2
-funswitch-loops --param max-unswitch-insns=2:
class X {
public:
X();
X(const X&);
X(const volatile X &);
~X();
};
X test17(int i) {
if (false) {
impossible:
if (i == 3)
return X();
}
while (true) {
X x;
if (i == 0)
return x;
if (i == 1)
break;
if (i == 2)
continue;
if (i == 3)
goto impossible;
if (i == 4)
__builtin_exit(1);
if (i == 5)
return x;
}
return X();
}
% g++-13 -O2 -funswitch-loops --param max-unswitch-insns=2 -c iakwvinl.cpp
iakwvinl.cpp: In function 'X test17(int)':
iakwvinl.cpp:9:3: error: dominator of 4 should be 14, not 16
9 | X test17(int i) {
| ^~
iakwvinl.cpp:9:3: error: dominator of 6 should be 14, not 16
iakwvinl.cpp:9:3: error: dominator of 7 should be 14, not 16
iakwvinl.cpp:9:3: error: dominator of 8 should be 14, not 16
iakwvinl.cpp:9:3: error: dominator of 10 should be 14, not 16
iakwvinl.cpp:9:3: error: dominator of 11 should be 14, not 16
iakwvinl.cpp:9:3: error: dominator of 13 should be 14, not 16
during GIMPLE pass: unswitch
iakwvinl.cpp:9:3: internal compiler error: in verify_dominators, at
dominance.cc:1184
0x7a0ae6 verify_dominators(cdi_direction)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/dominance.cc:1184
0x121a869 checking_verify_dominators
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/dominance.h:76
0x121a869 cleanup_tree_cfg_noloop
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/tree-cfgcleanup.cc:1113
0x121a869 cleanup_tree_cfg(unsigned int)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/tree-cfgcleanup.cc:1212
0x10dddac execute_function_todo
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/passes.cc:2057
0x10de20e execute_todo
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/passes.cc:2145
[Bug tree-optimization/107865] New: [12/13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the rele
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107865 Bug ID: 107865 Summary: [12/13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61') Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gfortran 13.0.0 20221120 snapshot (g:a16a5460447eaaff0b4468064e4d7b1cc8fc42eb) ICEs when compiling the following testcase w/ -O1 -floop-parallelize-all -ftree-parallelize-loops=2: SUBROUTINE FNC (F) IMPLICIT REAL (A-H) DIMENSION F(N) DO I = 1, 6 DO J = 1, 6 IF (J .NE. I) THEN F(I) = F(I) + 1 END IF END DO END DO RETURN END % gfortran-13 -O1 -floop-parallelize-all -ftree-parallelize-loops=2 -c g7tbwxor.f g7tbwxor.f:1:20: 1 | SUBROUTINE FNC (F) |^ Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61' during GIMPLE pass: ompexpssa g7tbwxor.f:1:20: internal compiler error: in verify_loop_structure, at cfgloop.cc:1748 0x6ac564 verify_loop_structure() /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/cfgloop.cc:1748 0x1ea4a0b expand_omp_taskreg /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/omp-expand.cc:1513 0x1ea91d7 expand_omp_synch /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/omp-expand.cc:8653 0x1ea91d7 expand_omp /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/omp-expand.cc:10610 0x1eab175 execute_expand_omp /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/omp-expand.cc:10813
[Bug debug/107832] New: '-fcompare-debug' failure w/ -O2 -ftree-parallelize-loops=2 -fno-gcse-lm
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107832 Bug ID: 107832 Summary: '-fcompare-debug' failure w/ -O2 -ftree-parallelize-loops=2 -fno-gcse-lm Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: compare-debug-failure Severity: normal Priority: P3 Component: debug Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- Target: aarch64-linux-gnu Created attachment 53951 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53951=edit Testcase gcc 13.0.0 20221120 snapshot (g:a16a5460447eaaff0b4468064e4d7b1cc8fc42eb) fails -fcompare-debug when compiling the attached testcase w/ -O2 -ftree-parallelize-loops=2 -fno-gcse-lm: % aarch64-linux-gnu-gfortran-13 -O2 -fcompare-debug -ftree-parallelize-loops=2 -fno-gcse-lm -c ebqijrx1.f90 aarch64-linux-gnu-gfortran-13: error: ebqijrx1.f90: '-fcompare-debug' failure --- ebqijrx1.f90.gkd2022-11-23 18:26:10.937790540 +0700 +++ ebqijrx1.gk.f90.gkd 2022-11-23 18:26:10.986790649 +0700 @@ -,7 +,7 @@ 4: integer(kind=8) D.; 5: integer(kind=8) D.; -;; Function main._loopfn.0 (main._loopfn.0, funcdef_no=6, cgraph_uid=13, symbol_order=19) +;; Function main._loopfn.0 (main._loopfn.0, funcdef_no=6, cgraph_uid=13, symbol_order=20) (note # 0 0 NOTE_INSN_DELETED) (note # 0 0 [bb 2] NOTE_INSN_BASIC_BLOCK)
[Bug testsuite/107830] New: [13 Regression] ICE in gen_aarch64_bitmask_udiv3, at ./insn-opinit.h:813
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107830
Bug ID: 107830
Summary: [13 Regression] ICE in gen_aarch64_bitmask_udiv3, at
./insn-opinit.h:813
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code, openmp
Severity: normal
Priority: P3
Component: testsuite
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: aarch64-linux-gnu
gcc 13.0.0 20221120 snapshot (g:a16a5460447eaaff0b4468064e4d7b1cc8fc42eb) ICEs
when compiling the following testcase, reduced from
libgomp/testsuite/libgomp.c-c++-common/for-15.c, w/ -march=armv9-a -Os
-fopenmp:
void
f2 (int *a)
{
unsigned int i;
#pragma omp simd
for (i = 0; i < 4; ++i)
a[i / 3] -= 4;
}
% aarch64-linux-gnu-gcc-13 -march=armv9-a -Os -fopenmp -c t3uokd3k.c
during RTL pass: expand
t3uokd3k.c: In function 'f2':
t3uokd3k.c:8:9: internal compiler error: in gen_aarch64_bitmask_udiv3, at
./insn-opinit.h:813
8 | a[i / 3] -= 4;
| ~~^~~
0x7e5c72 gen_aarch64_bitmask_udiv3(machine_mode, rtx_def*, rtx_def*, rtx_def*)
./insn-opinit.h:813
0x7e5c72 gen_aarch64_bitmask_udiv3(machine_mode, rtx_def*, rtx_def*, rtx_def*)
./insn-opinit.h:810
0x7e5c72 aarch64_vectorize_can_special_div_by_constant(tree_code, tree_node*,
generic_wide_int, rtx_def**, rtx_def*, rtx_def*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/config/aarch64/aarch64.cc:24339
0xb26cca expand_divmod(int, tree_code, machine_mode, tree_node*, tree_node*,
rtx_def*, rtx_def*, rtx_def*, int, optab_methods)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/expmed.cc:4383
0xb2a706 expand_expr_divmod
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/expr.cc:9198
0xb349ab expand_expr_real_2(separate_ops*, rtx_def*, machine_mode,
expand_modifier)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/expr.cc:9868
0xa0eac0 expand_gimple_stmt_1
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/cfgexpand.cc:3983
0xa0eac0 expand_gimple_stmt
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/cfgexpand.cc:4044
0xa14e2e expand_gimple_basic_block
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/cfgexpand.cc:6096
0xa16817 execute
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/cfgexpand.cc:6822
[Bug analyzer/107788] New: [13 Regression] ICE in wide_int_to_tree_1, at tree.cc:1757
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107788 Bug ID: 107788 Summary: [13 Regression] ICE in wide_int_to_tree_1, at tree.cc:1757 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- g++ 13.0.0 20221120 snapshot (g:a16a5460447eaaff0b4468064e4d7b1cc8fc42eb) ICEs when compiling libstdc++-v3/testsuite/20_util/bind/placeholders.cc w/ -fanalyzer -fno-early-inlining: % g++-13 -fanalyzer -fno-early-inlining -Ilibstdc++-v3/testsuite/util -c libstdc++-v3/testsuite/20_util/bind/placeholders.cc during IPA pass: analyzer In file included from libstdc++-v3/testsuite/20_util/bind/placeholders.cc:22: libstdc++-v3/testsuite/20_util/bind/placeholders.cc: In function 'void test01()': libstdc++-v3/testsuite/20_util/bind/placeholders.cc:31:20: internal compiler error: in wide_int_to_tree_1, at tree.cc:1757 31 | VERIFY( std::bind(std::minus(), _1, _2)(five, seven) == -2 ); | ~^~~ /usr/opt/compiler-test-corpus/gcc-13-20221120/libstdc++-v3/testsuite/util/testsuite_hooks.h:64:12: note: in definition of macro 'VERIFY' 64 | if (! (fn)) \ |^~ 0x88e5f6 wide_int_to_tree_1 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/tree.cc:1757 0x14c8dcf wide_int_to_tree(tree_node*, poly_int<1u, generic_wide_int > > const&) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/tree.cc:1869 0x14c8dcf build_int_cst(tree_node*, poly_int<1u, long>) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/tree.cc:1509 0x15dfd17 ana::region_model_manager::get_or_create_int_cst(tree_node*, poly_int<1u, long>) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model-manager.cc:236 0x15beae0 ana::region_model::update_for_int_cst_return(ana::call_details const&, int, bool) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model.cc:1934 0x15fa781 on_bind /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/sm-fd.cc:1874 0x15fa781 ana::region_model::on_bind(ana::call_details const&, bool) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/sm-fd.cc:2284 0x15d6b76 ana::kf_bind::outcome_of_bind::update_model(ana::region_model*, ana::exploded_edge const*, ana::region_model_context*) const /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model-impl-calls.cc:630 0x159821e ana::exploded_graph::process_node(ana::exploded_node*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:4170 0x1598d7a ana::exploded_graph::process_worklist() /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:3457 0x159b504 ana::impl_run_checkers(ana::logger*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:6110 0x159c506 ana::run_checkers() /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:6198 0x158ae08 execute /var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/analyzer-pass.cc:87 I'll try to reduce the testcase later today.
[Bug analyzer/107783] New: [13 Regression] ICE in deref_rvalue, at analyzer/region-model.cc:3238
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107783
Bug ID: 107783
Summary: [13 Regression] ICE in deref_rvalue, at
analyzer/region-model.cc:3238
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221120 snapshot (g:a16a5460447eaaff0b4468064e4d7b1cc8fc42eb) ICEs
when compiling the following testcase w/ -fanalyzer:
int
foo (void)
{
return bind (0, 0, 0);
}
% gcc-13 -fanalyzer -w -c oerlsfmf.c
during IPA pass: analyzer
oerlsfmf.c: In function 'foo':
oerlsfmf.c:4:10: internal compiler error: in deref_rvalue, at
analyzer/region-model.cc:3238
4 | return bind (0, 0, 0);
| ^~
0x7bd370 ana::region_model::deref_rvalue(ana::svalue const*, tree_node*,
ana::region_model_context*) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model.cc:3238
0x13091e4 check_for_new_socket_fd
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/sm-fd.cc:1785
0x130b16d on_bind
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/sm-fd.cc:1848
0x130b16d ana::region_model::on_bind(ana::call_details const&, bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/sm-fd.cc:2284
0x12e7646 ana::kf_bind::outcome_of_bind::update_model(ana::region_model*,
ana::exploded_edge const*, ana::region_model_context*) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model-impl-calls.cc:630
0x12a8cee ana::exploded_graph::process_node(ana::exploded_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:4170
0x12a984a ana::exploded_graph::process_worklist()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:3457
0x12abfd4 ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:6110
0x12acfd6 ana::run_checkers()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:6198
0x129b8d8 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/analyzer-pass.cc:87
[Bug analyzer/107777] New: [13 Regression] ICE in get_representative_path_var_1, at analyzer/region-model.cc:4750
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=10
Bug ID: 10
Summary: [13 Regression] ICE in get_representative_path_var_1,
at analyzer/region-model.cc:4750
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221120 snapshot (g:a16a5460447eaaff0b4468064e4d7b1cc8fc42eb) ICEs
when compiling the following testcase w/ -fanalyzer:
int *
__errno_location (void);
long int
read (int, void *, unsigned long int);
struct IOBUF {
int fd;
};
void
do_getline_end_data (struct IOBUF *iop, int tree)
{
char end_data;
if (tree)
*__errno_location () = 0;
read (iop->fd, _data, sizeof end_data);
}
% gcc-13 -fanalyzer -c ofd9impz.c
during IPA pass: analyzer
ofd9impz.c: In function 'do_getline_end_data':
ofd9impz.c:19:3: internal compiler error: in get_representative_path_var_1, at
analyzer/region-model.cc:4750
19 | read (iop->fd, _data, sizeof end_data);
| ^~
0x7bd41c ana::region_model::get_representative_path_var_1(ana::region const*,
hash_set >*)
const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model.cc:4750
0x12cbbd8 ana::region_model::get_representative_path_var(ana::region const*,
hash_set >*)
const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model.cc:4896
0x131dc1f ana::binding_cluster::get_representative_path_vars(ana::region_model
const*, hash_set >*, ana::region const*, ana::svalue const*, auto_vec*) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/store.cc:2111
0x131e7e8 ana::store::get_representative_path_vars(ana::region_model const*,
hash_set >*,
ana::svalue const*, auto_vec*) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/store.cc:2987
0x12cb1a8 ana::region_model::get_representative_path_var_1(ana::svalue const*,
hash_set >*)
const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model.cc:4626
0x12cb501 ana::region_model::get_representative_path_var(ana::svalue const*,
hash_set >*)
const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model.cc:4693
0x12cb501 ana::region_model::get_representative_path_var(ana::svalue const*,
hash_set >*)
const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model.cc:4685
0x12cb501 ana::region_model::get_representative_tree(ana::svalue const*) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/region-model.cc:4712
0x12add04 ana::impl_sm_context::get_diagnostic_tree(tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:433
0x13089ef check_for_open_fd
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/sm-fd.cc:1550
0x1309cfc on_read
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/sm-fd.cc:1533
0x1309cfc on_stmt
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/sm-fd.cc:1246
0x12a590f ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode
const*, gimple const*, ana::program_state*, ana::uncertainty_t*,
ana::path_context*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:1485
0x12a8895 ana::exploded_graph::process_node(ana::exploded_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:4054
0x12a984a ana::exploded_graph::process_worklist()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:3457
0x12abfd4 ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:6110
0x12acfd6 ana::run_checkers()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/engine.cc:6198
0x129b8d8 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/analyzer/analyzer-pass.cc:87
[Bug tree-optimization/90134] ICE in duplicate_eh_regions_1, at except.c:557
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90134 --- Comment #4 from Arseny Solokha --- (In reply to Andrew Pinski from comment #3) > This code is all undefined anyways . Yes, but what about unmodified tests from libstdc++? I occasionally hit this ICE on them too, as shown in comment 2. I've just got it w/ g++-13 -O1 -ftree-parallelize-loops=2 -fno-lifetime-dse -fnon-call-exceptions --param max-early-inliner-iterations=0 -Ilibstdc++-v3/testsuite/util -c libstdc++-v3/testsuite/20_util/shared_ptr/thread/default_weaktoshared.cc which triggers on the same code from include/g++-v13/bits/stl_uninitialized.h
[Bug tree-optimization/107326] [13 Regression] ICE: verify_gimple failed (error: type mismatch in binary expression) since r13-3219-g25413fdb2ac249
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107326 --- Comment #6 from Arseny Solokha --- Yes, this one is fixed. Thanks.
[Bug tree-optimization/107570] New: [13 Regression] ICE: Segmentation fault (in instantiate_scev_name/gimple_bb)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107570
Bug ID: 107570
Summary: [13 Regression] ICE: Segmentation fault (in
instantiate_scev_name/gimple_bb)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221106 snapshot (g:c56826d0f3b143a9cb64ee263707046f8073c1b6) ICEs
when compiling the following testcase w/ -Os:
long int n;
void
foo (int *p, int x)
{
for (;;)
{
for (*p = 0; *p < 1; ++*p)
{
n += *p < 0;
if (n < x)
{
while (x < 1)
++x;
__builtin_unreachable ();
}
}
p =
}
}
% gcc-13 -Os -c dpim0i6y.c
during GIMPLE pass: vrp
dpim0i6y.c: In function 'foo':
dpim0i6y.c:4:1: internal compiler error: Segmentation fault
4 | foo (int *p, int x)
| ^~~
0xf0e7af crash_signal
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/toplev.cc:314
0xff9e27 gimple_bb
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/gimple.h:1904
0xff9e27 instantiate_scev_name
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/tree-scalar-evolution.cc:2270
0xff9e27 instantiate_scev_r
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/tree-scalar-evolution.cc:2644
0xff9cec instantiate_scev_poly
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/tree-scalar-evolution.cc:2424
0xff9cec instantiate_scev_r
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/tree-scalar-evolution.cc:2649
0xffa8c2 instantiate_scev(edge_def*, loop*, tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/tree-scalar-evolution.cc:2726
0x129350a instantiate_parameters
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/tree-scalar-evolution.h:63
0x129350a bounds_of_var_in_loop(tree_node**, tree_node**, range_query*, loop*,
gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/vr-values.cc:1672
0x1d78ff3 fold_using_range::range_of_ssa_name_with_loop_info(vrange&,
tree_node*, loop*, gphi*, fur_source&)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/gimple-range-fold.cc:957
0x1d79bab fold_using_range::range_of_phi(vrange&, gphi*, fur_source&)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/gimple-range-fold.cc:820
0x1d7c4d8 fold_using_range::fold_stmt(vrange&, gimple*, fur_source&,
tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/gimple-range-fold.cc:491
0x1d6e183 gimple_ranger::fold_range_internal(vrange&, gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/gimple-range.cc:257
0x1d6e183 gimple_ranger::range_of_stmt(vrange&, gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/gimple-range.cc:318
0x1d6cab7 gimple_ranger::range_on_entry(vrange&, basic_block_def*, tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/gimple-range.cc:153
0x11f2436 remove_unreachable::remove_and_update_globals(bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/tree-vrp.cc:151
0x11f66ba remove_unreachable::remove_and_update_globals(bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/tree-vrp.cc:4536
0x11f66ba execute_ranger_vrp(function*, bool, bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221106/work/gcc-13-20221106/gcc/tree-vrp.cc:4536
[Bug tree-optimization/107505] New: [13 Regression] ICE: verify_flow_info failed (error: returns_twice call is not first in basic block 2)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107505
Bug ID: 107505
Summary: [13 Regression] ICE: verify_flow_info failed (error:
returns_twice call is not first in basic block 2)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-checking, ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
An obligatory abnormal edge issue of the week.
gcc 13.0.0 20221030 snapshot (g:f36bba013361d8d4f9c7237c3307630de0cc0416) ICEs
when compiling the following testcase w/ -O2 -fno-guess-branch-probability:
int n;
void
bar (void);
__attribute__ ((noinline, returns_twice)) int
zero (void)
{
return 0;
}
void
foo (void)
{
int a = zero ();
for (n = 0; n < 2; ++n)
{
}
if (a)
bar ();
}
% gcc-13 -O2 -fno-guess-branch-probability -c u9i2um01.c
u9i2um01.c: In function 'foo':
u9i2um01.c:13:1: error: returns_twice call is not first in basic block 2
13 | foo (void)
| ^~~
_7 = zero ();
during GIMPLE pass: cddce
u9i2um01.c:13:1: internal compiler error: verify_flow_info failed
0xa10ebd verify_flow_info()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cfghooks.cc:284
0xf529c4 checking_verify_flow_info
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cfghooks.h:214
0xf529c4 cleanup_tree_cfg_noloop
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/tree-cfgcleanup.cc:1161
0xf529c4 cleanup_tree_cfg(unsigned int)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/tree-cfgcleanup.cc:1212
0xe0b79c execute_function_todo
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/passes.cc:2057
0xe0bbfe execute_todo
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/passes.cc:2145
[Bug tree-optimization/107490] New: [13 Regression] ICE in build_ge, at range-op-float.cc:283
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107490 Bug ID: 107490 Summary: [13 Regression] ICE in build_ge, at range-op-float.cc:283 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc 13.0.0 20221030 snapshot (g:f36bba013361d8d4f9c7237c3307630de0cc0416) ICEs when compiling gcc/testsuite/gcc.dg/tree-ssa/pr23115.c w/ -Os -fsingle-precision-constant -fno-trapping-math: % gcc-13 -Os -fsingle-precision-constant -fno-trapping-math -c gcc/testsuite/gcc.dg/tree-ssa/pr23115.c gcc/testsuite/gcc.dg/tree-ssa/pr23115.c: In function 'main': gcc/testsuite/gcc.dg/tree-ssa/pr23115.c:16:3: warning: floating constant exceeds range of 'float' [-Woverflow] 16 | n = 1.e300; | ^ gcc/testsuite/gcc.dg/tree-ssa/pr23115.c:17:3: warning: floating constant exceeds range of 'float' [-Woverflow] 17 | x = -1.e300; | ^ during GIMPLE pass: threadfull gcc/testsuite/gcc.dg/tree-ssa/pr23115.c:11:5: internal compiler error: in build_ge, at range-op-float.cc:283 11 | int main() | ^~~~ 0x869e96 build_ge /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/range-op-float.cc:283 0x1e874ce foperator_unordered_le::op2_range(frange&, tree_node*, irange const&, frange const&, relation_trio) const /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/range-op-float.cc:1451 0x1d67151 gori_compute::compute_operand2_range(vrange&, gimple_range_op_handler&, vrange const&, tree_node*, fur_source&, value_relation*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/gimple-range-gori.cc:1196 0x1d65c53 gori_compute::compute_operand_range(vrange&, gimple*, vrange const&, tree_node*, fur_source&, value_relation*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/gimple-range-gori.cc:694 0x1d6941a gori_compute::outgoing_edge_range_p(vrange&, edge_def*, tree_node*, range_query&) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/gimple-range-gori.cc:1373 0x10bb264 path_range_query::compute_ranges_in_block(basic_block_def*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/gimple-range-path.cc:454 0x10bb941 path_range_query::compute_ranges(bitmap_head const*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/gimple-range-path.cc:622 0x11443dd back_threader::find_taken_edge_cond(vec const&, gcond*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/tree-ssa-threadbackward.cc:333 0x11445e2 back_threader::maybe_register_path(back_threader_profitability&) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/tree-ssa-threadbackward.cc:248 0x1144af8 back_threader::find_paths_to_names(basic_block_def*, bitmap_head*, unsigned int, back_threader_profitability&) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/tree-ssa-threadbackward.cc:380 0x1145059 back_threader::find_paths_to_names(basic_block_def*, bitmap_head*, unsigned int, back_threader_profitability&) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/tree-ssa-threadbackward.cc:488 0x1145059 back_threader::find_paths_to_names(basic_block_def*, bitmap_head*, unsigned int, back_threader_profitability&) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/tree-ssa-threadbackward.cc:488 0x1145a1f back_threader::maybe_thread_block(basic_block_def*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/tree-ssa-threadbackward.cc:560 0x1145ad1 back_threader::thread_blocks() /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/tree-ssa-threadbackward.cc:988 0x1145bb3 execute /var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/tree-ssa-threadbackward.cc:1118
[Bug rtl-optimization/90259] ICE: verify_flow_info failed (error: missing REG_EH_REGION note at the end of bb 4)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90259 --- Comment #5 from Arseny Solokha --- Created attachment 53808 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53808=edit -mdebug=target dump (In reply to Kewen Lin from comment #4) > Could you provide one dump file for -mdebug=target? I've attached the full dump.
[Bug analyzer/107486] New: [13 Regression] ICE in deref_rvalue, at analyzer/region-model.cc:3317
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107486
Bug ID: 107486
Summary: [13 Regression] ICE in deref_rvalue, at
analyzer/region-model.cc:3317
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221030 snapshot (g:f36bba013361d8d4f9c7237c3307630de0cc0416) ICEs
when compiling the following testcase, reduced from
test/CodeGen/2008-07-31-asm-labels.c from the clang 14 test suite, w/
-fanalyzer:
void pipe(int) asm("_thisIsNotAPipe");
void f1(void) {
pipe(1);
}
% gcc-13 -fanalyzer -c sdgrfguh.c
during IPA pass: analyzer
sdgrfguh.c: In function 'f1':
sdgrfguh.c:4:3: internal compiler error: in deref_rvalue, at
analyzer/region-model.cc:3317
4 | pipe(1);
| ^~~
0x7d4fd0 ana::region_model::deref_rvalue(ana::svalue const*, tree_node*,
ana::region_model_context*) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/analyzer/region-model.cc:3317
0x13151ea update_model
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/analyzer/region-model-impl-calls.cc:608
0x12d9d4d ana::exploded_graph::process_node(ana::exploded_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/analyzer/engine.cc:4133
0x12da7aa ana::exploded_graph::process_worklist()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/analyzer/engine.cc:3422
0x12dce9c ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/analyzer/engine.cc:6070
0x12ddeee ana::run_checkers()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/analyzer/engine.cc:6144
0x12cc848 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/analyzer/analyzer-pass.cc:86
[Bug c++/107484] New: [13 Regression] ICE: Segmentation fault (in decls_match)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107484
Bug ID: 107484
Summary: [13 Regression] ICE: Segmentation fault (in
decls_match)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-invalid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
g++ 13.0.0 20221030 snapshot (g:f36bba013361d8d4f9c7237c3307630de0cc0416) ICEs
when compiling the following testcase, reduced from test/SemaCXX/friend.cpp
from the clang 14 test suite:
namespace qualified_friend_no_match {
void f(int);
template void f(T*);
struct X {
friend void qualified_friend_no_match::f(double);
};
}
% g++-13 -c ivdlqc5m.cpp
ivdlqc5m.cpp:5:52: internal compiler error: Segmentation fault
5 | friend void qualified_friend_no_match::f(double);
|^
0x11ef2cf crash_signal
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/toplev.cc:314
0xa1a521 tree_check(tree_node*, char const*, int, char const*, tree_code)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/tree.h:3531
0xa1a521 decls_match(tree_node*, tree_node*, bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/decl.cc:1010
0xa41b64 find_last_decl
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/decl2.cc:1627
0xa41b64 cplus_decl_attributes(tree_node**, tree_node*, int)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/decl2.cc:1739
0xa29c39 grokdeclarator(cp_declarator const*, cp_decl_specifier_seq*,
decl_context, int, tree_node**)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/decl.cc:14216
0xa4799f grokfield(cp_declarator const*, cp_decl_specifier_seq*, tree_node*,
bool, tree_node*, tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/decl2.cc:990
0xb3c1ad cp_parser_member_declaration
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:27522
0xb07047 cp_parser_member_specification_opt
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:26932
0xb07047 cp_parser_class_specifier
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:26007
0xb07047 cp_parser_type_specifier
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:19383
0xb08fa1 cp_parser_decl_specifier_seq
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:15933
0xb0a1c7 cp_parser_simple_declaration
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:15157
0xb3dfa1 cp_parser_declaration
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:14970
0xb3d4b9 cp_parser_toplevel_declaration
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:14991
0xb3d4b9 cp_parser_declaration_seq_opt
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:14742
0xb3d914 cp_parser_namespace_body
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:21436
0xb3d914 cp_parser_namespace_definition
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:21414
0xb3e2f5 cp_parser_declaration
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:14950
0xb3eae9 cp_parser_toplevel_declaration
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221030/work/gcc-13-20221030/gcc/cp/parser.cc:14991
[Bug target/107454] New: ICE: Segmentation fault (in single_set)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107454
Bug ID: 107454
Summary: ICE: Segmentation fault (in single_set)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: error-recovery, ice-on-invalid-code
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: aarch64-linux-gnu
gcc 13.0.0 20221023 snapshot (g:0e37fd4dc74c1db99cdc7d71ef378e1221253c6f) ICEs
when compiling gcc/testsuite/gcc.target/aarch64/sve/pcs/nosve_5.c w/
-fstack-protector-all -fno-tree-ter:
% aarch64-linux-gnu-gcc-13 -fstack-protector-all -fno-tree-ter -c
gcc/testsuite/gcc.target/aarch64/sve/pcs/nosve_5.c
gcc/testsuite/gcc.target/aarch64/sve/pcs/nosve_5.c: In function 'f':
gcc/testsuite/gcc.target/aarch64/sve/pcs/nosve_5.c:14:3: error: this operation
requires the SVE ISA extension
14 | take_svuint8_eventually (0, 0, 0, 0, 0, 0, 0, 0, *ptr); /* { dg-error
{this operation requires the SVE ISA extension} } */
| ^~
gcc/testsuite/gcc.target/aarch64/sve/pcs/nosve_5.c:14:3: note: you can enable
SVE using the command-line option '-march', or by using the 'target' attribute
or pragma
during RTL pass: expand
gcc/testsuite/gcc.target/aarch64/sve/pcs/nosve_5.c:14:3: internal compiler
error: Segmentation fault
0xf32fbf crash_signal
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/toplev.cc:314
0xb60a40 single_set(rtx_insn const*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/rtl.h:3594
0xb60a40 emit_move_insn(rtx_def*, rtx_def*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/expr.cc:4345
0xb36853 force_reg(machine_mode, rtx_def*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/explow.cc:678
0x17f97b1 gen_adddi3(rtx_def*, rtx_def*, rtx_def*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/config/aarch64/aarch64.md:2069
0xe06252 expand_binop_directly
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/optabs.cc:1440
0xe03cd1 expand_binop(machine_mode, optab_tag, rtx_def*, rtx_def*, rtx_def*,
int, optab_methods)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/optabs.cc:1527
0xb66438 force_operand(rtx_def*, rtx_def*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/expr.cc:8222
0xb36e5a copy_to_mode_reg(machine_mode, rtx_def*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/explow.cc:650
0xb62f9c emit_block_op_via_libcall(built_in_function, rtx_def*, rtx_def*,
rtx_def*, bool)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/expr.cc:2334
0xb66adc emit_block_copy_via_libcall
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/expr.h:90
0xb66adc emit_block_move_hints(rtx_def*, rtx_def*, rtx_def*, block_op_methods,
unsigned int, long, unsigned long, unsigned long, unsigned long, bool, bool*,
bool)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/expr.cc:2073
0xb670b1 emit_block_move(rtx_def*, rtx_def*, rtx_def*, block_op_methods)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/expr.cc:2095
0xb699bb store_expr(tree_node*, rtx_def*, int, bool, bool)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/expr.cc:6507
0xb6ba60 expand_assignment(tree_node*, tree_node*, bool)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/expr.cc:6051
0xa2e37c expand_gimple_stmt_1
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cfgexpand.cc:3946
0xa2e37c expand_gimple_stmt
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cfgexpand.cc:4044
0xa3517e expand_gimple_basic_block
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cfgexpand.cc:6096
0xa36bb7 execute
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cfgexpand.cc:6822
W/ any of the given options omitted, gcc correctly rejects this code. It is
different from PR99657 in that gcc still emits the correct diagnostics before
an ICE.
[Bug tree-optimization/107447] New: [13 Regression] ICE: verify_flow_info failed (error: returns_twice call is not first in basic block 2)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107447
Bug ID: 107447
Summary: [13 Regression] ICE: verify_flow_info failed (error:
returns_twice call is not first in basic block 2)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221023 snapshot (g:0e37fd4dc74c1db99cdc7d71ef378e1221253c6f) ICEs
when compiling the following testcase w/ -O2:
int n;
void
bar (int, int);
__attribute__ ((noinline, returns_twice)) int
zero (void)
{
return 0;
}
void
foo (void)
{
(void) zero ();
n = 0;
for (;;)
bar (zero (), n);
}
% gcc-13 -O2 -c ozyot3yy.c
ozyot3yy.c: In function 'foo':
ozyot3yy.c:13:1: error: returns_twice call is not first in basic block 2
13 | foo (void)
| ^~~
_7 = zero ();
during GIMPLE pass: lim
ozyot3yy.c:13:1: internal compiler error: verify_flow_info failed
0xa0dd1d verify_flow_info()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cfghooks.cc:284
0xe08403 execute_function_todo
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/passes.cc:2103
0xe0891e execute_todo
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/passes.cc:2145
[Bug rtl-optimization/90259] ICE: verify_flow_info failed (error: missing REG_EH_REGION note at the end of bb 4)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90259
--- Comment #3 from Arseny Solokha ---
Aha! I've just managed to reproduce it even w/ the current gcc 13 snapshot by
adding -fstack-protector-all to the list of command line arguments:
% powerpc-e300c3-linux-gnu-g++-13 -m32 -O1 -ffloat-store -fgcse
-fnon-call-exceptions -fno-forward-propagate -fno-omit-frame-pointer -c
svj3x11t.cc -fstack-protector-all
svj3x11t.cc: In static member function 'static ar p::as(const
int&, j ...) [with ar = void; i = q::r; j = {o}]':
svj3x11t.cc:30:65: error: missing REG_EH_REGION note at the end of bb 6
30 | static ar as(const int , j...) { (*ao::ap(p1))(j()...); }
| ^
during RTL pass: cprop_hardreg
svj3x11t.cc:30:65: internal compiler error: verify_flow_info failed
0xc77f7e verify_flow_info()
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cfghooks.cc:284
0x10731e3 execute_function_todo
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/passes.cc:2103
0x10736fe execute_todo
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/passes.cc:2145
% powerpc-e300c3-linux-gnu-g++-13 -v
Using built-in specs.
COLLECT_GCC=powerpc-e300c3-linux-gnu-g++-13
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/powerpc-e300c3-linux-gnu/13/lto-wrapper
Target: powerpc-e300c3-linux-gnu
Configured with:
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/configure
--host=x86_64-pc-linux-gnu --target=powerpc-e300c3-linux-gnu
--build=x86_64-pc-linux-gnu --prefix=/usr
--bindir=/usr/x86_64-pc-linux-gnu/powerpc-e300c3-linux-gnu/gcc-bin/13
--includedir=/usr/lib/gcc/powerpc-e300c3-linux-gnu/13/include
--datadir=/usr/share/gcc-data/powerpc-e300c3-linux-gnu/13
--mandir=/usr/share/gcc-data/powerpc-e300c3-linux-gnu/13/man
--infodir=/usr/share/gcc-data/powerpc-e300c3-linux-gnu/13/info
--with-gxx-include-dir=/usr/lib/gcc/powerpc-e300c3-linux-gnu/13/include/g++-v13
--with-python-dir=/share/gcc-data/powerpc-e300c3-linux-gnu/13/python
--enable-languages=c,c++,fortran --enable-obsolete --enable-secureplt
--disable-werror --with-system-zlib --disable-nls
--disable-libunwind-exceptions --enable-checking=yes
--with-gcc-major-version-only --disable-esp --enable-libstdcxx-time
--disable-libstdcxx-pch --enable-poison-system-directories
--with-sysroot=/usr/powerpc-e300c3-linux-gnu --disable-bootstrap
--enable-__cxa_atexit --enable-clocale=gnu --disable-multilib
--disable-fixed-point --enable-targets=all --enable-libgomp --disable-libssp
--disable-libada --disable-cet --disable-systemtap
--enable-valgrind-annotations --disable-vtable-verify --disable-libvtv
--without-zstd --enable-lto --with-isl --disable-isl-version-check
--disable-libsanitizer --enable-default-ssp
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 13.0.0 20221023 (experimental) (GCC)
[Bug tree-optimization/106433] [13 Regression] ICE in vect_transform_loops, at tree-vectorizer.cc:1032
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106433
--- Comment #2 from Arseny Solokha ---
JFTR, I believe I can reproduce the same issue on x86_64 w/ the current gcc
13.0.0 20221023 (g:0e37fd4dc74c1db99cdc7d71ef378e1221253c6f) snapshot:
int m;
int *p;
__attribute__ ((simd)) int
bar (int x)
{
if (x)
{
if (m < 1)
for (m = 0; m < 1; ++m)
++x;
p =
for (;;)
++m;
}
return 0;
}
__attribute__ ((simd)) int
foo (int x)
{
return bar (x);
}
% x86_64-unknown-linux-gnu-gcc-13 -O2 -c rf5yfvga.c
during GIMPLE pass: vect
rf5yfvga.c: In function 'foo.simdclone.0':
rf5yfvga.c:23:1: internal compiler error: in vect_transform_loops, at
tree-vectorizer.cc:1032
23 | foo (int x)
| ^~~
0x7ac573 vect_transform_loops
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-vectorizer.cc:1032
0x11dd81f try_vectorize_loop_1
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-vectorizer.cc:1153
0x11dd81f try_vectorize_loop
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-vectorizer.cc:1183
0x11ddbd4 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-vectorizer.cc:1299
[Bug tree-optimization/107394] New: [13 Regression] ICE in verify_range, at value-range.cc:716
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107394
Bug ID: 107394
Summary: [13 Regression] ICE in verify_range, at
value-range.cc:716
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221023 snapshot (g:0e37fd4dc74c1db99cdc7d71ef378e1221253c6f) ICEs
when compiling the following testcase w/ -O2:
static double
quux (double x)
{
return __builtin_fabs (x);
}
__attribute__ ((flatten, optimize ("-ffinite-math-only"))) static int
bar (int *p)
{
*p = quux (0.0);
return 0;
}
void
foo (int *p)
{
(void) bar (p);
}
% gcc-13 -O2 -c owzufzxh.c
during IPA pass: inline
owzufzxh.c: In function 'bar.isra':
owzufzxh.c:10:8: internal compiler error: in verify_range, at
value-range.cc:716
10 | *p = quux (0.0);
|^~
0x7bca0d frange::verify_range()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/value-range.cc:716
0x1160ad8 range_info_get_range(tree_node*, vrange&)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-ssanames.cc:121
0x1160ad8 duplicate_ssa_name_range_info(tree_node*, tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-ssanames.cc:750
0xf85de3 remap_ssa_name
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-inline.cc:256
0xf8bf37 remap_gimple_op_r
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-inline.cc:1028
0x12179c3 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set >*))
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree.cc:11270
0xbf1a92 walk_gimple_op(gimple*, tree_node* (*)(tree_node**, int*, void*),
walk_stmt_info*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/gimple-walk.cc:221
0xf886bf remap_gimple_stmt
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-inline.cc:1986
0xf8cb87 copy_bb
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-inline.cc:2056
0xf8e87c copy_cfg_body
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-inline.cc:3090
0xf8e87c copy_body
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-inline.cc:3343
0xf93452 expand_call_inline
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-inline.cc:5128
0xf95411 gimple_expand_calls_inline
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-inline.cc:5323
0xf95411 optimize_inline_calls(tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-inline.cc:5495
0xc9653b inline_transform(cgraph_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/ipa-inline-transform.cc:790
0xe0d116 execute_one_ipa_transform_pass
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/passes.cc:2336
0xe0d116 execute_all_ipa_transforms(bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/passes.cc:2399
0xa463dd cgraph_node::expand()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cgraphunit.cc:1827
0xa463dd cgraph_node::expand()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cgraphunit.cc:1787
0xa47a1e expand_all_functions
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cgraphunit.cc:2008
[Bug other/107353] [13 regression] Numerous ICEs after r13-3416-g1d561e1851c466
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107353
--- Comment #10 from Arseny Solokha ---
g++ 13.0.0 20221023 snapshot (g:0e37fd4dc74c1db99cdc7d71ef378e1221253c6f) ICEs
when compiling the following testcase, reduced from
test/CodeGenCXX/cxx11-thread-local.cpp from the clang 14 test suite:
struct Dtor;
template struct X { static thread_local Dtor m; };
template thread_local Dtor X::m;
extern template Dtor X::m;
void *e2 = ::m;
% x86_64-pc-linux-gnu-g++-13 -c uuir2io5.cpp
during IPA pass: whole-program
uuir2io5.cpp:5:23: internal compiler error: in
function_and_variable_visibility, at ipa-visibility.cc:889
5 | void *e2 = ::m;
| ^
0x9403cc function_and_variable_visibility
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/ipa-visibility.cc:889
0x20fe8a6 whole_program_function_and_variable_visibility
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/ipa-visibility.cc:940
0x20fe8a6 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/ipa-visibility.cc:988
[Bug other/107353] [13 regression] Numerous ICEs after r13-3416-g1d561e1851c466
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107353 --- Comment #7 from Arseny Solokha --- (In reply to Alexander Monakov from comment #6) > Presumably powerpc64le doesn't use emutls, so there might be two issues. I have it on x86_64-pc-linux-gnu…
[Bug tree-optimization/107369] New: [13 Regression] ICE: verify_flow_info failed (error: label 'l1' has incorrect context in bb 2)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107369
Bug ID: 107369
Summary: [13 Regression] ICE: verify_flow_info failed (error:
label 'l1' has incorrect context in bb 2)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-invalid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221023 snapshot (g:0e37fd4dc74c1db99cdc7d71ef378e1221253c6f) ICEs
when compiling the following testcase, reduced from
gcc/testsuite/gcc.dg/attr-assume-3.c, w/ -O1:
void
foo (int x)
{
if (x == 1)
goto l1;
[[gnu::assume (({ l1:; 1; }))]];
}
% aarch64-linux-gnu-gcc-13 -O1 -c bgoph4pp.c
bgoph4pp.c: In function 'foo':
bgoph4pp.c:5:5: error: jump into statement expression
5 | goto l1;
| ^~~~
bgoph4pp.c:7:21: note: label 'l1' defined here
7 | [[gnu::assume (({ l1:; 1; }))]];
| ^~
bgoph4pp.c:2:1: error: label 'l1' has incorrect context in bb 2
2 | foo (int x)
| ^~~
during GIMPLE pass: cfg
bgoph4pp.c:2:1: internal compiler error: verify_flow_info failed
0xa39a8e verify_flow_info()
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cfghooks.cc:284
0xf87e34 checking_verify_flow_info
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cfghooks.h:214
0xf87e34 cleanup_tree_cfg_noloop
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-cfgcleanup.cc:1161
0xf87e34 cleanup_tree_cfg(unsigned int)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-cfgcleanup.cc:1212
0xf7d534 execute_build_cfg
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-cfg.cc:378
0xf7d534 execute
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-cfg.cc:412
[Bug tree-optimization/107368] New: [13 Regression] ICE: 'verify_gimple' failed (error: non-trivial conversion in 'var_decl')
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107368
Bug ID: 107368
Summary: [13 Regression] ICE: 'verify_gimple' failed (error:
non-trivial conversion in 'var_decl')
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221023 snapshot (g:0e37fd4dc74c1db99cdc7d71ef378e1221253c6f) ICEs
when compiling the following testcase, reduced from
gcc/testsuite/gcc.dg/attr-assume-1.c, w/ -O1:
double
f4 (double x)
{
[[gnu::assume(x && x > 0.0)]];
return x;
}
% gcc-13 -O1 -c ynay1wc5.c
ynay1wc5.c: In function 'f4':
ynay1wc5.c:2:1: error: non-trivial conversion in 'var_decl'
2 | f4 (double x)
| ^~
_Bool
int
D.1992 = iftmp.0;
ynay1wc5.c:2:1: internal compiler error: 'verify_gimple' failed
0xf44b4e verify_gimple_in_seq(gimple*, bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-cfg.cc:5309
0xc2973a gimplify_body(tree_node*, bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/gimplify.cc:17697
0xc298fa gimplify_function_tree(tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/gimplify.cc:17813
0xa46797 cgraph_node::analyze()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cgraphunit.cc:676
0xa49337 analyze_functions
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cgraphunit.cc:1240
0xa49fdd symbol_table::finalize_compilation_unit()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cgraphunit.cc:2514
[Bug tree-optimization/106717] [13 Regression] ICE: tree check: expected integer_cst, have poly_int_cst in get_len, at tree.h:6247
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106717 --- Comment #2 from Arseny Solokha --- Indeed, this particular case works now.
[Bug target/106959] [13 Regression] ICE in curr_insn_transform, at lra-constraints.cc:4168 (error: unable to generate reloads), or ICE in simplify_subreg, at simplify-rtx.cc:7405 since r13-2100-g5cccc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106959
--- Comment #3 from Arseny Solokha ---
Here's a shorter testcase that AFAICT doesn't rely on UB:
unsigned __int128 m;
int n;
__attribute__ ((simd)) void
foo (int x)
{
x = n ? n : (short int) x;
if (x)
m /= 2;
}
gcc 13.0.0 20221016 snapshot ICEs on that w/ just -O2 -fpeel-loops (and,
optionally, --param max-combine-insns=2, as before).
[Bug tree-optimization/107326] New: [13 Regression] ICE: verify_gimple failed (error: type mismatch in binary expression)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107326
Bug ID: 107326
Summary: [13 Regression] ICE: verify_gimple failed (error: type
mismatch in binary expression)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: aarch64-linux-gnu
gcc 13.0.0 20221016 snapshot (g:6366e3e8847af98d4728d55951534769d034d02a) ICEs
when compiling the following testcase w/ -O2 -fallow-store-data-races
-fvect-cost-model=dynamic:
struct Gsymtab {
unsigned int : 8;
unsigned int visited_somewhere : 1;
};
extern struct Gsymtab glob_symtab[];
int
visit_children (int i)
{
int numvisited = 0;
while (i < 1)
{
if (glob_symtab[i].visited_somewhere)
++numvisited;
++i;
}
return numvisited;
}
% aarch64-linux-gnu-gcc-13 -O2 -fallow-store-data-races
-fvect-cost-model=dynamic -c cjjq0il5.ccjjq0il5.c: In function
'visit_children':
cjjq0il5.c:9:1: error: type mismatch in binary expression
9 | visit_children (int i)
| ^~
vector(4) short unsigned int
vector(4) int
vector(4) int
vect_patt_8.16_64 = vect_patt_3.15_62 & { 256, 256, 256, 256 };
cjjq0il5.c:9:1: error: type mismatch in binary expression
vector(4) int
vector(4) int
vector(4) short unsigned int
vect__23.18_66 = vect_numvisited_12.10_51 + vect_patt_24.17_65;
during GIMPLE pass: vect
cjjq0il5.c:9:1: internal compiler error: verify_gimple failed
0xf81d0d verify_gimple_in_cfg(function*, bool)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/tree-cfg.cc:5649
0xe3def7 execute_function_todo
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/passes.cc:2091
0xe3e42e execute_todo
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/passes.cc:2145
[Bug rtl-optimization/88132] Compile time and memory hog w/ var-tracking on 32-bit targets
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88132 --- Comment #2 from Arseny Solokha --- I cannot reproduce it anymore w/ gcc 13.0.0 20221016 snapshot (g:6366e3e8847af98d4728d55951534769d034d02a) and w/ gcc 12.2.
[Bug target/97940] [11/12/13 Regression] ICE: in extract_insn, at recog.c:2306 (error: impossible constraint in 'asm'; error: unrecognizable insn)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97940 --- Comment #5 from Arseny Solokha --- I cannot reproduce it anymore w/ gcc 13.0.0 20221016 snapshot (g:6366e3e8847af98d4728d55951534769d034d02a) and w/ gcc 12.2.
[Bug target/96544] ICE in simplify_gen_subreg_concatn, at lower-subreg.c:717
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96544 --- Comment #1 from Arseny Solokha --- I cannot reproduce it anymore w/ gcc 13.0.0 20221016 snapshot (g:6366e3e8847af98d4728d55951534769d034d02a) and w/ gcc 12.2.
[Bug target/96448] ICE: maximum number of generated reload insns per insn achieved (90)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96448 --- Comment #3 from Arseny Solokha --- I cannot reproduce it anymore w/ gcc 13.0.0 20221016 snapshot (g:6366e3e8847af98d4728d55951534769d034d02a) and w/ gcc 12.2.
[Bug rtl-optimization/90259] ICE: verify_flow_info failed (error: missing REG_EH_REGION note at the end of bb 4)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90259 --- Comment #1 from Arseny Solokha --- I cannot reproduce it anymore w/ gcc 13.0.0 20221016 snapshot (g:6366e3e8847af98d4728d55951534769d034d02a).
[Bug rtl-optimization/88596] [10/11/12/13 Regression] ICE: Maximum number of LRA assignment passes is achieved (30)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88596 --- Comment #15 from Arseny Solokha --- In case it's still worth it to track the underlying issue somewhere, does it make sense to open a new PR just for the issue highlighted by Vladimir in comment 8? Otherwise, I suppose this PR can be safely closed. The immediate issue was fixed long ago, as noted by Jakub in comment 7.
[Bug tree-optimization/85964] [10/11/12/13 Regression] compile time hog w/ -O3 -ftracer -fno-guess-branch-probability
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85964 --- Comment #23 from Arseny Solokha --- I cannot reproduce it anymore w/ gcc 13.0.0 20221016 snapshot (g:6366e3e8847af98d4728d55951534769d034d02a) and w/ gcc 12.2.
[Bug target/99706] [10/11/12/13 Regression] ICE: maximum number of generated reload insns per insn achieved (90)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99706 --- Comment #13 from Arseny Solokha --- I cannot reproduce it anymore w/ gcc 13.0.0 20221016 snapshot (g:6366e3e8847af98d4728d55951534769d034d02a) and w/ gcc 12.2, though 11.3 is still affected.
[Bug tree-optimization/107312] New: [13 Regression] ICE in verify_range, at value-range.cc:1172, called from range_true_and_false
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107312
Bug ID: 107312
Summary: [13 Regression] ICE in verify_range, at
value-range.cc:1172, called from range_true_and_false
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: x86_64-pc-linux-gnu
gcc 13.0.0 20221016 snapshot (g:6366e3e8847af98d4728d55951534769d034d02a) ICEs
when compiling the following testcase, reduced from
gcc/testsuite/gcc.target/aarch64/sve/vcond_2_run.c, w/ -mavx512vbmi -O1
-ftree-loop-vectorize:
void
foo (_Float16 *r, short int *a)
{
int i;
for (i = 0; i < 32; ++i)
r[i] = !!a[i];
}
% x86_64-pc-linux-gnu-gcc-13 -mavx512vbmi -O1 -ftree-loop-vectorize -c
ppt01ppy.c
during GIMPLE pass: dom
ppt01ppy.c: In function 'foo':
ppt01ppy.c:2:1: internal compiler error: in verify_range, at
value-range.cc:1172
2 | foo (_Float16 *r, short int *a)
| ^~~
0x7bcad5 irange::verify_range()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/value-range.cc:1172
0x1e6740b range_true_and_false
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/range.h:53
0x1e68c07 operator_not_equal::fold_range(irange&, tree_node*, irange const&,
irange const&, relation_kind_t) const
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/range-op.cc:639
0x1d56084 fold_using_range::range_of_range_op(vrange&,
gimple_range_op_handler&, fur_source&)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/gimple-range-fold.cc:581
0x1d57a60 fold_using_range::fold_stmt(vrange&, gimple*, fur_source&,
tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/gimple-range-fold.cc:489
0x1d4a6d3 gimple_ranger::fold_range_internal(vrange&, gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/gimple-range.cc:258
0x1d4a6d3 gimple_ranger::range_of_stmt(vrange&, gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/gimple-range.cc:319
0x1d4b23a gimple_ranger::range_of_expr(vrange&, tree_node*, gimple*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/gimple-range.cc:126
0x1034a45 cprop_operand
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/tree-ssa-dom.cc:1968
0x1037232 cprop_into_stmt
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/tree-ssa-dom.cc:2045
0x1037232 dom_opt_dom_walker::optimize_stmt(basic_block_def*,
gimple_stmt_iterator*, bool*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/tree-ssa-dom.cc:2273
0x10382cc dom_opt_dom_walker::before_dom_children(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/tree-ssa-dom.cc:1678
0x1d150ae dom_walker::walk(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/domwalk.cc:311
0x1038dbc execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/tree-ssa-dom.cc:939
[Bug translation/107301] New: [13 Regression] ICE in duplicate_block, at cfghooks.cc:1114
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107301
Bug ID: 107301
Summary: [13 Regression] ICE in duplicate_block, at
cfghooks.cc:1114
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: translation
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221016 snapshot (g:6366e3e8847af98d4728d55951534769d034d02a) ICEs
when compiling the following testcase w/ -O2:
__attribute__ ((pure, returns_twice)) int
foo (int x)
{
int a;
a = x ? 3 : 0;
x /= a;
a = foo (x);
if (x == a)
__builtin_unreachable ();
return 0;
}
% gcc-13 -O2 -c ybzomcfk.c
during GIMPLE pass: isolate-paths
ybzomcfk.c: In function 'foo':
ybzomcfk.c:2:1: internal compiler error: in duplicate_block, at
cfghooks.cc:1114
2 | foo (int x)
| ^~~
0x6a97c8 duplicate_block(basic_block_def*, edge_def*, basic_block_def*,
copy_bb_data*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/cfghooks.cc:1114
0x1d679dc isolate_path(basic_block_def*, basic_block_def*, edge_def*, gimple*,
tree_node*, bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/gimple-ssa-isolate-paths.cc:157
0x1d6970b find_implicit_erroneous_behavior
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/gimple-ssa-isolate-paths.cc:770
0x1d6970b gimple_ssa_isolate_erroneous_paths
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/gimple-ssa-isolate-paths.cc:932
0x1d6970b execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/gimple-ssa-isolate-paths.cc:987
[Bug tree-optimization/107300] New: ICE: verify_ssa failed (error: virtual definition of statement not up to date)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107300
Bug ID: 107300
Summary: ICE: verify_ssa failed (error: virtual definition of
statement not up to date)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20221016 snapshot (g:6366e3e8847af98d4728d55951534769d034d02a) ICEs
when compiling the following testcase, reduced from
gcc/testsuite/gcc.c-torture/execute/pr81281.c, w/ -O2 -fipa-cp-clone
-funreachable-traps -fno-inline:
void
bar (int x, int y)
{
if (x)
__builtin_unreachable ();
if (y)
__builtin_abort ();
}
void
foo (void)
{
bar (0, 0);
}
% gcc-13 -O2 -fipa-cp-clone -funreachable-traps -fno-inline -c bppprfmm.c
bppprfmm.c: In function 'bar.constprop':
bppprfmm.c:2:1: error: virtual definition of statement not up to date
2 | bar (int x, int y)
| ^~~
__builtin_trap ();
during GIMPLE pass: fixup_cfg
bppprfmm.c:2:1: internal compiler error: verify_ssa failed
0x1155fd5 verify_ssa(bool, bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/tree-ssa.cc:1211
0xe0737d execute_function_todo
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/passes.cc:2098
0xe077ae execute_todo
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221016/work/gcc-13-20221016/gcc/passes.cc:2145
[Bug tree-optimization/95569] ICE in tmmark：verify_ssa failed
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95569 Arseny Solokha changed: What|Removed |Added CC||asolokha at gmx dot com --- Comment #5 from Arseny Solokha --- I guest this PR can be closed, actually.
[Bug tree-optimization/105820] [13 Regression] ICE in invert, at value-range.cc:1971
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105820 --- Comment #7 from Arseny Solokha --- I believe it won't hurt to add a testcase to the test suite.
