[Bug tree-optimization/118514] [15 regression] wrong code at -O{1,s,3} on x86_64-linux-gnu since r15-6360-g6d5df5133c5dd8

2025-01-17 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118514 --- Comment #5 from Alexandre Oliva --- Interesting. Without ifcombine, we optimize the loop body to the same, but the load from b doesn't get pulled out to the loop header. I suppose ifcombine may need to propagate some annotation that the lo

[Bug tree-optimization/118514] [15 regression] wrong code at -O{1,s,3} on x86_64-linux-gnu since r15-6360-g6d5df5133c5dd8

2025-01-17 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118514 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/118504] New: Bogus -Wstringop-overflow warning on simple memcpy type loop

2025-01-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118504 Bug ID: 118504 Summary: Bogus -Wstringop-overflow warning on simple memcpy type loop Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal

[Bug tree-optimization/113026] Bogus -Wstringop-overflow warning on simple memcpy type loop

2025-01-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113026 Alexandre Oliva changed: What|Removed |Added Status|RESOLVED|REOPENED Resolution|FIXED

[Bug tree-optimization/88443] [meta-bug] bogus/missing -Wstringop-overflow warnings

2025-01-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88443 Bug 88443 depends on bug 113026, which changed state. Bug 113026 Summary: Bogus -Wstringop-overflow warning on simple memcpy type loop https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113026 What|Removed |Added

[Bug tree-optimization/118456] [15 Regression] wrong code due to ifcombine since r15-6773

2025-01-14 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118456 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug tree-optimization/118456] [15 Regression] wrong code due to ifcombine since r15-6773

2025-01-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118456 Alexandre Oliva changed: What|Removed |Added Attachment #60141|0 |1 is obsolete|

[Bug tree-optimization/118456] [15 Regression] wrong code due to ifcombine since r15-6773

2025-01-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118456 --- Comment #5 from Alexandre Oliva --- Created attachment 60141 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60141&action=edit candidate patch under testing This may be too blunt, and the unrelated robustification may be unwelcome at t

[Bug tree-optimization/118456] [15 Regression] wrong code due to ifcombine since r15-6773

2025-01-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118456 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/118267] Suboptimal code for bool bitfield tests

2025-01-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118267 --- Comment #3 from Alexandre Oliva --- The blocks are ineligible for ifcombine because the dereferences could trap. Some flow-dependent information could enable us to conclude that only the first dereference could trap, and it would remain in

[Bug tree-optimization/118409] [15 regression] gas miscompiled by ifcombine ("Unsupported broadcast" assemble failure) since r15-6774-g740c84975ceb74

2025-01-12 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118409 --- Comment #25 from Alexandre Oliva --- Created attachment 60132 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60132&action=edit candidate patch Here's what I'm testing.

[Bug tree-optimization/118409] [15 regression] gas miscompiled by ifcombine ("Unsupported broadcast" assemble failure) since r15-6774-g740c84975ceb74

2025-01-12 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118409 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/118344] [15 regression] Crash at -O3 in ifcombine

2025-01-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118344 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug tree-optimization/118186] [15 regression] FAIL: gcc.dg/field-merge-16.c scan-tree-dump-times ifcombine "optimizing" 6

2025-01-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118186 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/113506] ICE: RTL check: expected elt 2 type 'B', have '0' (rtx barrier) in BLOCK_FOR_INSN, at rtl.h:1495 with -Os -fno-tree-coalesce-vars -finline-stringops

2025-01-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113506 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug testsuite/118025] [15 Regression] gcc.dg/field-merge-9.c FAILs

2025-01-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118025 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/118206] [15 regression] libdeflate miscompiled by ifcombine since r15-6360-g6d5df5133c5dd8

2025-01-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118206 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/118206] [15 regression] libdeflate miscompiled by ifcombine since r15-6360-g6d5df5133c5dd8

2025-01-09 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118206 Alexandre Oliva changed: What|Removed |Added URL||https://gcc.gnu.org/piperma

[Bug tree-optimization/118344] [15 regression] Crash at -O3 in ifcombine

2025-01-09 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118344 Alexandre Oliva changed: What|Removed |Added URL||https://gcc.gnu.org/piperma

[Bug tree-optimization/118186] [15 regression] FAIL: gcc.dg/field-merge-16.c scan-tree-dump-times ifcombine "optimizing" 6

2025-01-09 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118186 --- Comment #2 from Alexandre Oliva --- I've just confirmed that that's the fix indeed.

[Bug tree-optimization/118344] [15 regression] Crash at -O3 in ifcombine

2025-01-07 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118344 Alexandre Oliva changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug tree-optimization/118186] [15 regression] FAIL: gcc.dg/field-merge-16.c scan-tree-dump-times ifcombine "optimizing" 6

2025-01-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118186 Alexandre Oliva changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Assignee|unassigne

[Bug tree-optimization/118206] [15 regression] libdeflate miscompiled by ifcombine since r15-6360-g6d5df5133c5dd8

2025-01-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118206 Alexandre Oliva changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #11 from Alexand

[Bug middle-end/118006] ICE when building rr-5.8.0 with -fstrub=all (RTL check: expected elt 2 type 'B', have '0' (rtx barrier) in BLOCK_FOR_INSN, at rtl.h:1499)

2025-01-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118006 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug tree-optimization/118046] [15 Regression] wrong code at -O{2, 3} on x86_64-linux-gnu since r15-6173-ge8febb641415fd

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118046 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug testsuite/118025] [15 Regression] gcc.dg/field-merge-9.c FAILs

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118025 --- Comment #5 from Alexandre Oliva --- The original reported problem is fixed. I'm keeping the PR open to look into the AVR and PRU fails mentioned in comment 2, though they seem to be an entirely different problem.

[Bug tree-optimization/117915] [15 Regression] ICE on valid code at -O{s,2,3} with "-fno-tree-copy-prop -fno-tree-vrp" on x86_64-linux-gnu: tree check: expected ssa_name, have integer_cst in ifcombine

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117915 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug tree-optimization/118032] [15 regression] Bootstrap slowdown for risc-v

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118032 --- Comment #18 from Alexandre Oliva --- Created attachment 59915 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59915&action=edit add options to control the new ifcombine features This may be useful to figure out whether it's ifcombine t

[Bug target/117920] Duplication of -mstackrealign sequence breaks CFI

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117920 Alexandre Oliva changed: What|Removed |Added Assignee|aoliva at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug target/117920] ICE: in maybe_record_trace_start, at dwarf2cfi.cc:2591 with -O2 -fharden-conditional-branches -mstackrealign --param=max-grow-copy-bb-insns=32

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117920 Alexandre Oliva changed: What|Removed |Added Last reconfirmed||2024-12-18 Assignee|unassig

[Bug middle-end/118006] ICE when building rr-5.8.0 with -fstrub=all (RTL check: expected elt 2 type 'B', have '0' (rtx barrier) in BLOCK_FOR_INSN, at rtl.h:1499)

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118006 Alexandre Oliva changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigne

[Bug middle-end/118007] ICE when building ruby-3.2.5 with -fstrub=all

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118007 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug middle-end/113506] ICE: RTL check: expected elt 2 type 'B', have '0' (rtx barrier) in BLOCK_FOR_INSN, at rtl.h:1495 with -Os -fno-tree-coalesce-vars -finline-stringops

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113506 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org L

[Bug tree-optimization/118081] [15 regression] wrong code at -O{s,2,3} with "-fno-tree-vrp -fno-expensive-optimizations" on x86_64-linux-gnu since r15-6173

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118081 Alexandre Oliva changed: What|Removed |Added CC||yunboni at smail dot nju.edu.cn --- C

[Bug tree-optimization/118064] [15 regression] Miscompilation at -O1 since r15-6173-ge8febb641415fd

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118064 Alexandre Oliva changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/117915] [15 Regression] ICE on valid code at -O{s,2,3} with "-fno-tree-copy-prop -fno-tree-vrp" on x86_64-linux-gnu: tree check: expected ssa_name, have integer_cst in ifcombine

2024-12-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117915 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org ---

[Bug tree-optimization/118025] [15 Regression] gcc.dg/field-merge-9.c FAILs

2024-12-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118025 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org ---

[Bug tree-optimization/118046] [15 Regression] wrong code at -O{2, 3} on x86_64-linux-gnu since r15-6173-ge8febb641415fd

2024-12-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118046 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org ---

[Bug tree-optimization/117723] [15 Regression] Miscompile with -O1+ since r15-5003-gae074c69fd5aff

2024-11-29 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117723 --- Comment #8 from Alexandre Oliva --- Yes, thanks, fixed.

[Bug tree-optimization/117723] [15 Regression] Miscompile with -O1+ since r15-5003-gae074c69fd5aff

2024-11-28 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117723 Alexandre Oliva changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigne

[Bug debug/104277] [meta-bug] gstatement-frontiers causes fcompare-debug issues

2024-11-28 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104277 --- Comment #3 from Alexandre Oliva --- Unlikely :-( I haven't been involved with that work for over 5 years. Without debug info consumer support, the notes are hardly useful, and AFAIK that support is not forthcoming, so my recommendation has

[Bug target/55212] [SH] Switch to LRA

2024-09-19 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55212 --- Comment #277 from Alexandre Oliva --- Created attachment 59153 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59153&action=edit [lra] take scratch as implicit unused output reloads > * call_pcrel patterns: match_scratch can cause ICE f

[Bug d/115295] [15 regression] Various gdc testsuite regressions

2024-09-02 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115295 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug middle-end/115459] [14 regression] Alpha/Linux ICE: in gen_rtx_SUBREG, at emit-rtl.cc:1032 around g-debpoo.adb:1896:8, as from r14-1187-gd6b756447cd5

2024-07-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115459 --- Comment #9 from Alexandre Oliva --- Ditto

[Bug target/113719] [13/14 regression] g++.target/i386/pr103696.C FAILs

2024-07-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113719 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug target/113719] [13/14 regression] g++.target/i386/pr103696.C FAILs

2024-07-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113719 --- Comment #16 from Alexandre Oliva --- Ok, I'd tested the backports on gcc-13 recently, so I'm going to install both patches in both gcc-13 and gcc-14, the latter under the assumption that if it works in gcc-13 and trunk, it will be fine for g

[Bug debug/95574] line table entry in sequence with address after sequence

2024-07-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95574 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment

[Bug c/115848] ICE: 'verify_type' failed with -flto and strub attribute and typedef of the function type

2024-07-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115848 Alexandre Oliva changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #2 from Alexandr

[Bug target/113719] [13/14 regression] g++.target/i386/pr103696.C FAILs

2024-07-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113719 Alexandre Oliva changed: What|Removed |Added Summary|[13/14/15 regression] |[13/14 regression]

[Bug target/113719] [13/14/15 regression] g++.target/i386/pr103696.C FAILs

2024-07-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113719 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/113681] [14 Regression] ICE in tree_profiling, at tree-profile.cc:803 since r14-6201-gf0a90c7d7333fc

2024-07-03 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113681 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug middle-end/115459] [14/15 regression] Alpha/Linux ICE: in gen_rtx_SUBREG, at emit-rtl.cc:1032 around g-debpoo.adb:1896:8, as from r14-1187-gd6b756447cd5

2024-06-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115459 Alexandre Oliva changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed|

[Bug d/115295] [15 regression] Various gdc testsuite regressions

2024-06-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115295 --- Comment #4 from Alexandre Oliva --- Created attachment 58410 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58410&action=edit candidate patch This patch reverts dg-additional-sources to the earlier behavior, in which sources are added

[Bug d/115295] [15 regression] Various gdc testsuite regressions

2024-06-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115295 --- Comment #2 from Alexandre Oliva --- Ugh, it looks like D deviates from one of the fundamental assumptions behind the change, namely, that for each named source file, the compiler would attempt to generate one (set of) output files, so when n

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-06-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 --- Comment #16 from Alexandre Oliva --- That macro is used within libstdc++ to avoid relying on C99 functions when the target C library is not C99-compliant. It involves leaving out C++ standard bits that would depend on functions that the C l

[Bug tree-optimization/115177] incorrect TBAA for derived types involving hardbool types

2024-06-04 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115177 --- Comment #4 from Alexandre Oliva --- One could argue either way. As a hardened type, discouraging aliasing that would bypass the hardening could also make sense. It was modeled after Ada, whose aliasing is much stricter, but I guess in C it

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-05-31 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 --- Comment #14 from Alexandre Oliva --- Thanks. The other problem the testcase in this PR evidenced was that simd_math.h and simd_scalar.h seem to disregard _GLIBCXX_USE_C99_MATH_TR1, and on newlib-using targets, that don't declare in math.h e

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-05-31 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 --- Comment #11 from Alexandre Oliva --- it's the first test for __clang__ in __int_for_sizeof(), that ends up returning char() rather than _Schar(). I guess that places the problem entirely on our need for defining __clang__ :-( Sorry about t

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-05-31 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 --- Comment #10 from Alexandre Oliva --- FWIW, I can trigger the problem on arm-eabi (and presumably also on aarch64-elf, but I haven't tried that) with -D__clang__. (our vxworks toolchains have to define that macro, for complicated reasons) h

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-05-30 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 --- Comment #8 from Alexandre Oliva --- -fsigned-char works around the fail on affected targets. I couldn't trigger it on arm-eabi, alas, not even with -funsigned-char.

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-05-30 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment

[Bug middle-end/112938] ice with -fstrub=internal

2024-04-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112938 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|REOPENED

[Bug c++/112580] [14 Regression]: g++.dg/modules/xtreme-header-4_b.C et al; ICE tree check: expected class 'type', have 'declaration'

2024-04-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112580 Alexandre Oliva changed: What|Removed |Added CC||danglin at gcc dot gnu.org --- Commen

[Bug c++/108602] FAIL: g++.dg/modules/xtreme-header-5_c.C -std=c++2b (test for excess errors)

2024-04-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108602 Alexandre Oliva changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/108602] FAIL: g++.dg/modules/xtreme-header-5_c.C -std=c++2b (test for excess errors)

2024-04-12 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108602 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment

[Bug inline-asm/10153] [3.3/3.4 regression] selection of %dil or %sil on ia32 by valid C source

2024-03-22 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=10153 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment

[Bug rtl-optimization/113660] ICE: verify_flow_info failed: missing REG_EH_REGION note at the end of bb 2 with -fnon-call-exceptions -fharden-control-flow-redundancy on invalid

2024-03-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113660 --- Comment #1 from Alexandre Oliva --- There's nothing specific about -fharden-control-flow-redundancy here, FWIW. ISTM that it just adds enough EH-related stuff to the function that an EH note gets attached to the impossible asm, a stmt then

[Bug target/114059] ICE in extract_insn, at recog.cc:2812 | sme2 vs -fsanitize=address -mtrack-speculation -fharden-control-flow-redundancy

2024-03-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114059 --- Comment #1 from Alexandre Oliva --- ISTM that -fharden-control-flow-redundancy is only instrumental to trigger the latent problem, but the real problem is in the back end: aarch64_restore_za emits a aarch64_cbnedi1 unconditionally, but insn

[Bug debug/113777] ICE: in add_child_die_after, at dwarf2out.cc:5785 with -g -fsso-struct=big-endian and __attribute__((__hardbool__))

2024-03-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113777 --- Comment #1 from Alexandre Oliva --- Eric, I think this is yours. It fails while trying to add a reversed version of the hbool type to the context of the struct, but the struct doesn't have children yet, and add_child_die_after requires the

[Bug middle-end/112938] ice with -fstrub=internal

2024-03-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112938 --- Comment #10 from Alexandre Oliva --- Thanks, yeah, I can duplicate the problem using the original testcase.

[Bug target/114137] ICE when building lua-5.4.6 with -fharden-control-flow-redundancy on x86 (error: invalid rtl sharing found in the insn)

2024-03-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114137 --- Comment #6 from Alexandre Oliva --- Thanks for the report. Something's very rotten here. cfrvisited is an automatic variable, why oh why would we have GOTOFF unspecs for it?!? I'd be interested in a preprocessed testcase that will trigger

[Bug target/111935] gcc ICE with risc-v vector intrinsics

2024-02-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111935 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment

[Bug middle-end/94988] [11 Regression] FAIL: gcc.target/i386/pr64110.c scan-assembler vmovd[\\t ]

2024-02-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988 --- Comment #10 from Alexandre Oliva --- Reasoning that the concurrent stores invoke undefined behavior would enable us to assume that the stores don't alias, which invalidates the reasoning in comment 1. Alas, I don't think gimple preserves eno

[Bug middle-end/94988] [11 Regression] FAIL: gcc.target/i386/pr64110.c scan-assembler vmovd[\\t ]

2024-02-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment

[Bug debug/113394] ICE: 'verify_type' failed: type variant with 'TYPE_ALIAS_SET_KNOWN_P' with -fstrub=internal -g

2024-01-30 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113394 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug debug/113394] ICE: 'verify_type' failed: type variant with 'TYPE_ALIAS_SET_KNOWN_P' with -fstrub=internal -g

2024-01-29 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113394 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org L

[Bug middle-end/112917] Most strub execution tests FAIL on SPARC

2023-12-20 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112917 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug rtl-optimization/113002] ICE in commit_one_edge_insertion, at cfgrtl.cc:2095 with new -finline-stringops

2023-12-20 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113002 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug rtl-optimization/113002] ICE in commit_one_edge_insertion, at cfgrtl.cc:2095 with new -finline-stringops

2023-12-19 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113002 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org ---

[Bug rtl-optimization/113002] ICE in commit_one_edge_insertion, at cfgrtl.cc:2095 with new -finline-stringops

2023-12-19 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113002 Alexandre Oliva changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED

[Bug middle-end/112938] ice with -fstrub=internal

2023-12-19 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112938 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/112917] Most strub execution tests FAIL on SPARC

2023-12-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112917 --- Comment #4 from Alexandre Oliva --- Ok, I understand the issues now. The problem on sparc32 is indeed the large register save area that __strub_leave allocates, that overlaps with stack space it's expected to scrub, and that thus doesn't ge

[Bug middle-end/112917] Most strub execution tests FAIL on SPARC

2023-12-12 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112917 --- Comment #2 from Alexandre Oliva --- Nevermind, I've managed to log into the cfarm machines running solaris/sparc.

[Bug target/112334] ICE in gen_untyped_return arm.md:9197 while compiling harden-cfr-bret.c

2023-12-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112334 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/112938] ice with -fstrub=internal

2023-12-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112938 --- Comment #4 from Alexandre Oliva --- Patch at https://gcc.gnu.org/pipermail/gcc-patches/2023-December/640252.html

[Bug target/112778] ICE in ppc64-linux-gnu crosscompiler in store_by_pieces since r14-5946-g1ff6d9f7428b06

2023-12-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112778 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug middle-end/112784] ICE in smallest_mode_for_size, at stor-layout.cc:356 | -finline-stringops -mavx512cd

2023-12-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112784 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug target/112804] ICE in aarch64 crosscompiler in plus_constant, at explow.cc:102 with -mabi=ilp32 and -finline-stringops

2023-12-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112804 --- Comment #4 from Alexandre Oliva --- Fixed. Thanks for the notes and testing, Andrew, here and in the mailing list.

[Bug middle-end/112938] ice with -fstrub=internal

2023-12-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112938 Alexandre Oliva changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigne

[Bug middle-end/112917] Most strub execution tests FAIL on SPARC

2023-12-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112917 Alexandre Oliva changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED

[Bug target/112778] ICE in ppc64-linux-gnu crosscompiler in store_by_pieces since r14-5946-g1ff6d9f7428b06

2023-12-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112778 Alexandre Oliva changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigne

[Bug target/112804] ICE in aarch64 crosscompiler in plus_constant, at explow.cc:102 with -mabi=ilp32 and -finline-stringops

2023-12-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112804 Alexandre Oliva changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED

[Bug middle-end/112784] ICE in smallest_mode_for_size, at stor-layout.cc:356 | -finline-stringops -mavx512cd

2023-12-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112784 Alexandre Oliva changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED

[Bug target/112334] ICE in gen_untyped_return arm.md:9197 while compiling harden-cfr-bret.c

2023-12-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112334 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug libstdc++/112858] [14 Regression] nvptx: 'unresolved symbol __cxa_thread_atexit_impl'

2023-12-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112858 Alexandre Oliva changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #6 from Alexandr

[Bug target/112411] ICE: SIGSEGV with --param=min-nondebug-insn-uid=2147483647 on powerpc64le-unknown-linux-gnu

2023-11-29 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112411 --- Comment #4 from Alexandre Oliva --- yeah, its intended use case is for debugging -fcompare-debug fails, reducing superfluous differences between rtl dumps. In theory GCC may overflow insn uids regardless of this param, and if guarding again

[Bug driver/108865] gcc on Windows fails with Unicode path to source file

2023-11-17 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108865 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment

[Bug debug/107169] [13/14 Regression] -fcompare-debug failure at -O and above since r13-2921-gf1adf45b17f7f1ed

2023-11-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107169 --- Comment #5 from Alexandre Oliva --- It looks like r14-5257-g61d2b4746300a604469df15789194d0a7c73791b fixes this.

[Bug libstdc++/110807] [13 Regression] Copy list initialisation of a vector raises a warning with -O2

2023-11-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110807 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment

[Bug tree-optimization/111943] ICE in gimple_split_edge, at tree-cfg.cc:3019 on 20050510-1.c with new -fharden-control-flow-redundancy with computed gotos

2023-10-31 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111943 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

  1   2   3   >