[Bug tree-optimization/109788] [14 Regression] gcc/hwint.h:293:61: runtime error: shift exponent 64 is too large for 64-bit type 'long unsigned int since r14-377-gc92b8be9b52b7e
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109788 Martin Liška changed: What|Removed |Added Summary|[14 Regression] |[14 Regression] |gcc/hwint.h:293:61: runtime |gcc/hwint.h:293:61: runtime |error: shift exponent 64 is |error: shift exponent 64 is |too large for 64-bit type |too large for 64-bit type |'long unsigned int |'long unsigned int since ||r14-377-gc92b8be9b52b7e CC||aldyh at gcc dot gnu.org Ever confirmed|0 |1 Last reconfirmed||2023-05-09 Status|UNCONFIRMED |NEW --- Comment #1 from Martin Liška --- Started with r14-377-gc92b8be9b52b7e.
[Bug tree-optimization/109788] New: [14 Regression] gcc/hwint.h:293:61: runtime error: shift exponent 64 is too large for 64-bit type 'long unsigned int
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109788 Bug ID: 109788 Summary: [14 Regression] gcc/hwint.h:293:61: runtime error: shift exponent 64 is too large for 64-bit type 'long unsigned int Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org Target Milestone: --- The following UBSAN happens with the following test-case: $ cat cat associate_60.f90 cat: cat: No such file or directory character(3) :: a = 'abc' associate (y => spread(trim(a),1,2) // 'd') end associate end $ /dev/shm/objdir/gcc/xgcc -B/dev/shm/objdir/gcc/ associate_60.f90 -c -Os /home/marxin/Programming/gcc/gcc/hwint.h:293:61: runtime error: shift exponent 64 is too large for 64-bit type 'long unsigned int' #0 0xb9c00c in sext_hwi(long, unsigned int) (/dev/shm/objdir/gcc/f951+0xb9c00c) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #1 0xb9c737 in wi::hwi_with_prec::hwi_with_prec(long, unsigned int, signop) (/dev/shm/objdir/gcc/f951+0xb9c737) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #2 0xb9c7c2 in wi::shwi(long, unsigned int) (/dev/shm/objdir/gcc/f951+0xb9c7c2) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #3 0x128eaad in wi::minus_one(unsigned int) (/dev/shm/objdir/gcc/f951+0x128eaad) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #4 0x12928b9 in irange::set_varying(tree_node*) (/dev/shm/objdir/gcc/f951+0x12928b9) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #5 0x247afe1 in range_cast(vrange&, tree_node*) (/dev/shm/objdir/gcc/f951+0x247afe1) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #6 0x1dd34ff in ipa_compute_jump_functions_for_edge(ipa_func_body_info*, cgraph_edge*) (/dev/shm/objdir/gcc/f951+0x1dd34ff) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #7 0x1dd4b25 in ipa_compute_jump_functions_for_bb(ipa_func_body_info*, basic_block_def*) (/dev/shm/objdir/gcc/f951+0x1dd4b25) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #8 0x1dd82c5 in analysis_dom_walker::before_dom_children(basic_block_def*) (/dev/shm/objdir/gcc/f951+0x1dd82c5) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #9 0x60da965 in dom_walker::walk(basic_block_def*) (/dev/shm/objdir/gcc/f951+0x60da965) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #10 0x1dd8c79 in ipa_analyze_node(cgraph_node*) (/dev/shm/objdir/gcc/f951+0x1dd8c79) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #11 0x63788ee in ipcp_generate_summary() (/dev/shm/objdir/gcc/f951+0x63788ee) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #12 0x23758b2 in execute_ipa_summary_passes(ipa_opt_pass_d*) (/dev/shm/objdir/gcc/f951+0x23758b2) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #13 0x14834d3 in ipa_passes() (/dev/shm/objdir/gcc/f951+0x14834d3) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #14 0x1483f12 in symbol_table::compile() (/dev/shm/objdir/gcc/f951+0x1483f12) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #15 0x1484ee4 in symbol_table::finalize_compilation_unit() (/dev/shm/objdir/gcc/f951+0x1484ee4) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #16 0x280638f in compile_file() (/dev/shm/objdir/gcc/f951+0x280638f) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #17 0x280e46e in do_compile(bool) (/dev/shm/objdir/gcc/f951+0x280e46e) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #18 0x280eccb in toplev::main(int, char**) (/dev/shm/objdir/gcc/f951+0x280eccb) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #19 0x692ac5f in main (/dev/shm/objdir/gcc/f951+0x692ac5f) (BuildId: 3d3a45e367361bf0f2e66b9ab765947856982ca3) #20 0x7722cbaf in __libc_start_call_main (/lib64/libc.so.6+0x27baf) (BuildId: 9854a3cd243b5cfbf9e26f7fbb65e62146c7) #21 0x7722cc78 in __libc_start_main_alias_1 (/lib64/libc.so.6+0x27c78) (BuildId: 9854a3cd243b5cfbf9e26f7fbb65e62146c7) #22 0xa604a4 in _start ../sysdeps/x86_64/start.S:115
[Bug target/109780] csmith: runtime crash with -O2 -march=znver1
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109780 --- Comment #11 from Martin Liška --- (In reply to Alexander Monakov from comment #10) > (In reply to Martin Liška from comment #9) > > Started with zen tuning revision r13-4839-geef81eefcdc2a5. > > The issue is also reproducible with -march=haswell or -march=skylake, so you > can use those for further bisection. With -march=skylake it began with r13-4124-g156f523f9582f1 and with -march=haswell it started with the very same revision.
[Bug other/109668] 'python' vs. 'python3'
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109668 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org --- Comment #1 from Martin Liška --- Well, python2 is long time out of support and should not be used. I think the correct Shebang for Python3 today is: #!/usr/bin/env python3 and all the remaining Python2 scripts should be ported to Python3.
[Bug tree-optimization/99987] [12/13/14 Regression] missed optimization for dead code elimination at -O3 (vs. -O2)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99987 Martin Liška changed: What|Removed |Added Keywords|needs-bisection | --- Comment #4 from Martin Liška --- (In reply to Andrew Pinski from comment #2) > Note GCC 12+ can't remove the call to foo even at -O2. I have not looked > into why though. It's due to r12-4240-g2b8453c401b699.
[Bug target/109780] csmith: runtime crash with -O2 -march=znver1
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109780 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org --- Comment #9 from Martin Liška --- Started with zen tuning revision r13-4839-geef81eefcdc2a5.
[Bug c++/109785] ICE in begin_maybe_infinite_loop
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109785 Martin Liška changed: What|Removed |Added Resolution|--- |DUPLICATE CC||marxin at gcc dot gnu.org Status|UNCONFIRMED |RESOLVED --- Comment #1 from Martin Liška --- Dup. *** This bug has been marked as a duplicate of bug 109666 ***
[Bug c++/109666] [12 Regression] Segmentation fault with std::array
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109666 Martin Liška changed: What|Removed |Added CC||fiesh at zefix dot tv --- Comment #13 from Martin Liška --- *** Bug 109785 has been marked as a duplicate of this bug. ***
[Bug tree-optimization/109732] [14 regression] gcc miscompiles iterator comparison on nlohmann_json since r14-204-gf1f5cbaa3f716f
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109732
--- Comment #9 from Martin Liška ---
I've got a C++ reduced test-case:
$ cat x.ii
template struct is_same;
template using enable_if_t = _Tp;
template struct reverse_iterator {
_Iterator current;
typedef _Iterator iterator_type;
reverse_iterator(iterator_type __x) : current(__x) {}
iterator_type base() { return current; }
};
template
bool operator==(reverse_iterator<_Iterator> __x,
reverse_iterator<_Iterator> __y) {
return __x.base() == __y.base();
}
struct __normal_iterator {
int _M_current;
};
template struct __new_allocator;
template struct allocator_traits;
template struct allocator_traits<__new_allocator<_Tp>> {
using const_pointer = _Tp *;
};
template struct vector {
typedef __normal_iterator iterator;
};
namespace {
enum value_t { null, object, array, string };
template class = vector,
template class = __new_allocator>
class basic_json;
struct external_constructor {
template <
typename BasicJsonType, typename CompatibleStringType,
enable_if_t::value, int> = 0>
static void construct(BasicJsonType , CompatibleStringType) {
j.m_type = string;
}
} to_json_s;
void to_json(basic_json<> ) { external_constructor::construct(j, to_json_s);
}
long begin_value;
long end_value = 1;
struct primitive_iterator_t {
long m_it;
void set_begin() { m_it = begin_value; }
void set_end() { m_it = end_value; }
friend bool operator==(primitive_iterator_t, primitive_iterator_t rhs) {
return rhs.m_it;
}
};
template struct internal_iterator {
typename BasicJsonType::array_t::iterator array_iterator;
primitive_iterator_t primitive_iterator;
};
template struct iter_impl {
using array_t = typename BasicJsonType::array_t;
typedef typename BasicJsonType::const_pointer pointer;
iter_impl(pointer object) : m_object(object) {
switch (m_object->m_type)
case ::object:
case array:
m_it.array_iterator = typename array_t::iterator();
}
void set_begin() {
switch (m_object->m_type) {
case object:
case array:
break;
case null:
m_it.primitive_iterator.set_end();
break;
default:
m_it.primitive_iterator.set_begin();
}
}
template bool operator==(IterImpl other) {
return m_it.primitive_iterator == other.m_it.primitive_iterator;
}
pointer m_object;
internal_iterator m_it;
};
template struct json_reverse_iterator : reverse_iterator
{
json_reverse_iterator(Base it) : reverse_iterator(it) {}
};
template class ArrayType,
template class AllocatorType>
struct basic_json {
using const_pointer =
typename allocator_traits>::const_pointer;
using const_iterator = iter_impl;
using const_reverse_iterator = json_reverse_iterator;
using array_t = ArrayType;
template basic_json(CompatibleType) {
to_json(*this);
}
const_iterator cbegin() {
const_iterator result(this);
result.set_begin();
return result;
}
const_iterator cend() {
const_iterator result(this);
return result;
}
const_reverse_iterator crbegin() { return cend(); }
const_reverse_iterator crend() { return cbegin(); }
value_t m_type;
};
} // namespace
int seen_failures;
__attribute__((noinline)) void sne(basic_json<>::const_reverse_iterator lhs,
basic_json<>::const_reverse_iterator rhs) {
bool res = !(lhs == rhs);
if (!res)
seen_failures++;
}
basic_json main_js = "";
int
main() {
basic_json js_const(main_js);
basic_json<>::const_reverse_iterator sit = js_const.crbegin(),
__trans_tmp_1 = js_const.crend();
sne(sit, __trans_tmp_1);
return seen_failures;
}
[Bug tree-optimization/109735] [14 Regression] ICE in vectorizable_store, at tree-vect-stmts.cc:8529 since r14-322-g821ef93976e750
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109735 Martin Liška changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org Last reconfirmed||2023-05-04 Ever confirmed|0 |1 Status|UNCONFIRMED |ASSIGNED Target Milestone|--- |14.0
[Bug tree-optimization/109735] New: [14 Regression] ICE in vectorizable_store, at tree-vect-stmts.cc:8529 since r14-322-g821ef93976e750
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109735
Bug ID: 109735
Summary: [14 Regression] ICE in vectorizable_store, at
tree-vect-stmts.cc:8529 since r14-322-g821ef93976e750
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: marxin at gcc dot gnu.org
CC: rguenth at gcc dot gnu.org
Target Milestone: ---
Host: x86_64-linux-gnu
Target: riscv64-unknown-linux-gnu
The following is crashing:
$ ./xgcc -B.
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr83329.c
-fvect-cost-model=unlimited -Ofast -c
during GIMPLE pass: slp
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr83329.c: In
function ‘h’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr83329.c:11:6:
internal compiler error: in vectorizable_store, at tree-vect-stmts.cc:8513
11 | void h() {
| ^
0x2b97b57 vectorizable_store
/home/marxin/Programming/gcc2/gcc/tree-vect-stmts.cc:8513
0x2ba28ee vect_transform_stmt(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*)
/home/marxin/Programming/gcc2/gcc/tree-vect-stmts.cc:11595
0x2c0167f vect_schedule_slp_node
/home/marxin/Programming/gcc2/gcc/tree-vect-slp.cc:8952
0x2c0217d vect_schedule_scc
/home/marxin/Programming/gcc2/gcc/tree-vect-slp.cc:9147
0x2c0297b vect_schedule_slp(vec_info*, vec<_slp_instance*, va_heap, vl_ptr>
const&)
/home/marxin/Programming/gcc2/gcc/tree-vect-slp.cc:9287
0x2bfc2fa vect_slp_region
/home/marxin/Programming/gcc2/gcc/tree-vect-slp.cc:7496
0x2bfcb70 vect_slp_bbs
/home/marxin/Programming/gcc2/gcc/tree-vect-slp.cc:7608
0x2bfd100 vect_slp_function(function*)
/home/marxin/Programming/gcc2/gcc/tree-vect-slp.cc:7709
0x2c2055c execute
/home/marxin/Programming/gcc2/gcc/tree-vectorizer.cc:1529
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
[Bug target/109733] [14 Regression] ICE in extract_insn, at recog.cc:2791 since r14-475-g508f082829af68
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109733 Martin Liška changed: What|Removed |Added Last reconfirmed||2023-05-04 Summary|ICE in extract_insn, at |[14 Regression] ICE in |recog.cc:2791 since |extract_insn, at |r14-475-g508f082829af68 |recog.cc:2791 since ||r14-475-g508f082829af68 Ever confirmed|0 |1 Status|UNCONFIRMED |NEW
[Bug target/109733] New: ICE in extract_insn, at recog.cc:2791 since r14-475-g508f082829af68
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109733 Bug ID: 109733 Summary: ICE in extract_insn, at recog.cc:2791 since r14-475-g508f082829af68 Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: ubizjak at gmail dot com Target Milestone: --- Host: x86_64-linux-gnu I noticed the following crash: $ cat x.f90 use iso_c_binding interface subroutine ctest_cont (a, is_cont) bind (c, name="ctest") end subroutine subroutine ctest_ar_cont (a, is_cont) bind (c, name="ctest") use iso_c_binding integer(C_INT), contiguous :: a(..) logical(C_Bool), value :: is_cont end subroutine end interface integer(C_INT), target :: aa(10,5) integer(C_INT), target :: bb(10,10) do j = 1, 5 do i = 1, 10 end do end do call ftest (transpose (aa), is_cont=.true._c_bool) ! Implementation choice: copy in; hence, contiguous call ftest (bb(2:10:2, :), is_cont=.false._c_bool) contains subroutine ftest (a, is_cont) integer(C_INT) :: a(:,:) logical(c_bool), value, intent(in) :: is_cont call ctest_ar_cont (a, is_cont=.true._c_bool) end subroutine subroutine ftest_ar (a, is_cont) end subroutine end program $ gfortran x.f90 -ftree-vrp -O1 -mavx512vbmi2 -m32 -march=i686 -c x.f90:24:16: 24 | end subroutine |^ Error: unrecognizable insn: (insn 429 416 379 18 (set (reg:SI 72 k4 [orig:121 _114 ] [121]) (mult:SI (reg:SI 70 k2 [orig:112 ubound.0 ] [112]) (const_int 4 [0x4]))) -1 (nil)) during RTL pass: split2 x.f90:24:16: internal compiler error: in extract_insn, at recog.cc:2791 0x1f4c694 diagnostic_impl(rich_location*, diagnostic_metadata const*, int, char const*, __va_list_tag (*) [1], diagnostic_t) ???:0 0x1f4d2e6 internal_error(char const*, ...) ???:0 0x899ba5 fancy_abort(char const*, int, char const*) ???:0 0x76b68a _fatal_insn(char const*, rtx_def const*, char const*, int, char const*) ???:0 0x76b6a6 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*) ???:0 0x769bc3 extract_insn(rtx_insn*) [clone .cold] ???:0 0xef4694 extract_insn_cached(rtx_insn*) ???:0 0xbd7d24 cleanup_subreg_operands(rtx_insn*) ???:0 0xef2676 split_insn(rtx_insn*) ???:0 0xef7aa9 split_all_insns() ???:0 0xef7bb8 (anonymous namespace)::pass_split_all_insns::execute(function*) ???:0 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.
[Bug tree-optimization/109732] [14 regression] gcc miscompiles iterator comparison on nlohmann_json since r14-204-gf1f5cbaa3f716f
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109732 --- Comment #7 from Martin Liška --- @Andrew: Will you be able to construct a test-case or do you want me to reduce the provided one?
[Bug tree-optimization/109732] [14 regression] gcc miscompiles iterator comparison on nlohmann_json since r14-204-gf1f5cbaa3f716f
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109732 --- Comment #5 from Martin Liška --- So (long int)(_73 == 0) is changed to (long int)(_73 != 0).
[Bug tree-optimization/109732] [14 regression] gcc miscompiles iterator comparison on nlohmann_json since r14-204-gf1f5cbaa3f716f
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109732 --- Comment #4 from Martin Liška --- Looking at optimized dump before and after the revision I see an obvious error: diff -u good bad --- good2023-05-04 14:12:16.160695781 +0200 +++ bad 2023-05-04 14:11:58.516230125 +0200 @@ -3399,9 +3399,9 @@ struct _Rb_tree_node_base * _77; struct basic_json * _79; struct binary_t * _88; - long int _101; void * _109; - bool _148; + bool _116; + long int _117; struct _Rb_tree_node_base * _181; [local count: 1073741824]: @@ -3445,13 +3445,13 @@ goto ; [100.00%] [local count: 357524722]: - _148 = _73 == 0; - _101 = (long int) _148; + _116 = _73 != 0; + _117 = (long int) _116; [local count: 1071716297]: # SR.1026_134 = PHI <_77(5), 0B(6), 0B(7)> # SR.1027_139 = PHI <0B(5), _79(6), 0B(7)> - # SR.1028_138 = PHI <-9223372036854775808(5), -9223372036854775808(6), _101(7)> + # SR.1028_138 = PHI <-9223372036854775808(5), -9223372036854775808(6), _117(7)> # sit$m_it$object_iterator$_M_node_127 = PHI <_181(5), 0B(6), 0B(7)> # sit$m_it$primitive_iterator$m_it_125 = PHI <-9223372036854775808(5), -9223372036854775808(6), 1(7)> # sit$m_it$array_iterator$_M_current_56 = PHI <0B(5), _75(6), 0B(7)>
[Bug tree-optimization/109732] [14 regression] gcc miscompiles iterator comparison on nlohmann_json since r14-204-gf1f5cbaa3f716f
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109732 Martin Liška changed: What|Removed |Added Summary|[14 regression] gcc |[14 regression] gcc |miscompiles iterator|miscompiles iterator |comparison on nlohmann_json |comparison on nlohmann_json ||since ||r14-204-gf1f5cbaa3f716f Status|UNCONFIRMED |NEW Last reconfirmed||2023-05-04 Ever confirmed|0 |1 CC||marxin at gcc dot gnu.org --- Comment #2 from Martin Liška --- Started with r14-204-gf1f5cbaa3f716f.
[Bug target/109713] [14 Regression] gcc/config/riscv/sync.md:66:1: error: control reaches end of non-void function [-Werror=return-type] since r14-406-gbff7c773864479
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109713 Martin Liška changed: What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #7 from Martin Liška --- Fixed now.
[Bug target/109713] [14 Regression] gcc/config/riscv/sync.md:66:1: error: control reaches end of non-void function [-Werror=return-type] since r14-406-gbff7c773864479
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109713 --- Comment #4 from Martin Liška --- (In reply to Jakub Jelinek from comment #3) > 8 spaces -> tab. May I commit it as obvious with the change?
[Bug target/109713] [14 Regression] gcc/config/riscv/sync.md:66:1: error: control reaches end of non-void function [-Werror=return-type] since r14-406-gbff7c773864479
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109713 Martin Liška changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed||2023-05-03 Status|UNCONFIRMED |NEW
[Bug target/109713] [14 Regression] gcc/config/riscv/sync.md:66:1: error: control reaches end of non-void function [-Werror=return-type] since r14-406-gbff7c773864479
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109713 --- Comment #2 from Martin Liška --- So something like this can fix it: diff --git a/gcc/config/riscv/sync.md b/gcc/config/riscv/sync.md index ba132d8a1ce..206adcfec3c 100644 --- a/gcc/config/riscv/sync.md +++ b/gcc/config/riscv/sync.md @@ -61,6 +61,8 @@ (define_insn "mem_thread_fence_1" return "fence\tr,rw"; else if (model == MEMMODEL_RELEASE) return "fence\trw,w"; +else +gcc_unreachable (); } [(set (attr "length") (const_int 4))])
[Bug target/109713] [14 Regression] gcc/config/riscv/sync.md:66:1: error: control reaches end of non-void function [-Werror=return-type] since r14-406-gbff7c773864479
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109713
--- Comment #1 from Martin Liška ---
The following generated code reports the warning:
static const char *
output_491 (rtx *operands ATTRIBUTE_UNUSED, rtx_insn *insn ATTRIBUTE_UNUSED)
{
#line 53 "/home/marxin/Programming/gcc/gcc/config/riscv/sync.md"
{
enum memmodel model = (enum memmodel) INTVAL (operands[1]);
model = memmodel_base (model);
if (model == MEMMODEL_SEQ_CST)
return "fence\trw,rw";
else if (model == MEMMODEL_ACQ_REL)
return "fence.tso";
else if (model == MEMMODEL_ACQUIRE)
return "fence\tr,rw";
else if (model == MEMMODEL_RELEASE)
return "fence\trw,w";
}
}
[Bug target/109713] New: [14 Regression] gcc/config/riscv/sync.md:66:1: error: control reaches end of non-void function [-Werror=return-type] since r14-406-gbff7c773864479
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109713 Bug ID: 109713 Summary: [14 Regression] gcc/config/riscv/sync.md:66:1: error: control reaches end of non-void function [-Werror=return-type] since r14-406-gbff7c773864479 Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: patrick at rivosinc dot com Target Milestone: --- Host: x86_64-linux-gnu Target: riscv64-unknown-linux-gnu Since the revision I see: [ 5046s] ../../gcc/config/riscv/sync.md: In function 'const char* output_479(rtx_def**, rtx_insn*)': [ 5046s] ../../gcc/config/riscv/sync.md:66:1: error: control reaches end of non-void function [-Werror=return-type] [ 5046s]66 | [(set (attr "length") (const_int 4))]) [ 5046s] | ^ [ 5046s] cc1plus: some warnings being treated as errors
[Bug ipa/109711] [14 regression] ICE (tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in verify_range, at value-range.cc:1060) when building ffmpeg-4.4.4 since r14-377-gc92b8be9b52b
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109711 Martin Liška changed: What|Removed |Added CC||tnfchris at gcc dot gnu.org --- Comment #3 from Martin Liška --- Hm, on x86_64-linux-gnu, it started with r13-6616-g2246d576f922ba.
[Bug ipa/109711] [14 regression] ICE (tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in verify_range, at value-range.cc:1060) when building ffmpeg-4.4.4 since r14-377-gc92b8be9b52b
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109711 Martin Liška changed: What|Removed |Added Keywords|needs-bisection | Summary|[14 regression] ICE (tree |[14 regression] ICE (tree |check: expected class |check: expected class |‘type’, have ‘exceptional’ |‘type’, have ‘exceptional’ |(error_mark) in |(error_mark) in |verify_range, at|verify_range, at |value-range.cc:1060) when |value-range.cc:1060) when |building ffmpeg-4.4.4 |building ffmpeg-4.4.4 since ||r14-377-gc92b8be9b52b7e --- Comment #2 from Martin Liška --- Started with r14-377-gc92b8be9b52b7e and it's not related to aarch64, can reproduce on x86_64-linux-gnu as well.
[Bug ipa/109711] [14 regression] ICE (tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in verify_range, at value-range.cc:1060) when building ffmpeg-4.4.4
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109711
Martin Liška changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Keywords|needs-reduction |
Last reconfirmed||2023-05-03
Ever confirmed|0 |1
--- Comment #1 from Martin Liška ---
I reduced that to:
$ cat pr109711.i
void lspf2lpc();
int interpolate_lpc_q_0;
void
interpolate_lpc(int subframe_num) {
float weight;
if (interpolate_lpc_q_0)
weight = subframe_num;
else
weight = 1.0;
if (weight != 1.0)
lspf2lpc();
}
void
qcelp_decode_frame() {
int i;
for (;; i++)
interpolate_lpc(i);
}
$ /dev/shm/objdir2/gcc/xgcc -B/dev/shm/objdir2/gcc pr109711.i -c -O2
during IPA pass: inline
pr109711.i:21:1: internal compiler error: tree check: expected class ‘type’,
have ‘exceptional’ (error_mark) in verify_range, at value-range.cc:1060
21 | }
| ^
0x84dfd7 tree_class_check_failed(tree_node const*, tree_code_class, char
const*, int, char const*)
/home/marxin/Programming/gcc/gcc/tree.cc:8949
0x85baff tree_class_check(tree_node*, tree_code_class, char const*, int, char
const*)
/home/marxin/Programming/gcc/gcc/tree.h:3663
0x85baff irange::verify_range()
/home/marxin/Programming/gcc/gcc/value-range.cc:1060
0x1279d97 irange::operator=(irange const&)
/home/marxin/Programming/gcc/gcc/value-range.cc:923
0xcd61a7 int_range<2u>::operator=(int_range<2u> const&)
/home/marxin/Programming/gcc/gcc/value-range.h:817
0xcd61a7 evaluate_conditions_for_known_args
/home/marxin/Programming/gcc/gcc/ipa-fnsummary.cc:517
0xcee9c5 do_estimate_edge_size(cgraph_edge*)
/home/marxin/Programming/gcc/gcc/ipa-inline-analysis.cc:335
0xcf1465 estimate_edge_size(cgraph_edge*)
/home/marxin/Programming/gcc/gcc/ipa-inline.h:79
0xcf1465 estimate_edge_growth(cgraph_edge*)
/home/marxin/Programming/gcc/gcc/ipa-inline.h:100
0xcefe15 do_estimate_growth_1
/home/marxin/Programming/gcc/gcc/ipa-inline-analysis.cc:434
0xcefef6 cgraph_node::call_for_symbol_and_aliases(bool (*)(cgraph_node*,
void*), void*, bool)
/home/marxin/Programming/gcc/gcc/cgraph.h:3412
0xcefef6 estimate_growth(cgraph_node*)
/home/marxin/Programming/gcc/gcc/ipa-inline-analysis.cc:472
0x1d972c4 inline_small_functions
/home/marxin/Programming/gcc/gcc/ipa-inline.cc:2042
0x1d972c4 ipa_inline
/home/marxin/Programming/gcc/gcc/ipa-inline.cc:2811
0x1d972c4 execute
/home/marxin/Programming/gcc/gcc/ipa-inline.cc:3210
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See
[Bug tree-optimization/109695] [14 Regression] crash in gimple_ranger::range_of_expr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109695
Martin Liška changed:
What|Removed |Added
CC||marxin at gcc dot gnu.org
--- Comment #9 from Martin Liška ---
I've got a pretty nice reduced test-case:
$ cat pr109695.C
struct basic_string {
basic_string(char *);
~basic_string();
};
struct {
basic_string short_opt;
basic_string long_opt;
basic_string parameter;
basic_string description;
} flatc_options[]{
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "",
"", "", "", "", "", "", "", ""};
$ g++ pr109695.C -c -Wno-write-strings
g++: internal compiler error: Segmentation fault signal terminated program
cc1plus
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
See <https://gcc.gnu.org/bugs/> for instructions.
$ g++-13 pr109695.C -c -Wno-write-strings
[Bug sanitizer/109700] ICE with address sanitizer after declaring __builtin_alloca since r8-1884-ge3174bdf35c172f
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109700 Martin Liška changed: What|Removed |Added Summary|ICE with address sanitizer |ICE with address sanitizer |after declaring |after declaring |__builtin_alloca|__builtin_alloca since ||r8-1884-ge3174bdf35c172f --- Comment #7 from Martin Liška --- (In reply to Andrew Pinski from comment #4) > Most likely started with r8-1884-ge3174bdf35c172f (just like PR 104449 ). PR > 104449 was supposed to fix part of this but it seems like it didn't. Yes, started with r8-1884-ge3174bdf35c172f.
[Bug tree-optimization/109693] trivial: unused private field
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109693 Martin Liška changed: What|Removed |Added Resolution|--- |FIXED CC||marxin at gcc dot gnu.org Status|UNCONFIRMED |RESOLVED --- Comment #2 from Martin Liška --- Fixed.
[Bug c++/109692] [12/13/14 Regression] ICE on concept as default template parameter to iife lambda in fold expression in static member template function since r12-8110-ge2c7070ac77405
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109692 Martin Liška changed: What|Removed |Added Summary|ICE on concept as default |[12/13/14 Regression] ICE |template parameter to iife |on concept as default |lambda in fold expression |template parameter to iife |in static member template |lambda in fold expression |function|in static member template ||function since ||r12-8110-ge2c7070ac77405 Last reconfirmed||2023-05-02 Status|UNCONFIRMED |NEW Ever confirmed|0 |1 CC||marxin at gcc dot gnu.org, ||ppalka at gcc dot gnu.org --- Comment #1 from Martin Liška --- Started with r12-8110-ge2c7070ac77405.
[Bug tree-optimization/109689] [14 Regression] ICE at -O1 with "-ftree-vectorize": in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:645 since r14-301-gf2d6beb7a4ddf1
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109689 Martin Liška changed: What|Removed |Added Summary|[14 Regression] ICE at -O1 |[14 Regression] ICE at -O1 |with "-ftree-vectorize": in |with "-ftree-vectorize": in |check_loop_closed_ssa_def, |check_loop_closed_ssa_def, |at |at |tree-ssa-loop-manip.cc:645 |tree-ssa-loop-manip.cc:645 ||since ||r14-301-gf2d6beb7a4ddf1 CC| |marxin at gcc dot gnu.org --- Comment #4 from Martin Liška --- Started with r14-301-gf2d6beb7a4ddf1.
[Bug c++/109648] ICE: tree check: expected type_pack_expansion or expr_pack_expansion, have error_mark in tsubst_pack_expansion, at cp/pt.cc:13551 since r13-272-gdc6c96f0707aba
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109648 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org, ||ppalka at gcc dot gnu.org Last reconfirmed||2023-05-02 Summary|ICE: tree check: expected |ICE: tree check: expected |type_pack_expansion or |type_pack_expansion or |expr_pack_expansion, have |expr_pack_expansion, have |error_mark in |error_mark in |tsubst_pack_expansion, at |tsubst_pack_expansion, at |cp/pt.cc:13551 |cp/pt.cc:13551 since ||r13-272-gdc6c96f0707aba Status|UNCONFIRMED |NEW Ever confirmed|0 |1 --- Comment #1 from Martin Liška --- Started with r13-272-gdc6c96f0707aba.
[Bug c++/109645] [14 Regression] ICE in instantiate_decl, at cp/pt.cc:27097 since r14-283-g95d4c0d2e6318a
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109645 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org Summary|ice in instantiate_decl, at |[14 Regression] ICE in |cp/pt.cc:27097 |instantiate_decl, at ||cp/pt.cc:27097 since ||r14-283-g95d4c0d2e6318a --- Comment #8 from Martin Liška --- So started with r14-283-g95d4c0d2e6318a.
[Bug sanitizer/109674] [14 Regression] linking with libhwasan is now broken
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109674 Martin Liška changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED --- Comment #7 from Martin Liška --- Fixed now. There are some hwasan test-suite failures that I'm going to fix soon.
[Bug sanitizer/109674] [14 Regression] linking with libhwasan is now broken
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109674 --- Comment #5 from Martin Liška --- The solution is probably very similar to libasan library where also __lsan symbols are used and where we link against ../lsan/.libs/libsanitizer_lsan.a.
[Bug sanitizer/109674] [14 Regression] linking with libhwasan is now broken
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109674 Martin Liška changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed||2023-04-30 Assignee|unassigned at gcc dot gnu.org |marxin at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #4 from Martin Liška --- Oh, now I can reproduce it.
[Bug sanitizer/109674] [14 Regression] linking with libhwasan is now broken
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109674 Martin Liška changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|--- |INVALID --- Comment #1 from Martin Liška --- I've just built libsanitizer on an aarch64 with revision g:2744dbb9ecf104a113da3a0f39115da4653bb676 and it's fine: file libsanitizer/hwasan/.libs/libhwasan.so.0.0.0 libsanitizer/hwasan/.libs/libhwasan.so.0.0.0: ELF 64-bit LSB shared object, ARM aarch64, version 1 (SYSV), dynamically linked, with debug_info, not stripped
[Bug libstdc++/109647] New: ranges:6151:14: error: requires clause differs in template redeclaration rejected by clang++ 16.0.2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109647
Bug ID: 109647
Summary: ranges:6151:14: error: requires clause differs in
template redeclaration rejected by clang++ 16.0.2
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: libstdc++
Assignee: unassigned at gcc dot gnu.org
Reporter: marxin at gcc dot gnu.org
CC: redi at gcc dot gnu.org
Target Milestone: ---
Apparently, clang++ 16.0.2 can't digest libstdc++ version of ranges header
file:
echo '#include ' | clang++ -x c++ - -c -std=c++2b
In file included from :1:
/usr/bin/../lib64/gcc/x86_64-suse-linux/13/../../../../include/c++/13/ranges:6151:14:
error: requires clause differs in template redeclaration
requires forward_range<_Vp>
^
/usr/bin/../lib64/gcc/x86_64-suse-linux/13/../../../../include/c++/13/ranges:5850:14:
note: previous template declaration is here
requires input_range<_Vp>
^
/usr/bin/../lib64/gcc/x86_64-suse-linux/13/../../../../include/c++/13/ranges:8846:20:
error: type-id cannot have a name
{ return (auto(__x) += __y); }
^
/usr/bin/../lib64/gcc/x86_64-suse-linux/13/../../../../include/c++/13/ranges:8846:25:
error: expected ')'
{ return (auto(__x) += __y); }
^
/usr/bin/../lib64/gcc/x86_64-suse-linux/13/../../../../include/c++/13/ranges:8846:14:
note: to match this '('
{ return (auto(__x) += __y); }
^
/usr/bin/../lib64/gcc/x86_64-suse-linux/13/../../../../include/c++/13/ranges:8846:32:
error: expected expression
{ return (auto(__x) += __y); }
^
4 errors generated.
$ echo '#include ' | g++-13 -x c++ - -c -std=c++2b
(ok)
[Bug c/109618] ICE: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in generic_simplify_CONVERT_EXPR, at generic-match.cc since r12-3278-g823685221de986
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109618 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org, ||sayle at gcc dot gnu.org Summary|ICE: tree check: expected |ICE: tree check: expected |class ‘type’, have |class ‘type’, have |‘exceptional’ (error_mark) |‘exceptional’ (error_mark) |in |in |generic_simplify_CONVERT_EX |generic_simplify_CONVERT_EX |PR, at generic-match.cc |PR, at generic-match.cc ||since ||r12-3278-g823685221de986 --- Comment #2 from Martin Liška --- Started with r12-3278-g823685221de986.
[Bug c/109619] ICE: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in fold_const_call_1, at fold-const-call.cc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109619 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org, ||sayle at gcc dot gnu.org --- Comment #2 from Martin Liška --- Started with r12-3278-g823685221de986.
[Bug ipa/109643] [14 Regression] IPA inline ICE on pkg-config-0.29.2 since r14-249-g3c9372dfee0bb8
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109643 Martin Liška changed: What|Removed |Added Last reconfirmed|2023-04-27 00:00:00 | Summary|[14 Regression] IPA inline |[14 Regression] IPA inline |ICE on pkg-config-0.29.2|ICE on pkg-config-0.29.2 ||since ||r14-249-g3c9372dfee0bb8 --- Comment #2 from Martin Liška --- Started with r14-249-g3c9372dfee0bb8.
[Bug sanitizer/109533] Build failure with upcoming musl release, needs libsanitizer backport (sanitizer_platform_limits_posix.cpp:182:31: error: invalid application of 'sizeof' to incomplete type '__s
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109533 Martin Liška changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED |RESOLVED --- Comment #2 from Martin Liška --- Thanks for the heads-up. Then let's close it as resolved.
[Bug tree-optimization/109604] [14 Regression] ICE during GIMPLE pass: phiopt since r14-169-g84325f1c6aa3c5
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109604 Martin Liška changed: What|Removed |Added Summary|[14 Regression] ice during |[14 Regression] ICE during |GIMPLE pass: phiopt |GIMPLE pass: phiopt since ||r14-169-g84325f1c6aa3c5 Last reconfirmed||2023-04-24 Status|UNCONFIRMED |NEW Ever confirmed|0 |1 CC||marxin at gcc dot gnu.org --- Comment #1 from Martin Liška --- Started with r14-169-g84325f1c6aa3c5.
[Bug c/109598] ICE: tree check: expected array_type, have error_mark in array_ref_low_bound, at tree.cc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109598 Martin Liška changed: What|Removed |Added CC||jsm28 at gcc dot gnu.org, ||marxin at gcc dot gnu.org, ||sayle at gcc dot gnu.org --- Comment #2 from Martin Liška --- Started with r12-3278-g823685221de986.
[Bug tree-optimization/109583] [13/14 Regression] ICE in related_vector_mode, at stor-layout.cc:537 since r14-22-g2349e69125335d
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109583 --- Comment #4 from Martin Liška --- Fixed now?
[Bug sanitizer/109594] New: [14 Regression] ICE verify_gimple failed since r14-67-g2c800ed8d59cff with ASAN
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109594 Bug ID: 109594 Summary: [14 Regression] ICE verify_gimple failed since r14-67-g2c800ed8d59cff with ASAN Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: sanitizer Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org, jakub at gcc dot gnu.org, kcc at gcc dot gnu.org, marxin at gcc dot gnu.org, rguenth at gcc dot gnu.org Target Milestone: --- The following newly causes an ICE: $ gcc /home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/pr70022.c -O2 -fsanitize=address /home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/pr70022.c: In function ‘foo’: /home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/pr70022.c:7:1: error: conversion of ‘ssa_name’ on the left hand side of ‘view_convert_expr’ 7 | foo (v4si v) | ^~~ VIEW_CONVERT_EXPR(v_1(D)); _4 = _CONVERT_EXPR(v_1(D))[18446744073709551615]; during GIMPLE pass: asan /home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/pr70022.c:7:1: internal compiler error: verify_gimple failed 0x1ea6114 diagnostic_impl(rich_location*, diagnostic_metadata const*, int, char const*, __va_list_tag (*) [1], diagnostic_t) ???:0 0x1ea6d66 internal_error(char const*, ...) ???:0 0xf3244d verify_gimple_in_cfg(function*, bool, bool) ???:0 0xdfb8e0 execute_function_todo(function*, void*) ???:0 0xdfbe4e execute_todo(unsigned int) ???:0 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions. Simplify gimple_assign_load
[Bug tree-optimization/109583] [14 Regression] ICE in related_vector_mode, at stor-layout.cc:537 since r14-22-g2349e69125335d
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109583 Martin Liška changed: What|Removed |Added Last reconfirmed||2023-04-21 Status|UNCONFIRMED |NEW Ever confirmed|0 |1 Target Milestone|--- |14.0
[Bug tree-optimization/109583] New: [14 Regression] ICE in related_vector_mode, at stor-layout.cc:537 since r14-22-g2349e69125335d
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109583
Bug ID: 109583
Summary: [14 Regression] ICE in related_vector_mode, at
stor-layout.cc:537 since r14-22-g2349e69125335d
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: marxin at gcc dot gnu.org
CC: jakub at gcc dot gnu.org
Target Milestone: ---
The following crashes:
$ cat ice.c
typedef float v8sf __attribute__((vector_size(32)));
typedef int v8si __attribute__((vector_size(32)));
v8sf foo1 (v8sf x, v8sf y)
{
v8sf tem0 = x - y;
v8sf tem1 = x + y;
return __builtin_shuffle (tem0, tem1, (v8si) { 0, 9, 2, 11, 4, 13, 6, 15 });
}
$ gcc ice.c -O -c
ice.c: In function ‘foo1’:
ice.c:4:1: warning: AVX vector return without AVX enabled changes the ABI
[-Wpsabi]
4 | {
| ^
ice.c:3:6: note: the ABI for passing parameters with 32-byte alignment has
changed in GCC 4.6
3 | v8sf foo1 (v8sf x, v8sf y)
| ^~~~
during GIMPLE pass: ccp
ice.c:8:1: internal compiler error: Floating point exception
8 | }
| ^
0xbbbc0f crash_signal
/home/marxin/Programming/gcc/gcc/toplev.cc:314
0xbb7a2b mode_to_bytes(machine_mode)
/home/marxin/Programming/gcc/gcc/machmode.h:551
0xbb7a2b if_nonpoly::is_poly>::type
GET_MODE_SIZE(scalar_mode const&)
/home/marxin/Programming/gcc/gcc/machmode.h:648
0xbb7a2b default_vectorize_related_mode(machine_mode, scalar_mode, poly_int<1u,
unsigned long>)
/home/marxin/Programming/gcc/gcc/targhooks.cc:1560
0xfe3635 gimple_simplify_211
/dev/shm/objdir/gcc/gimple-match.cc:18417
0x10edb5c gimple_simplify_VEC_PERM_EXPR
/dev/shm/objdir/gcc/gimple-match.cc:208860
0xf641b9 gimple_resimplify3
/home/marxin/Programming/gcc/gcc/gimple-match-head.cc:399
0xfa1197 gimple_simplify(gimple*, gimple_match_op*, gimple**, tree_node*
(*)(tree_node*), tree_node* (*)(tree_node*))
/home/marxin/Programming/gcc/gcc/gimple-match-head.cc:1115
0x8f8c4e gimple_fold_stmt_to_constant_1(gimple*, tree_node* (*)(tree_node*),
tree_node* (*)(tree_node*))
/home/marxin/Programming/gcc/gcc/gimple-fold.cc:7444
0xca8913 ccp_fold
/home/marxin/Programming/gcc/gcc/tree-ssa-ccp.cc:1289
0xca8913 evaluate_stmt
/home/marxin/Programming/gcc/gcc/tree-ssa-ccp.cc:2220
0xcaa1cd visit_assignment
/home/marxin/Programming/gcc/gcc/tree-ssa-ccp.cc:2853
0xd399c3 ssa_propagation_engine::simulate_stmt(gimple*)
/home/marxin/Programming/gcc/gcc/tree-ssa-propagate.cc:220
0xd39c3a ssa_propagation_engine::simulate_block(basic_block_def*)
/home/marxin/Programming/gcc/gcc/tree-ssa-propagate.cc:327
0xd3a0b8 ssa_propagation_engine::ssa_propagate()
/home/marxin/Programming/gcc/gcc/tree-ssa-propagate.cc:477
0xc9be51 do_ssa_ccp
/home/marxin/Programming/gcc/gcc/tree-ssa-ccp.cc:2972
0xc9be51 execute
/home/marxin/Programming/gcc/gcc/tree-ssa-ccp.cc:3018
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
[Bug tree-optimization/109573] [11/12/13/14 regression] ICE in vectorizable_live_operation, at tree-vect-loop.cc:9060 with -march=ivybridge since r11-3025-g095d42feed09f8
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109573 Martin Liška changed: What|Removed |Added Target Milestone|12.3|11.5 Summary|[11/12/13/14 regression]|[11/12/13/14 regression] |ICE in |ICE in |vectorizable_live_operation |vectorizable_live_operation |, at tree-vect-loop.cc:9060 |, at tree-vect-loop.cc:9060 |when building chromium's|with -march=ivybridge since |maglev-assembler-x64.cc |r11-3025-g095d42feed09f8 |with -march=ivybridge since | |r11-3025-g095d42feed09f8|
[Bug target/109582] riscv/generic.md:28:1: unknown value `smin' for attribute `type'
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109582 Martin Liška changed: What|Removed |Added Version|13.0|14.0 CC||andrew at sifive dot com, ||kito at gcc dot gnu.org, ||palmer at dabbelt dot com Status|UNCONFIRMED |NEW Ever confirmed|0 |1 Target Milestone|--- |14.0 Last reconfirmed||2023-04-21
[Bug target/109582] New: riscv/generic.md:28:1: unknown value `smin' for attribute `type'
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109582 Bug ID: 109582 Summary: riscv/generic.md:28:1: unknown value `smin' for attribute `type' Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: rzinsly at ventanamicro dot com Target Milestone: --- Host: x86_64-linux-gnu Target: riscv64-unknown-linux-gnu I can't build --target=riscv64-suse-linux compiler since r14-116-g07e2576d6f344a due to: make build/genattrtab /home/marxin/Programming/gcc/gcc/common.md /home/marxin/Programming/gcc/gcc/config/riscv/riscv.md insn-conditions.md \ -Atmp-attrtab.cc -Dtmp-dfatab.cc -Ltmp-latencytab.cc /home/marxin/Programming/gcc/gcc/config/riscv/generic.md:28:1: unknown value `smin' for attribute `type' make: *** [Makefile:2522: s-attrtab] Error 1
[Bug tree-optimization/109573] [11/12/13/14 regression] ICE in vectorizable_live_operation, at tree-vect-loop.cc:9060 when building chromium's maglev-assembler-x64.cc with -march=ivybridge since r11-3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109573 Martin Liška changed: What|Removed |Added Summary|[12/13/14 regression] ICE |[11/12/13/14 regression] |in |ICE in |vectorizable_live_operation |vectorizable_live_operation |, at tree-vect-loop.cc:9060 |, at tree-vect-loop.cc:9060 |when building chromium's|when building chromium's |maglev-assembler-x64.cc |maglev-assembler-x64.cc |with -march=ivybridge |with -march=ivybridge since ||r11-3025-g095d42feed09f8 Keywords|needs-bisection | CC||marxin at gcc dot gnu.org --- Comment #5 from Martin Liška --- With -O3 (as with -O2 it started with the revision where we enabled vectorization at -O2), it started with r11-3025-g095d42feed09f8.
[Bug tree-optimization/109546] [13/14 Regression] Missed Dead Code Elimination when using __builtin_unreachable since r13-3596-ge7310e24b1c0ca
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109546 Martin Liška changed: What|Removed |Added CC||amacleod at redhat dot com, ||marxin at gcc dot gnu.org Summary|[13/14 Regression] Missed |[13/14 Regression] Missed |Dead Code Elimination when |Dead Code Elimination when |using __builtin_unreachable |using __builtin_unreachable ||since ||r13-3596-ge7310e24b1c0ca --- Comment #1 from Martin Liška --- Started with r13-3596-ge7310e24b1c0ca.
[Bug tree-optimization/109564] [13/14 Regression] libkeccak miscompiled
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109564
--- Comment #9 from Martin Liška ---
Simplified a bit more to:
struct libkeccak_generalised_spec {
int state_size;
int word_size;
} main_gspec;
long gvar;
int libkeccak_degeneralise_spec(struct libkeccak_generalised_spec *spec) {
int state_size;
int have_state_size = spec->state_size != -1;
int have_word_size = spec->word_size;
if (have_state_size)
state_size = spec->state_size;
if (have_word_size)
gvar = 12345;
if (have_state_size && state_size != spec->word_size)
return 1;
if (spec)
gvar++;
return 0;
}
int main() {
main_gspec.state_size = -1;
if (libkeccak_degeneralise_spec(_gspec))
__builtin_abort();
}
[Bug tree-optimization/109564] [13/14 Regression] libkeccak miscompiled
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109564 --- Comment #6 from Martin Liška --- (In reply to Richard Biener from comment #4) > Created attachment 54887 [details] > testcase Note the reduced test-case already started to fail with r13-1938-g87dd4c8c83768a.
[Bug fortran/100815] [10/11 Regression] Segfault assigning to scalar allocatable polymorphic LHS since r11-6253-gce8dcc9105cbd404
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100815 --- Comment #7 from Martin Liška --- > Many thanks, Martin. You're welcome! > PS How do you do this location - by hand or do you have a script to do the > bisection? I have a script that uses pre-built GCC binaries: https://github.com/marxin/script-misc/blob/master/gcc-bisect.py
[Bug fortran/100815] [10/11 Regression] Segfault assigning to scalar allocatable polymorphic LHS since r11-6253-gce8dcc9105cbd404
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100815 Martin Liška changed: What|Removed |Added Summary|[10/11/12/13/14 Regression] |[10/11 Regression] Segfault |Segfault assigning to |assigning to scalar |scalar allocatable |allocatable polymorphic LHS |polymorphic LHS since |since |r11-6253-gce8dcc9105cbd404 |r11-6253-gce8dcc9105cbd404 --- Comment #5 from Martin Liška --- It's fixed on master with r12-3897-g00f6de9c691195.
[Bug tree-optimization/109539] [13/14 Regression] Compile-time hog in gimple-ssa-warn-access.cc since r13-6706-gadb70c2d1060b3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109539 --- Comment #1 from Martin Liška --- Created attachment 54877 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54877=edit Reduced test-case Takes 1.77s after the mentioned revision and 0.15s before it.
[Bug tree-optimization/109539] [13/14 Regression] Compile-time hog in gimple-ssa-warn-access.cc since r13-6706-gadb70c2d1060b3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109539 Martin Liška changed: What|Removed |Added Target Milestone|--- |13.0 Ever confirmed|0 |1 CC||jirislaby at gmail dot com Last reconfirmed||2023-04-18 Status|UNCONFIRMED |NEW
[Bug tree-optimization/109539] New: [13/14 Regression] Compile-time hog in gimple-ssa-warn-access.cc since r13-6706-gadb70c2d1060b3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109539 Bug ID: 109539 Summary: [13/14 Regression] Compile-time hog in gimple-ssa-warn-access.cc since r13-6706-gadb70c2d1060b3 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: needs-reduction Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: rguenth at gcc dot gnu.org Target Milestone: --- Created attachment 54876 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54876=edit Unreduced test-case Originally reported as openSUSE issue of psi+ package: https://bugzilla.suse.com/show_bug.cgi?id=1210557 it's problem that started with r13-6706-gadb70c2d1060b3 and I'm reducing that right now.
[Bug c++/109531] [13 Regression] Checking ICE with hash table checking failed: equal operator returns true for a pair of values with a different hash value since r13-3292-gc2565a31c1622a
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109531 Martin Liška changed: What|Removed |Added CC||jakub at gcc dot gnu.org Summary|Checking ICE with hash |[13 Regression] Checking |table checking failed: |ICE with hash table |equal operator returns true |checking failed: equal |for a pair of values with a |operator returns true for a |different hash value|pair of values with a ||different hash value since ||r13-3292-gc2565a31c1622a --- Comment #9 from Martin Liška --- Started with r13-3292-gc2565a31c1622a.
[Bug c++/109531] Checking ICE with hash table checking failed: equal operator returns true for a pair of values with a different hash value
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109531
Martin Liška changed:
What|Removed |Added
Ever confirmed|0 |1
Last reconfirmed||2023-04-17
Status|UNCONFIRMED |NEW
--- Comment #8 from Martin Liška ---
> is the more correct way of reducing it similar to my script :).
Sure, this is better not to rely on specific options.
Anyway, reduced to:
$ cat ArithmeticSubtermGeneralization.ii
template using no_ref_t = int *;
template class ref_t>
struct ArrayishObjectIterator {
typedef ref_t _ElementType;
};
struct MappingIterator {
typedef int *_ElementType;
};
template struct IterTraits {
IterTraits map() {}
template class Container>
Container collect();
};
struct Clause {
typedef int _ElementType;
};
IterTraits> __trans_tmp_3;
$ g++ ArithmeticSubtermGeneralization.ii -c -w
hash table checking failed: equal operator returns true for a pair of values
with a different hash value
ArithmeticSubtermGeneralization.ii: In instantiation of ‘struct
IterTraits >’:
ArithmeticSubtermGeneralization.ii:17:54: required from here
ArithmeticSubtermGeneralization.ii:12:42: internal compiler error: in
hashtab_chk_error, at hash-table.cc:137
12 | Container collect();
| ^~~
0x92d1bd hashtab_chk_error()
/home/marxin/Programming/gcc/gcc/hash-table.cc:137
0xb668b2 hash_table::verify(tree_node* const&,
unsigned int)
/home/marxin/Programming/gcc/gcc/hash-table.h:1118
0xb668b2 hash_table::find_slot_with_hash(tree_node* const&, unsigned int,
insert_option)
/home/marxin/Programming/gcc/gcc/hash-table.h:1046
0xb1ede9 hash_table::find_slot(tree_node*
const&, insert_option)
/home/marxin/Programming/gcc/gcc/hash-table.h:435
0xb1ede9 canonical_type_parameter(tree_node*)
/home/marxin/Programming/gcc/gcc/cp/pt.cc:4536
0xb2e141 tsubst(tree_node*, tree_node*, int, tree_node*)
/home/marxin/Programming/gcc/gcc/cp/pt.cc:16298
0xb33018 tsubst_function_type
/home/marxin/Programming/gcc/gcc/cp/pt.cc:15649
0xb2cb3b tsubst(tree_node*, tree_node*, int, tree_node*)
/home/marxin/Programming/gcc/gcc/cp/pt.cc:16468
0xb4e3b9 tsubst_function_decl
/home/marxin/Programming/gcc/gcc/cp/pt.cc:14419
0xb51060 tsubst_template_decl
/home/marxin/Programming/gcc/gcc/cp/pt.cc:14730
0xb2faba tsubst_decl
/home/marxin/Programming/gcc/gcc/cp/pt.cc:14892
0xb5e566 instantiate_class_template(tree_node*)
/home/marxin/Programming/gcc/gcc/cp/pt.cc:12338
0xbb0be8 complete_type(tree_node*)
/home/marxin/Programming/gcc/gcc/cp/typeck.cc:138
0x9d5494 start_decl_1(tree_node*, bool)
/home/marxin/Programming/gcc/gcc/cp/decl.cc:6002
0x9d5494 start_decl_1(tree_node*, bool)
/home/marxin/Programming/gcc/gcc/cp/decl.cc:5981
0x9f5507 start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
/home/marxin/Programming/gcc/gcc/cp/decl.cc:5968
0xaf8431 cp_parser_init_declarator
/home/marxin/Programming/gcc/gcc/cp/parser.cc:22910
0xacf278 cp_parser_simple_declaration
/home/marxin/Programming/gcc/gcc/cp/parser.cc:15403
0xb03bf3 cp_parser_declaration
/home/marxin/Programming/gcc/gcc/cp/parser.cc:15089
0xb0473a cp_parser_toplevel_declaration
/home/marxin/Programming/gcc/gcc/cp/parser.cc:15110
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See
[Bug c++/109531] Checking ICE with hash table checking failed: equal operator returns true for a pair of values with a different hash value
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109531 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org --- Comment #6 from Martin Liška --- (In reply to Andrew Pinski from comment #5) > >'g++-13 -O2 -Wall -c ArithmeticSubtermGeneralization.ii' is enough to > >reproduce. > > Interesting because it was not for me, but I noticed that removing all of > the lines that begin with "#" is able to reproduce without any options only. > Anyways my current reproducing script is: > ``` > if !(~/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/13.0.1/cc1plus > -std=c++14 -fno-checking -quiet -Wfatal-errors $1 >& file1.out); then > exit 1 > fi > if !(~/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/13.0.1/cc1plus > -std=c++14 -quiet -Wfatal-errors $1 >& file.out); then > if grep "hashtab_chk_error" file.out >&/dev/null; then > exit 0 > fi > exit 1 > fi > if !(~/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/13.0.1/cc1plus > -std=c++14 -march=znver3 -O2 -fno-strict-aliasing -Wall -quiet > -Wfatal-errors $1 >& file1.out); then > if grep "hashtab_chk_error" file1.out >&/dev/null; then > exit 0 > fi > exit 1 > fi > ``` > > Yes it is more complex than a standard one would be because I want to reduce > it to be a valid testcase (the first run of cc1plus) and then I noticed > sometimes it reproduces with slightly different options so test with those. > Hopefully the -fno-checking is enough to force not checking hashtable > checking ... You can achieve result with the following command with C-Vise: cvise -c 'timeout 5 g++ -std=c++14 -march=znver3 -O2 -fno-strict-aliasing -Wall ArithmeticSubtermGeneralization.ii -w -Wfatal-errors 2>&1 | grep hashtab_chk_error && timeout 5 g++-13 ArithmeticSubtermGeneralization.ii -c -Wfatal-errors -w' ArithmeticSubtermGeneralization.ii I'm currently reducing that right now..
[Bug tree-optimization/109513] Missed Dead Code Elimination when using __builtin_unreachable
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109513 Martin Liška changed: What|Removed |Added CC||hubicka at gcc dot gnu.org, ||marxin at gcc dot gnu.org Ever confirmed|0 |1 Last reconfirmed||2023-04-17 Status|UNCONFIRMED |NEW --- Comment #1 from Martin Liška --- The __builtin_unreachable missed optimization started with r8-4670-gb00ff621f6eea4.
[Bug c++/109490] [11/12/13 Regression] ICE when declaring custom OpenMP reduction in generic Lambda in Template Function since r11-3236-g8155316c6fc230
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109490 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org Summary|ICE when declaring custom |[11/12/13 Regression] ICE |OpenMP reduction in generic |when declaring custom |Lambda in Template Function |OpenMP reduction in generic ||Lambda in Template Function ||since ||r11-3236-g8155316c6fc230 --- Comment #2 from Martin Liška --- Started with r11-3236-g8155316c6fc230.
[Bug tree-optimization/109462] [13 Regression] Possible miscompilation of clang LocalizationChecker since r13-1938
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109462 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org --- Comment #9 from Martin Liška --- Can we close it as fixed?
[Bug sanitizer/109446] Possible destination array overflow without diagnosis in memcpy
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109446 --- Comment #11 from Martin Liška --- > > Maybe it just happens the end to be on the stack of the inner most function > so it just happens that it is an variable address still. No, that's not the case, see my previous comment.
[Bug sanitizer/109446] Possible destination array overflow without diagnosis in memcpy
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109446 --- Comment #9 from Martin Liška --- (In reply to Richard Biener from comment #8) > (In reply to Jakub Jelinek from comment #7) > > (In reply to Richard Biener from comment #6) > > > not sure if we should prevent all of those transforms. But the question > > > is > > > why ASAN doesn't instrument the generated aggregate copy? Maybe because > > > in C/C++ you cannot write an aggregate array copy? > > > > We do instrument those. But only instrument them by checking the first and > > last byte > > of the copy, not all bytes in between (because that would be for inline > > checking too large - we'd need to emit inline a loop over those bytes). > > OK, that's lack of an appropriate API then? But still the first and last > byte should be sufficient to detect the problem (but maybe I'm missing > something here). No, because the last byte is out of redzone: =>0x7530: f1 f1 f1 f1 00 00 00[f3]f3 f3 f3 f3 00 00 00 00 the 'f3' redzone is covering 5*8 bytes after the data type only.
[Bug sanitizer/109446] Possible destination array overflow without diagnosis in memcpy
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109446 Martin Liška changed: What|Removed |Added CC||rguenth at gcc dot gnu.org --- Comment #5 from Martin Liška --- > It seems Clang disables this optimization and convert memcpy to > __asan_memcpy calls if -fsanitize=address used: > > https://godbolt.org/z/dcfadoMYY Yep! Richi, do you know a place where we lower this?
[Bug sanitizer/109446] Possible destination array overflow without diagnosis in memcpy
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109446
--- Comment #3 from Martin Liška ---
The problem here is that we normally preserve memcpy calls and then
__interceptor_memcpy is used from the run-time library. However, in this case
the second argument of memcpy is a known constant and we convert it to:
MEM [(char * {ref-all})_7] = MEM
[(char * {ref-all})];
for such an assignment we only check the beginning and the end of the chunk and
we miss the overflow.
[Bug c++/109480] [11/12/13 Regression] non-depedent access goes wrong in a template method sometimes since r11-1350-g92bed036098928
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109480 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org, ||ppalka at gcc dot gnu.org Status|UNCONFIRMED |NEW Ever confirmed|0 |1 Last reconfirmed||2023-04-12 Summary|[11/12/13 Regression] |[11/12/13 Regression] |non-depedent access goes|non-depedent access goes |wrong in a template method |wrong in a template method |sometimes |sometimes since ||r11-1350-g92bed036098928 --- Comment #3 from Martin Liška --- (In reply to Andrew Pinski from comment #2) > Most likely this was caused by r11-1350 . Yes.
[Bug driver/108241] [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108241 Martin Liška changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED --- Comment #5 from Martin Liška --- Fixed on master, not planning to backport that.
[Bug ipa/109303] [13 Regression] ICE in push_agg_values_from_plats, at ipa-cp.cc:1458 since r13-3358-ge0403e95689af7d5
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109303 --- Comment #12 from Martin Liška --- *** Bug 109408 has been marked as a duplicate of this bug. *** --- Comment #13 from Martin Liška --- *** Bug 109408 has been marked as a duplicate of this bug. ***
[Bug ipa/109303] [13 Regression] ICE in push_agg_values_from_plats, at ipa-cp.cc:1458 since r13-3358-ge0403e95689af7d5
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109303 --- Comment #12 from Martin Liška --- *** Bug 109408 has been marked as a duplicate of this bug. *** --- Comment #13 from Martin Liška --- *** Bug 109408 has been marked as a duplicate of this bug. ***
[Bug ipa/109408] [13 Regression] ICE in decide_about_value, at ipa-cp.cc:6154
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109408 Martin Liška changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|--- |DUPLICATE Resolution|--- |DUPLICATE Status|UNCONFIRMED |RESOLVED --- Comment #2 from Martin Liška --- Dup. *** This bug has been marked as a duplicate of bug 109303 *** --- Comment #3 from Martin Liška --- Dup. *** This bug has been marked as a duplicate of bug 109303 ***
[Bug ipa/109408] [13 Regression] ICE in decide_about_value, at ipa-cp.cc:6154
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109408 Martin Liška changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|--- |DUPLICATE --- Comment #2 from Martin Liška --- Dup. *** This bug has been marked as a duplicate of bug 109303 ***
[Bug tree-optimization/109392] [12/13 Regression] ICE in tree_vec_extract, at tree-vect-generic.cc:177 since r12-117-gb972e036f40c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109392 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org, ||rguenth at gcc dot gnu.org Summary|[12/13 Regression] ICE in |[12/13 Regression] ICE in |tree_vec_extract, at|tree_vec_extract, at |tree-vect-generic.cc:177|tree-vect-generic.cc:177 ||since r12-117-gb972e036f40c --- Comment #3 from Martin Liška --- (In reply to Andrew Pinski from comment #1) > Confirmed. > > Most likely caused by r12-117-gb972e036f40c . Yes, started with this revision.
[Bug c/109398] New: libiberty/sha1.c:234:11: warning: defining a type within 'offsetof' is a Clang extension [-Wgnu-offsetof-extensions]
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109398 Bug ID: 109398 Summary: libiberty/sha1.c:234:11: warning: defining a type within 'offsetof' is a Clang extension [-Wgnu-offsetof-extensions] Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: ian at airs dot com Target Milestone: --- I noticed the following Clang warning that is based on: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2350.htm
[Bug tree-optimization/109304] [13 Regression] ICE in get_vrange, at value-range-storage.cc:87 when building Python 3.12.0_alpha6 since r13-6849-ged626f18b189920a
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109304 Martin Liška changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED --- Comment #8 from Martin Liška --- Fixed.
[Bug tree-optimization/109386] [13 Regression] Frange value relation related miscompilation
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109386 Martin Liška changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED |NEW Last reconfirmed||2023-04-03
[Bug gcov-profile/96919] [GCOV] uncovered line of stack allocation while using virutal destructor
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96919 Martin Liška changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|marxin at gcc dot gnu.org |unassigned at gcc dot gnu.org
[Bug tree-optimization/101301] Improving sparse switch statement
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101301 Martin Liška changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|marxin at gcc dot gnu.org |unassigned at gcc dot gnu.org
[Bug gcov-profile/105063] [GCOV] Ability to map .gcda paths
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105063 Martin Liška changed: What|Removed |Added Target Milestone|--- |14.0
[Bug tree-optimization/103429] Optimization of Auto-generated condition chain is not giving good lookup tables.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103429 Martin Liška changed: What|Removed |Added Assignee|marxin at gcc dot gnu.org |unassigned at gcc dot gnu.org Status|ASSIGNED|NEW
[Bug gcov-profile/105238] Regression: using -fprofile-dir: gcno files not ccache cachable anymore / gcovr report broken
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105238 Martin Liška changed: What|Removed |Added Target Milestone|--- |14.0
[Bug ipa/106816] noreturn/pure attributes are not set correctly on multiversioned functions
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106816 Martin Liška changed: What|Removed |Added Target Milestone|--- |13.0 Keywords||patch --- Comment #11 from Martin Liška --- Patch candidate: https://gcc.gnu.org/pipermail/gcc-patches/2023-April/615049.html
[Bug gcov-profile/105238] Regression: using -fprofile-dir: gcno files not ccache cachable anymore / gcovr report broken
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105238 Martin Liška changed: What|Removed |Added Keywords||patch --- Comment #8 from Martin Liška --- Patch candidate has been sent: https://gcc.gnu.org/pipermail/gcc-patches/2023-April/615048.html
[Bug gcov-profile/105063] [GCOV] Ability to map .gcda paths
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105063 Martin Liška changed: What|Removed |Added Keywords||patch --- Comment #16 from Martin Liška --- Patch candidate has been sent: https://gcc.gnu.org/pipermail/gcc-patches/2023-April/615048.html
[Bug driver/108241] [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108241 --- Comment #3 from Martin Liška --- (In reply to Martin Liška from comment #2) > Patch candidate: > https://gcc.gnu.org/pipermail/gcc-patches/2023-April/615048.html Sorry, this link: https://gcc.gnu.org/pipermail/gcc-patches/2023-April/615044.html
[Bug driver/108241] [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108241 Martin Liška changed: What|Removed |Added Keywords||patch --- Comment #2 from Martin Liška --- Patch candidate: https://gcc.gnu.org/pipermail/gcc-patches/2023-April/615048.html
[Bug modula2/109388] New: clang warnings related to Modula-2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109388 Bug ID: 109388 Summary: clang warnings related to Modula-2 Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: modula2 Assignee: gaius at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org Target Milestone: --- I see some clang warnings related to M2: m2/gm2-compiler-boot/M2GCCDeclare.c:8085:67: warning: unused parameter 'module' [-Wunused-parameter] m2/gm2-compiler-boot/PHBuild.c:3384:13: warning: unused function 'PeepToken' [-Wunused-function] m2/gm2-compiler-boot/PHBuild.c:3880:13: warning: unused function 'PushQualident' [-Wunused-function] m2/gm2-compiler-boot/PHBuild.c:6735:13: warning: unused function 'SimpleDes' [-Wunused-function] m2/gm2-compiler-boot/PHBuild.c:6755:13: warning: unused function 'ActualParameters' [-Wunused-function]
[Bug ipa/83582] GCC is unable to fold the code of identical lambda-expressions
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83582 Martin Liška changed: What|Removed |Added Assignee|marxin at gcc dot gnu.org |unassigned at gcc dot gnu.org Status|ASSIGNED|NEW
[Bug middle-end/65534] tailcall not optimized away
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65534 Martin Liška changed: What|Removed |Added Assignee|marxin at gcc dot gnu.org |unassigned at gcc dot gnu.org Status|ASSIGNED|NEW
[Bug middle-end/80922] #pragma diagnostic ignored not honoured with -flto
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80922 Martin Liška changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|marxin at gcc dot gnu.org |unassigned at gcc dot gnu.org
[Bug target/109104] [13 Regression] ICE: in gen_reg_rtx, at emit-rtl.cc:1171 with -fzero-call-used-regs=all -march=rv64gv
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109104 Martin Liška changed: What|Removed |Added Keywords|needs-bisection | Last reconfirmed||2023-03-30 Status|UNCONFIRMED |NEW Ever confirmed|0 |1 CC||marxin at gcc dot gnu.org --- Comment #3 from Martin Liška --- Started with r13-2819-gb4feb49cf308b3, it was rejected before the revision with: :1:17: sorry, unimplemented: argument ‘all’ is not supported for ‘-fzero-call-used-regs’ on this target
[Bug target/108640] ICE compiling busybox for m68k in change_address_1, at emit-rtl.cc:2283
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108640
Martin Liška changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
CC||marxin at gcc dot gnu.org
Keywords|needs-reduction |
Last reconfirmed||2023-03-30
--- Comment #3 from Martin Liška ---
Reduced test-case:
$ cat pr108640.i
int option_mask32;
enum {
OPTBIT_F = 12,
OPTBIT_R,
OPTBIT_Z,
OPTBIT_c,
OPTBIT_t,
OPT_t = 1 << OPTBIT_t
} ls_main() {
option_mask32 |= OPT_t;
}
$ ./xgcc -B. ~/Programming/testcases/pr108640.i -c -Os
during RTL pass: final
/home/marxin/Programming/testcases/pr108640.i: In function ‘ls_main’:
/home/marxin/Programming/testcases/pr108640.i:12:1: internal compiler error: in
change_address_1, at emit-rtl.cc:2287
12 | }
| ^
0xee4b72 change_address_1
/home/marxin/Programming/gcc/gcc/emit-rtl.cc:2287
0xee5684 adjust_address_1(rtx_def*, machine_mode, poly_int<1u, long>, int, int,
int, poly_int<1u, long>)
/home/marxin/Programming/gcc/gcc/emit-rtl.cc:2421
0x190e4e3 output_iorsi3(rtx_def**)
/home/marxin/Programming/gcc/gcc/config/m68k/m68k.cc:5513
0x1fd17bd output_255
/home/marxin/Programming/gcc/gcc/config/m68k/m68k.md:3779
0xf64f4f get_insn_template(int, rtx_insn*)
/home/marxin/Programming/gcc/gcc/final.cc:2029
0xf66b5e final_scan_insn_1
/home/marxin/Programming/gcc/gcc/final.cc:2774
0xf66fd2 final_scan_insn(rtx_insn*, _IO_FILE*, int, int, int*)
/home/marxin/Programming/gcc/gcc/final.cc:2887
0xf64d79 final_1
/home/marxin/Programming/gcc/gcc/final.cc:1979
0xf69bbc rest_of_handle_final
/home/marxin/Programming/gcc/gcc/final.cc:4240
0xf69f1a execute
/home/marxin/Programming/gcc/gcc/final.cc:4318
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
[Bug middle-end/26163] [meta-bug] missed optimization in SPEC (2k17, 2k and 2k6 and 95)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=26163 Bug 26163 depends on bug 107409, which changed state. Bug 107409 Summary: Perf loss ~5% on 519.lbm_r SPEC cpu2017 benchmark with r10-5090-ga9a4edf0e71bba https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107409 What|Removed |Added Status|NEW |RESOLVED Resolution|--- |INVALID
[Bug tree-optimization/107409] Perf loss ~5% on 519.lbm_r SPEC cpu2017 benchmark with r10-5090-ga9a4edf0e71bba
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107409 Martin Liška changed: What|Removed |Added Resolution|--- |INVALID Status|NEW |RESOLVED --- Comment #24 from Martin Liška --- Sure, let's close it.
[Bug ipa/109341] [12/13 Regression] ICE in merge, at ipa-modref-tree.cc:176 since r12-3142-g5c85f29537662f
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109341 Martin Liška changed: What|Removed |Added Keywords|needs-bisection | Summary|[12/13 Regression] ICE in |[12/13 Regression] ICE in |merge, at |merge, at |ipa-modref-tree.cc:176 |ipa-modref-tree.cc:176 ||since ||r12-3142-g5c85f29537662f --- Comment #2 from Martin Liška --- Started with r12-3142-g5c85f29537662f.
[Bug tree-optimization/109342] [13 Regression] Wrong code with -O2 since r13-5348-gc29d85359add80
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109342 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org Keywords|needs-bisection | Summary|[13 Regression] Wrong code |[13 Regression] Wrong code |with -O2|with -O2 since ||r13-5348-gc29d85359add80 --- Comment #2 from Martin Liška --- Started with r13-5348-gc29d85359add80.
