[Bug middle-end/115388] [15 Regression] wrong code at -O3 on x86_64-linux-gnu since r15-571-g1e0ae1f52741f7

2024-06-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115388 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/115388] [15 Regression] wrong code at -O3 on x86_64-linux-gnu since r15-571-g1e0ae1f52741f7

2024-06-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115388 --- Comment #5 from GCC Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:818e760528d436ea8f6c28ef620e2bb82d456ea1 commit r15-1163-g818e760528d436ea8f6c28ef620e2bb82d456ea1 Author: Richard Biener Date:

[Bug tree-optimization/115395] [15 regression] libarchive miscompiled with -O2 -march=znver2 -fno-vect-cost-model since r15-1006-gd93353e6423eca

2024-06-10 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115395 --- Comment #9 from Sam James --- Thanks for the quick fix! We had another issue which bisected to the same, but it was far harder to reduce so we decided to wait. Hopefully fixed by this too.

[Bug tree-optimization/115387] [15 regression] ICE in iovsprintf.c since r15-1081-ge14afbe2d1c

2024-06-10 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115387 Sam James changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever confirmed|0

[Bug tree-optimization/115387] [15 regression] RISC-V: ICE in iovsprintf.c since r15-1081-ge14afbe2d1c

2024-06-10 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115387 Sam James changed: What|Removed |Added CC||dcb314 at hotmail dot com --- Comment #8 fr

[Bug c/115414] Problems during GIMPLE pass: widening_mul

2024-06-10 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115414 Sam James changed: What|Removed |Added CC||sjames at gcc dot gnu.org Statu

[Bug c/115414] New: Problems during GIMPLE pass: widening_mul

2024-06-10 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115414 Bug ID: 115414 Summary: Problems during GIMPLE pass: widening_mul Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c

[Bug tree-optimization/115387] [15 regression] RISC-V: ICE in iovsprintf.c since r15-1081-ge14afbe2d1c

2024-06-10 Thread pan2.li at intel dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115387 --- Comment #7 from Li Pan --- Thanks a lot. I am testing a fix, and will send it out after no surprise.

[Bug ada/114708] [12/13/14/15 regression] internal error on access to an incomplete formal in generic package

2024-06-10 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114708 Eric Botcazou changed: What|Removed |Added Target Milestone|--- |12.4 Status|ASSIGNED

[Bug ada/114708] [12/13/14/15 regression] internal error on access to an incomplete formal in generic package

2024-06-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114708 --- Comment #7 from GCC Commits --- The releases/gcc-12 branch has been updated by Eric Botcazou : https://gcc.gnu.org/g:12a3ba2be46e86ff1bffa5c876b6b17fe4929be3 commit r12-10501-g12a3ba2be46e86ff1bffa5c876b6b17fe4929be3 Author: Eric Botcazou

[Bug ada/114708] [12/13/14/15 regression] internal error on access to an incomplete formal in generic package

2024-06-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114708 --- Comment #6 from GCC Commits --- The releases/gcc-13 branch has been updated by Eric Botcazou : https://gcc.gnu.org/g:ef494b147f6d210cfa7e1647fb0979aa3666022a commit r13-8831-gef494b147f6d210cfa7e1647fb0979aa3666022a Author: Eric Botcazou

[Bug middle-end/115405] wrong code with _BitInt() sign-extension with -fno-strict-aliasing -O1 and above

2024-06-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115405 --- Comment #3 from Richard Biener --- It's not visible but I assume that _4 doesn't have _BitInt(17) type? The if (known_eq (offset, 0) && !reverse && poly_int_tree_p (TYPE_SIZE (type), &type_size)

[Bug ada/114708] [12/13/14/15 regression] internal error on access to an incomplete formal in generic package

2024-06-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114708 --- Comment #5 from GCC Commits --- The releases/gcc-14 branch has been updated by Eric Botcazou : https://gcc.gnu.org/g:b5ad4431f97eed60e46fc447fcd1eb4077b3cd80 commit r14-10300-gb5ad4431f97eed60e46fc447fcd1eb4077b3cd80 Author: Eric Botcazou

[Bug ada/114708] [12/13/14/15 regression] internal error on access to an incomplete formal in generic package

2024-06-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114708 --- Comment #4 from GCC Commits --- The master branch has been updated by Eric Botcazou : https://gcc.gnu.org/g:e29af8de31ba4b73dcee82917c8cec60d53dfa82 commit r15-1162-ge29af8de31ba4b73dcee82917c8cec60d53dfa82 Author: Eric Botcazou Date: M

[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type

2024-06-10 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398 Eric Botcazou changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type

2024-06-10 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398 --- Comment #9 from Eric Botcazou --- https://gcc.gnu.org/g:e54d90911858174a0c528d2c06198bc2061b3b22 commit r13-8829-ge54d90911858174a0c528d2c06198bc2061b3b22 Author: Javier Miranda Date: Thu Apr 18 09:54:22 2024 + ada: Storage_Erro

[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type

2024-06-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398 --- Comment #8 from GCC Commits --- The releases/gcc-13 branch has been updated by Eric Botcazou : https://gcc.gnu.org/g:02025fb144fcf4fbb964cd59e480149ac448ea6c commit r13-8830-g02025fb144fcf4fbb964cd59e480149ac448ea6c Author: Eric Botcazou

[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type

2024-06-10 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398 --- Comment #7 from Eric Botcazou --- https://gcc.gnu.org/g:a1bec0455fb6f871bbc2c80d6e19c90deebbf824 commit r14-10298-ga1bec0455fb6f871bbc2c80d6e19c90deebbf824 Author: Javier Miranda Date: Thu Apr 18 09:54:22 2024 + ada: Storage_Err

[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type

2024-06-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398 --- Comment #6 from GCC Commits --- The releases/gcc-14 branch has been updated by Eric Botcazou : https://gcc.gnu.org/g:72a59a1b8d4e69b1faac93a31c1162ef0dbe53e5 commit r14-10299-g72a59a1b8d4e69b1faac93a31c1162ef0dbe53e5 Author: Eric Botcazou

[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type

2024-06-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398 --- Comment #5 from GCC Commits --- The master branch has been updated by Eric Botcazou : https://gcc.gnu.org/g:e1c1f128d1c1e1f548cbae4eb014e455cfdfccc8 commit r15-1161-ge1c1f128d1c1e1f548cbae4eb014e455cfdfccc8 Author: Eric Botcazou Date: M

[Bug tree-optimization/115395] [15 regression] libarchive miscompiled with -O2 -march=znver2 -fno-vect-cost-model since r15-1006-gd93353e6423eca

2024-06-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115395 Richard Biener changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type

2024-06-10 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398 --- Comment #4 from Eric Botcazou --- https://gcc.gnu.org/g:add6d89eaed4070803882b9a0b643d963ca8d80a commit r15-1158-gadd6d89eaed4070803882b9a0b643d963ca8d80a Author: Javier Miranda Date: Thu Apr 18 09:54:22 2024 + ada: Storage_Erro

[Bug middle-end/115405] wrong code with _BitInt() sign-extension with -fno-strict-aliasing -O1 and above

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

[Bug tree-optimization/115395] [15 regression] libarchive miscompiled with -O2 -march=znver2 -fno-vect-cost-model since r15-1006-gd93353e6423eca

2024-06-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115395 --- Comment #7 from GCC Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:4ed9c5df7efeb98e190573cca42a4fd40666c45f commit r15-1160-g4ed9c5df7efeb98e190573cca42a4fd40666c45f Author: Richard Biener Date:

[Bug middle-end/115388] [15 Regression] wrong code at -O3 on x86_64-linux-gnu since r15-571-g1e0ae1f52741f7

2024-06-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115388 --- Comment #4 from Richard Biener --- It's DSE5 deleting Deleted dead store: a[b.19_216] = 1; there's a big irreducible region following the loop with this store, but I fail to see how we can reach the load without going through the other r

[Bug libstdc++/115402] std::atomic_ref compile-error in compare_exchange_[weak/strong]() and wait()

2024-06-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115402 --- Comment #6 from Jonathan Wakely --- There is a paper being written to address both those issues, but it hasn't been published yet. It should be P3323 when it's ready.

[Bug c++/115410] Missing optimization: typeid(*a)==typeid(*b) could be optimized to a->_vptr==b->_vptr

2024-06-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115410 --- Comment #8 from Jonathan Wakely --- (In reply to user202729 from comment #7) > (In reply to Andrew Pinski from comment #6) > > They can be different due to the way shared libraries work. > > Ah, too bad. > > Is it safe to at least assume t

[Bug c++/115410] Missing optimization: typeid(*a)==typeid(*b) could be optimized to a->_vptr==b->_vptr

2024-06-10 Thread user202729 at protonmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115410 --- Comment #9 from user202729 --- Alright, I open https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115413 instead (discussing one case where gcc already calls a different function from what it should)

[Bug libstdc++/115402] std::atomic_ref compile-error in compare_exchange_[weak/strong]() and wait()

2024-06-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115402 --- Comment #5 from Jonathan Wakely --- And https://cplusplus.github.io/LWG/issue4069 too.

[Bug c++/115413] New: Missing optimization: devirtualize the call in "if(typeid(*a)==typeid(A)) a->f();" structure

2024-06-10 Thread user202729 at protonmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115413 Bug ID: 115413 Summary: Missing optimization: devirtualize the call in "if(typeid(*a)==typeid(A)) a->f();" structure Product: gcc Version: 15.0 Status: UNCONFIRMED

[Bug debug/115386] ice with -g -O3

2024-06-10 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115386 --- Comment #9 from David Binderman --- I tried a release build and it seemed fine to me: foundBugs $ ../results.20240610.release/bin/gcc -c -w -g -O3 bug1034.c foundBugs $ I guess if both asan & ubsan together cause a stack overflow

[Bug libstdc++/115399] std::tr2::dynamic_bitset shift behaves differently from std::bitset

2024-06-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115399 Jonathan Wakely changed: What|Removed |Added Last reconfirmed||2024-06-10 Ever confirmed|0

[Bug debug/115386] ice with -g -O3

2024-06-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115386 --- Comment #8 from Richard Biener --- (In reply to David Binderman from comment #7) > (In reply to Richard Biener from comment #6) > > Are you using a compiler with release checking? > > No, with asan & ubsan. > > I tried running cc1 under

[Bug middle-end/115411] ICE : in expand_call, at calls.cc:3668

2024-06-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115411 Richard Biener changed: What|Removed |Added Component|c |middle-end Keywords|

[Bug debug/115386] ice with -g -O3

2024-06-10 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115386 --- Comment #7 from David Binderman --- (In reply to Richard Biener from comment #6) > Are you using a compiler with release checking? No, with asan & ubsan. I tried running cc1 under gdb and got this backtrace: #0 0x00b54615 in g

[Bug tree-optimization/115395] [15 regression] libarchive miscompiled with -O2 -march=znver2 -fno-vect-cost-model since r15-1006-gd93353e6423eca

2024-06-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115395 --- Comment #6 from Richard Biener --- In fact, the main loop ends up not using SLP but the epilogue one does and we end up setting STMT_VINFO_REDUC_EPILOGUE_ADJUSTMENT which we do not support for SLP. The question is whether to add that suppor

[Bug tree-optimization/115404] [15 Regression] possibly wrong code on glibc-2.39 since r15-1113-gde05e44b2ad963

2024-06-10 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115404 --- Comment #5 from Andrew Pinski --- (In reply to Uroš Bizjak from comment #4) > I can hit ICE with the following testcase: Then it is most likely a dup of bug 115387 .

[Bug tree-optimization/115387] [15 regression] RISC-V: ICE in iovsprintf.c since r15-1081-ge14afbe2d1c

2024-06-10 Thread ubizjak at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115387 --- Comment #6 from Uroš Bizjak --- The testcase is at [1]. [1] https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115404#c4

[Bug tree-optimization/115404] [15 Regression] possibly wrong code on glibc-2.39 since r15-1113-gde05e44b2ad963

2024-06-10 Thread ubizjak at gmail dot com via Gcc-bugs
../git/gcc/gcc/passes.cc:2096 0xed86be execute_todo ../../git/gcc/gcc/passes.cc:2143 xgcc (GCC) 15.0.0 20240610 (experimental) [master r15-1126-gc1429e3a8da] Confirmed as a tree-optimization problem with the new .SAT_ADD conversion pass.

[Bug tree-optimization/115395] [15 regression] libarchive miscompiled with -O2 -march=znver2 -fno-vect-cost-model since r15-1006-gd93353e6423eca

2024-06-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115395 --- Comment #5 from Richard Biener --- It needs epilogue vectorization to trigger and it's the path re-using the vector accumulator from the earlier loop that goes wrong when the main vector loop is skipped. We apply the initial value adjustmen

[Bug debug/115386] ice with -g -O3

2024-06-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115386 Richard Biener changed: What|Removed |Added Version|unknown |15.0 --- Comment #6 from Richard Biene

[Bug c++/115412] New: ICE: canonical types differ for identical types ‘stdis_sametypename fooTtype, U’ and ‘stdis_sameT, U’

2024-06-10 Thread iamanonymous.cs at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115412 Bug ID: 115412 Summary: ICE: canonical types differ for identical types ‘stdis_sametypename fooTtype, U’ and ‘stdis_sameT, U’ Product: gcc Version: 15.0 Status: UNCONFIR

[Bug c/115411] New: ICE : in expand_call, at calls.cc:3668

2024-06-10 Thread iamanonymous.cs at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115411 Bug ID: 115411 Summary: ICE : in expand_call, at calls.cc:3668 Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c

[Bug tree-optimization/115382] Wrong code with in-order conditional reduction and masked loops

2024-06-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115382 --- Comment #4 from Richard Biener --- (In reply to Robin Dapp from comment #3) > For the record - the hunk before bootstrapped and regtested on the cfarm > machines and tested successfully on aarch64 qemu with sve. I still need to > set up a r

<    1   2