[Bug middle-end/122047] Incorrect handling of access attribute in uninit pass

2025-09-23 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122047 --- Comment #1 from Jakub Jelinek --- --- gcc/tree-ssa-uninit.cc.jj 2025-09-23 15:12:15.534582251 +0200 +++ gcc/tree-ssa-uninit.cc 2025-09-23 16:28:30.835015353 +0200 @@ -723,7 +723,7 @@ maybe_warn_operand (ao_ref &ref, gimple clobb

[Bug middle-end/122047] New: Incorrect handling of access attribute in uninit pass

2025-09-23 Thread jakub at gcc dot gnu.org via Gcc-bugs
Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: jakub at gcc dot gnu.org Target Milestone: --- I think we should warn in foo because we are reading from what the argument points to and with write_only attribute it might be uninitialized. But I think we

[Bug analyzer/122044] New: Analyzer doesn't handle .DEFERRED_INIT calls correctly

2025-09-23 Thread jakub at gcc dot gnu.org via Gcc-bugs
y: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: jakub at gcc dot gnu.org Target Milestone: --- With make check-g++ RUNTESTFLAGS="--target_board=unix\{,-ftrivial-auto-var-init=zero\} analyzer.exp='invalid-shift-1.c exception-value-2.C'"

[Bug tree-optimization/101758] Inconsistent optimizations with UBSan

2025-09-20 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101758 --- Comment #14 from Jakub Jelinek --- This is wrong. tree_expr_nonzero_p is an optimization which relies on lack of UB in the program, in many cases the non-zero property is determined by assuming a program doesn't have UB and if so, this has

[Bug middle-end/121977] gomp/member-1.C ICE with -ftrivial-auto-var-init=zero

2025-09-18 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121977 --- Comment #2 from Jakub Jelinek --- Fixed on the trunk, perhaps should be backported after a while.

[Bug middle-end/121977] gomp/member-1.C ICE with -ftrivial-auto-var-init=zero

2025-09-18 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121977 Jakub Jelinek changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org

[Bug middle-end/121663] [16 Regression] ICE for line directive with large argument

2025-09-18 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121663 Jakub Jelinek changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug libstdc++/117982] [C++23] Implement std::start_lifetime_as and std::start_lifetime_as_array

2025-09-17 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117982 Bug 117982 depends on bug 106658, which changed state. Bug 106658 Summary: [C++23] P2590 - Explicit lifetime management https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106658 What|Removed |Added --

[Bug c++/106658] [C++23] P2590 - Explicit lifetime management

2025-09-17 Thread jakub at gcc dot gnu.org via Gcc-bugs
|--- |16.0 Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #7 from Jakub Jelinek --- Implemented for GCC 16.

[Bug c++/98940] Implement C++23 language features

2025-09-17 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98940 Bug 98940 depends on bug 106658, which changed state. Bug 106658 Summary: [C++23] P2590 - Explicit lifetime management https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106658 What|Removed |Added

[Bug middle-end/121975] Various goacc failures with -ftrivial-auto-var-init=zero

2025-09-17 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121975 --- Comment #7 from Jakub Jelinek --- Note, the DECL_EXPR gimplification which adds the .DEFERRED_INIT call is pretty dumb, it simply adds it for all automatic vars which don't have DECL_INITIAL set and don't have uninitialized or indeterminate

[Bug middle-end/121977] New: gomp/member-1.C ICE with -ftrivial-auto-var-init=zero

2025-09-17 Thread jakub at gcc dot gnu.org via Gcc-bugs
Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: jakub at gcc dot gnu.org Target Milestone: --- I'm working now on a patch for PR114457 which will kind of enable -ftrivial-auto-var-init=zero for -std=c++26 by default. I've run into ICE on g++.dg/g

[Bug middle-end/121975] Various goacc failures with -ftrivial-auto-var-init=zero

2025-09-17 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121975 --- Comment #1 from Jakub Jelinek --- I guess as a temporary workaround I could stick // { dg-additional-options "-ftrivial-auto-var-init=uninitialized" { target c++26 } } until this is fixed. That said, I'm afraid I have no idea what those test

[Bug middle-end/121975] New: Various goacc failures with -ftrivial-auto-var-init=zero

2025-09-17 Thread jakub at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: jakub at gcc dot gnu.org Target Milestone: --- I'm working now on a patch for PR114457 which will kind of enable -ftrivial-auto-var-init=zero for -std=c++26 by default. I'v

[Bug c++/114457] [C++26] P2795R5 - Erroneous behavior for uninitialized reads

2025-09-16 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114457 Jakub Jelinek changed: What|Removed |Added Attachment #62375|0 |1 is obsolete|

[Bug c++/121965] IMHO valid C++20 rejected by g++

2025-09-16 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121965 --- Comment #1 from Jakub Jelinek --- Though, we do accept e.g. struct S { int a, b; }; constexpr int foo (int x) { if (x == 6) goto l1; { int i; i = 6; l1: i = 4; return i; } } static_assert (foo (1) == 4); for -

[Bug c++/121965] New: IMHO valid C++20 rejected by g++

2025-09-16 Thread jakub at gcc dot gnu.org via Gcc-bugs
++ Assignee: unassigned at gcc dot gnu.org Reporter: jakub at gcc dot gnu.org Target Milestone: --- struct S { int a, b; }; constexpr int foo (int x) { switch (x) { int i; case 1: int j; case 2: i = 1; j = 2; return i + j; case 3: S s

[Bug libstdc++/121946] [missing optimization] std::vector does not use memcpy for the trivially copyable/destructible type

2025-09-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121946 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug c++/121950] New: -Wimplicit-fallthrough doesn't warn on bugs if there are declarations with vacuous initializations and non-trivial destructors

2025-09-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
: gcc Version: 16.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: jakub at gcc dot gnu.org Target Milestone: --- struct S { int a, b, c; ~S (); }; int i; void foo

[Bug c++/121950] -Wimplicit-fallthrough doesn't warn on bugs if there are declarations with vacuous initializations and non-trivial destructors

2025-09-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121950 Jakub Jelinek changed: What|Removed |Added CC||mpolacek at gcc dot gnu.org --- Comment

[Bug middle-end/121904] [16 Regression] ICE in as_a, at value-range.h:668 since r16-1400-g2e4688a7202

2025-09-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121904 Jakub Jelinek changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug c++/114457] [C++26] P2795R5 - Erroneous behavior for uninitialized reads

2025-09-12 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114457 Jakub Jelinek changed: What|Removed |Added Attachment #62368|0 |1 is obsolete|

[Bug tree-optimization/121894] SRA (and DSE) vs. -ftrivial-auto-var-init=

2025-09-12 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121894 --- Comment #9 from Jakub Jelinek --- (In reply to qinzhao from comment #8) > in tree-sra.cc, for the following stmt: > s = {}; > > for the above lhs "s", the field "grp_assignment_write" of the created > struct access is 1; > > however, for t

[Bug middle-end/121904] [16 Regression] ICE in as_a, at value-range.h:668 since r16-1400-g2e4688a7202

2025-09-11 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121904 Jakub Jelinek changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org

[Bug c++/121916] GCC rejects variable/function template declarations of fully qualified-ids with parentheses

2025-09-11 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121916 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org

[Bug c++/114457] [C++26] P2795R5 - Erroneous behavior for uninitialized reads

2025-09-11 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114457 --- Comment #5 from Jakub Jelinek --- Created attachment 62368 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62368&action=edit gcc16-pr114457-wip.patch Untested WIP progress, which compared to the last gcc-patches posted one can now hand

[Bug target/121904] [16 Regression] ICE in as_a, at value-range.h:668 since r16-1400-g2e4688a7202

2025-09-11 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121904 Jakub Jelinek changed: What|Removed |Added Priority|P3 |P1

[Bug tree-optimization/121894] SRA (and DSE) vs. -ftrivial-auto-var-init=

2025-09-11 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121894 --- Comment #4 from Jakub Jelinek --- (In reply to Richard Biener from comment #3) > So > > s = .DEFERRED_INIT (16, 1, &"s"[0]); > _1 = s.b; > > is OK to "CSE" to > > _1 = .DEFERRED_INIT (4, 1, ); I think so and SRA is clearly doing th

[Bug tree-optimization/121894] New: SRA (and DSE) vs. -ftrivial-auto-var-init=

2025-09-10 Thread jakub at gcc dot gnu.org via Gcc-bugs
-optimization Assignee: unassigned at gcc dot gnu.org Reporter: jakub at gcc dot gnu.org Target Milestone: --- Consider struct S { int a, b, c, d; }; void bar (int, int, int, int); void foo () { S s; s.a = 1; s.c = 2; s.d = 3; s.a++; s.c++; s.d++; bar (s.a

[Bug tree-optimization/121894] SRA (and DSE) vs. -ftrivial-auto-var-init=

2025-09-10 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121894 --- Comment #2 from Jakub Jelinek --- (In reply to Andrew Pinski from comment #1) > > __builtin_memset (&s, 0, 32); > >into > > __builtin_memset (&MEM [(void *)&s + 8B], 0, 20); > > I suspect if we change the memset to be > MEM [(void *)&s

[Bug target/121784] error: cannot tail-call: argument must be passed by copying

2025-09-10 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121784 --- Comment #10 from Jakub Jelinek --- (In reply to Heinrich Schuchardt from comment #9) > Thanks Jakub for you detailed explanation that should help to improve the > Skia code. > > As some of the tail functions modify the passed parameters (ve

[Bug middle-end/121828] during GIMPLE pass: bitintlower ICE: definition in block 2 follows the use with __builtin_sub_overflow() and other function that does not write to used memory

2025-09-10 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121828 --- Comment #5 from Jakub Jelinek --- Should be fixed for GCC 16+ so far.

[Bug middle-end/121831] [15 regression] ICE when building melonds-1.0 with LTO (expand_expr_real_2, at expr.cc:9779)

2025-09-10 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121831 Jakub Jelinek changed: What|Removed |Added Summary|[15/16 regression] ICE when |[15 regression] ICE when

[Bug target/121784] error: cannot tail-call: argument must be passed by copying

2025-09-10 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121784 --- Comment #8 from Jakub Jelinek --- To explain better what is happening under the hood, using StageFn = void (*)(StageList list, int src, int dst, F r, F g, F b); void m(StageList list, int src, int dst, F r, F g, F b) { return (*list.fn)(li

[Bug target/121784] error: cannot tail-call: argument must be passed by copying

2025-09-10 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121784 --- Comment #7 from Jakub Jelinek --- The RISCV ABIs apparently pass some of the vector arguments by invisible reference (dunno if it is only if there are no vector registers reserved for argument passing left or if it depends solely on the exac

[Bug middle-end/121828] during GIMPLE pass: bitintlower ICE: definition in block 2 follows the use with __builtin_sub_overflow() and other function that does not write to used memory

2025-09-09 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121828 Jakub Jelinek changed: What|Removed |Added Component|tree-optimization |middle-end Target Milestone|---

[Bug c++/55004] [meta-bug] constexpr issues

2025-09-09 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55004 Bug 55004 depends on bug 121678, which changed state. Bug 121678 Summary: &__real__ static_var not constexpr https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121678 What|Removed |Added --

[Bug c++/121678] &__real__ static_var not constexpr

2025-09-09 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121678 Jakub Jelinek changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/121831] [15/16 regression] ICE when building melonds-1.0 with LTO (expand_expr_real_2, at expr.cc:9779)

2025-09-09 Thread jakub at gcc dot gnu.org via Gcc-bugs
at gcc dot gnu.org |jakub at gcc dot gnu.org --- Comment #14 from Jakub Jelinek --- Created attachment 62350 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62350&action=edit gcc16-pr121831.patch Full untested patch for the missing RAW_DATA_CST support part.

[Bug c/121873] conversion of hex fp wrong

2025-09-09 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121873 --- Comment #3 from Jakub Jelinek --- (In reply to Jakub Jelinek from comment #2) > It fails with -m32 -std=c23 without -mfpmath=sse -msse2, but it should fail > in that case, for -fexcess-precision=standard (implied by -std=c??) on > targets wi

[Bug c/121873] conversion of hex fp wrong

2025-09-09 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121873 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug middle-end/121831] [15/16 regression] ICE when building melonds-1.0 with LTO (expand_expr_real_2, at expr.cc:9779)

2025-09-08 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121831 --- Comment #13 from Jakub Jelinek --- Untested fix for the ICE: --- gcc/expr.cc.jj 2025-08-05 12:57:06.719031397 +0200 +++ gcc/expr.cc 2025-09-08 18:53:23.453223679 +0200 @@ -6533,6 +6533,31 @@ string_cst_read_str (void *data, void *,

[Bug middle-end/121831] [15/16 regression] ICE when building melonds-1.0 with LTO (expand_expr_real_2, at expr.cc:9779)

2025-09-08 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121831 --- Comment #12 from Jakub Jelinek --- Note, I think the decision to punt should be based on the number of non-zero elements or bytes. Even with gigabytes long CONSTRUCTOR if it contains say just 64 bytes of non-zeros it will be beneficial to e

[Bug middle-end/121831] [15/16 regression] ICE when building melonds-1.0 with LTO (expand_expr_real_2, at expr.cc:9779)

2025-09-08 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121831 --- Comment #11 from Jakub Jelinek --- store_constructor simply doesn't have RAW_DATA_CST support, that can be added. What worries me more is that expand_constructor doesn't have some upper size bound on the optimization. We punt if we can't c

[Bug libstdc++/121827] ext/pointer.h can't be included alone and ext/cast.h shouldn't be included in extc++.h

2025-09-06 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121827 --- Comment #1 from Jakub Jelinek --- Untested fix: 2025-09-06 Jakub Jelinek PR libstdc++/121827 * include/precompiled/extc++.h: Don't include ext/cast.h which is an internal header. * include/ext/pointer.h: I

[Bug libstdc++/121811] stdckdint.h fails to compile in C++26 mode in GCC 14

2025-09-06 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121811 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug libstdc++/121827] New: ext/pointer.h can't be included alone and ext/cast.h shouldn't be included in extc++.h

2025-09-06 Thread jakub at gcc dot gnu.org via Gcc-bugs
NCONFIRMED Severity: normal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: jakub at gcc dot gnu.org Target Milestone: --- Created attachment 62329 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62329&acti

[Bug testsuite/121732] [16 Regression] g++.target/aarch64/spaceship_1.C needs to be updated after recent libstdc++ and spaceship opt changes

2025-09-04 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121732 Jakub Jelinek changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug c++/121655] [13/14/15/16 Regression] struct binding as template argument vs reinterpret_cast since r8-4678

2025-09-03 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121655 --- Comment #4 from Jakub Jelinek --- template void foo (); struct A { char a; }; #ifndef SB char &bar (); char &x = bar (); #else A &bar (); auto &[x] = bar (); #endif void baz () { foo (); } shows that without structured binding we rej

[Bug c++/121655] [13/14/15/16 Regression] struct binding as template argument vs reinterpret_cast since r8-4678

2025-09-03 Thread jakub at gcc dot gnu.org via Gcc-bugs
||jakub at gcc dot gnu.org, ||jason at gcc dot gnu.org --- Comment #3 from Jakub Jelinek --- For template void f(); struct test_t { char a; } t; test_t& dummy_object = t; auto& [v0] = dummy_object; void g() { f(); } g++ disagrees with cl

[Bug c++/106658] [C++23] P2590 - Explicit lifetime management

2025-09-03 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106658 --- Comment #5 from Jakub Jelinek --- https://gcc.gnu.org/pipermail/gcc-patches/2025-August/693665.html

[Bug c++/120775] [C++26] P2996R13 - Reflection

2025-09-03 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120775 --- Comment #5 from Jakub Jelinek --- Created attachment 62293 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62293&action=edit gcc16-p3394r4-wip.patch Untested partial implementation of P3394R4, in particular the one which doesn't depend

[Bug libgomp/121760] libgomp: Trying to map into device [0x7fffa34613f0..0x7fffa3461420) object when [0x7fffa34613d0..0x7fffa3461400) is already mapped

2025-09-02 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121760 Jakub Jelinek changed: What|Removed |Added CC||burnus at gcc dot gnu.org --- Comment #

[Bug rtl-optimization/121675] [13/14/15/16 Regression] wrong code at -O3 on x86_64-linux-gnu

2025-09-02 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121675 --- Comment #4 from Jakub Jelinek --- The first weird thing is the cse_local pass. Before that it seems we compute twice 11 / -2 + 4 + (11 / -2 + 4U <= 2U ? 11 / -2 + 3 : 0) which is that in GIMPLE simplified (1 / c + (g - 1)) with f = -2 propag

[Bug rtl-optimization/121675] [13/14/15/16 Regression] wrong code at -O3 on x86_64-linux-gnu

2025-09-01 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121675 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug testsuite/121732] [16 Regression] g++.target/aarch64/spaceship_1.C needs to be updated after recent libstdc++ and spaceship opt changes

2025-09-01 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121732 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug tree-optimization/121698] [16 Regression] FAIL: g++.dg/opt/pr94589-2.C

2025-09-01 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121698 Jakub Jelinek changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug middle-end/121663] [16 Regression] ICE for line directive with large argument

2025-09-01 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121663 Jakub Jelinek changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org

[Bug middle-end/121663] [16 Regression] ICE for line directive with large argument

2025-09-01 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121663 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug tree-optimization/121698] [16 Regression] FAIL: g++.dg/opt/pr94589-2.C

2025-08-29 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121698 Jakub Jelinek changed: What|Removed |Added Attachment #62241|0 |1 is obsolete|

[Bug tree-optimization/121698] [16 Regression] FAIL: g++.dg/opt/pr94589-2.C

2025-08-29 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121698 Jakub Jelinek changed: What|Removed |Added Attachment #62239|0 |1 is obsolete|

[Bug tree-optimization/121698] [16 Regression] FAIL: g++.dg/opt/pr94589-2.C

2025-08-29 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121698 Jakub Jelinek changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org

[Bug lto/121719] inline asm defining label + -O2 -flto -ffat-lto-objects result in duplicated symbol

2025-08-29 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121719 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug libgcc/121718] [16 Regression] _Decimal128 now requires -lm, fails to link gdb (mpfr is underlinked against fesetenv()) since r16-3448-g50064b2898edfb

2025-08-29 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121718 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug c++/121583] ICE on deducing function return type when the body contains expansion-statement

2025-08-28 Thread jakub at gcc dot gnu.org via Gcc-bugs
|--- |FIXED Status|UNCONFIRMED |RESOLVED Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org --- Comment #3 from Jakub Jelinek --- Fixed.

[Bug c++/121575] ICE on structured binding to a parameter inside the body of expansion statements outside template

2025-08-28 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121575 Jakub Jelinek changed: What|Removed |Added Status|ASSIGNED|RESOLVED Target Milestone|---

[Bug target/121520] [16 regression] g++.dg/DRs/dr2575.C FAIL

2025-08-27 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121520 Jakub Jelinek changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution|---

[Bug debug/119367] [15 Regression][gcn] libgomp.fortran/target1.f90 with '-O2 -g': '.2byte .LM6-.LM5' – error: ... out of range – since r15-8047-gadb14c7625178b

2025-08-27 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119367 --- Comment #14 from Jakub Jelinek --- Untested fix: 2025-08-27 Jakub Jelinek PR debug/119367 * dwarf2out.cc (output_one_line_info_table) : If HAVE_AS_LEB128, use DW_LNS_advance_pc with dw2_asm_output_delta_uleb128

[Bug c++/121678] &__real__ static_var not constexpr

2025-08-26 Thread jakub at gcc dot gnu.org via Gcc-bugs
|1 Last reconfirmed||2025-08-26 Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org --- Comment #1 from Jakub Jelinek --- Created attachment 62203 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62203&acti

[Bug c++/121678] New: &__real__ static_var not constexpr

2025-08-26 Thread jakub at gcc dot gnu.org via Gcc-bugs
t: c++ Assignee: unassigned at gcc dot gnu.org Reporter: jakub at gcc dot gnu.org Target Milestone: --- static constexpr _Complex double a = 1.0; static constexpr double *r = &__real__ a; static constexpr double *i = &__imag__ a; is rejected in C++ and static const _Complex do

[Bug c++/121670] Replacement of integer constant with sizeof(int) makes an expression not constexpr

2025-08-26 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121670 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org

[Bug target/121520] [16 regression] g++.dg/DRs/dr2575.C FAIL

2025-08-26 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121520 --- Comment #16 from Jakub Jelinek --- Created attachment 62201 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62201&action=edit gcc16-pr121520-2.patch Untested fix.

[Bug middle-end/121672] [OpenMP] 'declare variant' with 'construct={simd}' context selector not handled

2025-08-26 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121672 --- Comment #4 from Jakub Jelinek --- (In reply to Tobias Burnus from comment #3) > In the meeting notes for Bordeaux, I see some longer discussions notes about > Ticket 720 (afternoon of May 18, 2018 = last session). Thus, it was clearly > disc

[Bug middle-end/121672] [OpenMP] 'declare variant' with 'construct={simd}' context selector not handled

2025-08-26 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121672 --- Comment #2 from Jakub Jelinek --- Must not have been Austin, because I was there in person. Perhaps Munich F2F?

[Bug target/98734] ABI diagnostics emitted despite always_inline attribute

2025-08-26 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98734 --- Comment #5 from Jakub Jelinek --- Note, always_inline is not a guarantee out of line copy will not be emitted. Either because address of the always_inline function is taken and not optimized in all places into a direct call, or when using -fk

[Bug target/121658] [16 Regression] ICE: in extract_insn, at recog.cc:2884 (unrecognizable insn) with -O -mavx512f -mgfni by r16-3364-g001cd39749f94e

2025-08-25 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121658 Jakub Jelinek changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug target/121658] [16 Regression] ICE: in extract_insn, at recog.cc:2884 (unrecognizable insn) with -O -mavx512f -mgfni by r16-3364-g001cd39749f94e

2025-08-25 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121658 --- Comment #1 from Jakub Jelinek --- Created attachment 62193 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62193&action=edit gcc16-pr121658.patch Untested fix.

[Bug target/121658] [16 Regression] ICE: in extract_insn, at recog.cc:2884 (unrecognizable insn) with -O -mavx512f -mgfni by r16-3364-g001cd39749f94e

2025-08-25 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121658 Jakub Jelinek changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org

[Bug c++/121601] [16 Regression] ICE when exception is thrown from static_assert message expression

2025-08-25 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121601 Jakub Jelinek changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug middle-end/121453] [OpenMP] 'omp simd' with 'collapse' – variable '.count' uninitialized, but used as 'if (.iter.14 == .count.15)'

2025-08-25 Thread jakub at gcc dot gnu.org via Gcc-bugs
|1 Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org Last reconfirmed||2025-08-25 --- Comment #4 from Jakub Jelinek --- Created attachment 62188 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62188&acti

[Bug rtl-optimization/121649] [16 Regression] wrong code with _BitInt() conversions (?) at -O2 since r16-2382

2025-08-25 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121649 Jakub Jelinek changed: What|Removed |Added CC||law at gcc dot gnu.org --- Comment #4 f

[Bug tree-optimization/121649] [16 Regression] wrong code with _BitInt() conversions (?) at -O2 since r16-2382

2025-08-25 Thread jakub at gcc dot gnu.org via Gcc-bugs
||jakub at gcc dot gnu.org, ||ktkachov at gcc dot gnu.org Summary|[16 Regression] wrong code |[16 Regression] wrong code |at -O2 with large number of |with _BitInt() conversions |arguments

[Bug libstdc++/121374] wrong value std::numeric_limits<__float128>::max_digits10

2025-08-25 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121374 --- Comment #6 from Jakub Jelinek --- (In reply to Jonathan Wakely from comment #4) > Dunno where I got 112 from, maybe just a typo. 112 is the number of explicit mantissa bits, like double has 52. But we need to include the implicit mantissa

[Bug rtl-optimization/10837] noreturn attribute causes no sibling calling optimization

2025-08-24 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=10837 --- Comment #34 from Jakub Jelinek --- (In reply to Lukas Grätz from comment #33) > (In reply to Jakub Jelinek from comment #32) > > gnu::musttail instead of musttail. > > Still doesn't work, but I guess it is the same problem as in PR 121642.

[Bug rtl-optimization/10837] noreturn attribute causes no sibling calling optimization

2025-08-24 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=10837 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug c++/121647] template for: can't contain case labels for surrounding switch

2025-08-23 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121647 --- Comment #4 from Jakub Jelinek --- This is not valid C++26. https://eel.is/c++draft/stmt.expand#2 says that expansion stmt body is control-flow-limited, and https://eel.is/c++draft/stmt.label#3 explains that. Note, expansion stmt body can't c

[Bug c++/121583] ICE on deducing function return type when the body contains expansion-statement

2025-08-23 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121583 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug c++/121575] ICE on structured binding to a parameter inside the body of expansion statements outside template

2025-08-23 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121575 Jakub Jelinek changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org

[Bug c++/121594] Expansion statement with constexpr for-range-declarator does not compile

2025-08-23 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121594 --- Comment #5 from Jakub Jelinek --- Note, constexpr there works in the enumerating/iterating cases and for destructuring if not using std::tuple_size, i.e. when iterating over class non-static members.

[Bug c++/121594] Expansion statement with constexpr for-range-declarator does not compile

2025-08-23 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121594 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug c++/121601] [16 Regression] ICE when exception is thrown from static_assert message expression

2025-08-19 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121601 --- Comment #2 from Jakub Jelinek --- --- a/gcc/cp/constexpr.cc +++ b/gcc/cp/constexpr.cc @@ -2694,6 +2694,8 @@ cxx_bind_parameters_in_call (const constexpr_ctx *ctx, tree t, tree fun, arg = cxx_eval_constant_expression (ctx, x, vc_prval

[Bug c++/121601] [16 Regression] ICE when exception is thrown from static_assert message expression

2025-08-19 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121601 Jakub Jelinek changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org

[Bug c++/121552] [C++20] Implement C++20 P1766R1 - Mitigating minor modules maladies

2025-08-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121552 Jakub Jelinek changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug c++/88323] implement C++20 language features.

2025-08-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88323 Bug 88323 depends on bug 121552, which changed state. Bug 121552 Summary: [C++20] Implement C++20 P1766R1 - Mitigating minor modules maladies https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121552 What|Removed |Ad

[Bug target/121520] [16 regression] g++.dg/DRs/dr2575.C FAIL

2025-08-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121520 Jakub Jelinek changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug c++/121539] [13/14/15 Regression] C style variadic ellipsis is incorrectly rejected after a default argument in a member function when not preceded by a comma

2025-08-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121539 Jakub Jelinek changed: What|Removed |Added Summary|[13/14/15/16 Regression] C |[13/14/15 Regression] C

[Bug c++/110338] Implement C++26 language features

2025-08-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110338 Bug 110338 depends on bug 120778, which changed state. Bug 120778 Summary: [C++26] P2843R3 - Preprocessing is never undefined https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120778 What|Removed |Added

[Bug preprocessor/120778] [C++26] P2843R3 - Preprocessing is never undefined

2025-08-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
at gcc dot gnu.org |jakub at gcc dot gnu.org Resolution|--- |FIXED Target Milestone|--- |16.0 --- Comment #16 from Jakub Jelinek --- Now implemented for GCC 16.

[Bug c/121563] inconsistency with repeated forward declarations of parameters with , or ;

2025-08-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121563 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug c++/121524] [15 Regression] Trailing alignas leaks into subsequent types, with arrays since r15-3046

2025-08-14 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121524 Jakub Jelinek changed: What|Removed |Added Summary|[15/16 Regression] Trailing |[15 Regression] Trailing

  1   2   3   4   5   6   7   8   9   10   >