[Bug target/93934] Unnecessary fld of uninitialized float stack variable results in ub of valid C++ code

2021-10-13 Thread amonakov at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93934 --- Comment #14 from Alexander Monakov --- Zoltan, excuse me, could you please clarify what specifically you are worried about? Your bug title says "results in UB" and the opening comment said "the behavior [..] is unpredictable", but as far as

Re: [PATCH, rs6000] Disable gimple fold for float or double vec_minmax when fast-math is not set

2021-10-13 Thread David Edelsohn via Gcc-patches
2021-08-25 Haochen Gui gcc/ * config/rs6000/rs6000-call.c (rs6000_gimple_fold_builtin): Modify the VSX_BUILTIN_XVMINDP, ALTIVEC_BUILTIN_VMINFP, VSX_BUILTIN_XVMAXDP, ALTIVEC_BUILTIN_VMAXFP expansions. Please write something more than "modify". The ChangeLog should be more like

Re: [PATCH][RFC] Introduce TREE_AOREFWRAP to cache ao_ref in the IL

2021-10-13 Thread Michael Matz via Gcc-patches
Hello, [this is the fourth attempt to write a comment/review/opinion for this ao_ref-in-tcc_reference, please accept some possible incoherence] On Tue, 12 Oct 2021, Richard Biener via Gcc-patches wrote: > This prototype hack introduces a new tcc_reference TREE_AOREFWRAP > which we can use to

[Bug tree-optimization/102720] [12 regression] gcc.dg/tree-ssa/ldist-strlen-1.c and ldist-strlen-2.c fail after r12-4324

2021-10-13 Thread clyon at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102720 --- Comment #6 from Christophe Lyon --- On aarch64, this also causes gcc.dg/loop-unswitch-4.c to fail

[Bug tree-optimization/102720] [12 regression] gcc.dg/tree-ssa/ldist-strlen-1.c and ldist-strlen-2.c fail after r12-4324

2021-10-13 Thread clyon at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102720 Christophe Lyon changed: What|Removed |Added CC||clyon at gcc dot gnu.org

[Bug fortran/102729] New: Assumed rank: ICE when passing noncontiguous to CONTIGUOUS assume rank (assumed-rank loop handling)

2021-10-13 Thread burnus at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102729 Bug ID: 102729 Summary: Assumed rank: ICE when passing noncontiguous to CONTIGUOUS assume rank (assumed-rank loop handling) Product: gcc Version: 12.0 Status:

[Bug c++/102611] [C++23] P2128R6 - Multidimensional subscript operator

2021-10-13 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102611 --- Comment #2 from Jakub Jelinek --- Created attachment 51595 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51595=edit gcc12-P2128R6-WIP.patch Untested WIP, just template handling hasn't been added yet, so it is useful only without

Re: [PATCH] rs6000/test: Adjust some cases due to O2 vect [PR102658]

2021-10-13 Thread Martin Sebor via Gcc-patches
On 10/13/21 1:43 AM, Kewen.Lin wrote: on 2021/10/13 下午2:29, Hongtao Liu via Gcc-patches wrote: On Wed, Oct 13, 2021 at 11:34 AM Hongtao Liu wrote: On Tue, Oct 12, 2021 at 11:49 PM Martin Sebor wrote: On 10/11/21 8:31 PM, Hongtao Liu wrote: On Tue, Oct 12, 2021 at 4:08 AM Martin Sebor via

[Bug target/93934] Unnecessary fld of uninitialized float stack variable results in ub of valid C++ code

2021-10-13 Thread ubizjak at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93934 --- Comment #13 from Uroš Bizjak --- (In reply to Zoltan Vajda from comment #12) > Using -mfpmath=sse here does not help on a 32 bit platfrom. > https://gcc.godbolt.org/z/hs1Ef6aj4 > At line 31 the assembly code performs the speculative load.

[PATCH] ipa-sra: Improve debug info for removed parameters (PR 93385)

2021-10-13 Thread Martin Jambor
Hi, in spring I added code eliminating any statements using parameters removed by IPA passes (to fix PR 93385). That patch fixed issues such as divisions by zero that such code could perform but it only reset all affected debug bind statements, this one updates them with expressions which can

Re: [PATCH] collect2: Fix missing cleanups.

2021-10-13 Thread Richard Biener via Gcc-patches
On Wed, Oct 13, 2021 at 4:00 PM Iain Sandoe wrote: > > The code that checks to see if objects have LTO content via > simple-object was not releasing resources, fixed thus. > > tested on x86_64, powerpc64le linux, powerpc-aix, i686,x86_64-darwin, > OK for master and backports? OK. Richard. >

[Bug c++/102728] New: requires statement fails to recognize lambda in unevaluated context

2021-10-13 Thread nickhuang99 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102728 Bug ID: 102728 Summary: requires statement fails to recognize lambda in unevaluated context Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal

[PATCH] collect2: Fix missing cleanups.

2021-10-13 Thread Iain Sandoe via Gcc-patches
The code that checks to see if objects have LTO content via simple-object was not releasing resources, fixed thus. tested on x86_64, powerpc64le linux, powerpc-aix, i686,x86_64-darwin, OK for master and backports? thanks Iain Signed-off-by: Iain Sandoe gcc/ChangeLog: * collect2.c

[Bug libstdc++/100287] Using iterator after std::move in ranges::partition

2021-10-13 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100287 Patrick Palka changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug libstdc++/100237] Unnecessary std::move in ranges::min, ranges::max and ranges::minmax

2021-10-13 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100237 Patrick Palka changed: What|Removed |Added Status|NEW |RESOLVED Target Milestone|---

[Bug libstdc++/100187] Helper lambda in ranges_algo.h misses forwarding return type

2021-10-13 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100187 Patrick Palka changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug libstdc++/100287] Using iterator after std::move in ranges::partition

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100287 --- Comment #4 from CVS Commits --- The releases/gcc-10 branch has been updated by Patrick Palka : https://gcc.gnu.org/g:139bafaaba0c775ca65712621bd60e079b488d73 commit r10-10210-g139bafaaba0c775ca65712621bd60e079b488d73 Author: Patrick Palka

[Bug libstdc++/100249] missing forwarding std::__invoke result in ranges::is_permutation and ranges::clamp

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100249 --- Comment #11 from CVS Commits --- The releases/gcc-10 branch has been updated by Patrick Palka : https://gcc.gnu.org/g:139bafaaba0c775ca65712621bd60e079b488d73 commit r10-10210-g139bafaaba0c775ca65712621bd60e079b488d73 Author: Patrick

[Bug libstdc++/100187] Helper lambda in ranges_algo.h misses forwarding return type

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100187 --- Comment #7 from CVS Commits --- The releases/gcc-10 branch has been updated by Patrick Palka : https://gcc.gnu.org/g:139bafaaba0c775ca65712621bd60e079b488d73 commit r10-10210-g139bafaaba0c775ca65712621bd60e079b488d73 Author: Patrick Palka

[Bug libstdc++/100237] Unnecessary std::move in ranges::min, ranges::max and ranges::minmax

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100237 --- Comment #4 from CVS Commits --- The releases/gcc-10 branch has been updated by Patrick Palka : https://gcc.gnu.org/g:139bafaaba0c775ca65712621bd60e079b488d73 commit r10-10210-g139bafaaba0c775ca65712621bd60e079b488d73 Author: Patrick Palka

[Bug libstdc++/100287] Using iterator after std::move in ranges::partition

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100287 --- Comment #3 from CVS Commits --- The releases/gcc-11 branch has been updated by Patrick Palka : https://gcc.gnu.org/g:cb261f0e8fc08fb49f74002582ad5713cda684f7 commit r11-9145-gcb261f0e8fc08fb49f74002582ad5713cda684f7 Author: Patrick Palka

[Bug libstdc++/100249] missing forwarding std::__invoke result in ranges::is_permutation and ranges::clamp

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100249 --- Comment #10 from CVS Commits --- The releases/gcc-11 branch has been updated by Patrick Palka : https://gcc.gnu.org/g:cb261f0e8fc08fb49f74002582ad5713cda684f7 commit r11-9145-gcb261f0e8fc08fb49f74002582ad5713cda684f7 Author: Patrick Palka

[Bug libstdc++/100237] Unnecessary std::move in ranges::min, ranges::max and ranges::minmax

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100237 --- Comment #3 from CVS Commits --- The releases/gcc-11 branch has been updated by Patrick Palka : https://gcc.gnu.org/g:cb261f0e8fc08fb49f74002582ad5713cda684f7 commit r11-9145-gcb261f0e8fc08fb49f74002582ad5713cda684f7 Author: Patrick Palka

[Bug libstdc++/100187] Helper lambda in ranges_algo.h misses forwarding return type

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100187 --- Comment #6 from CVS Commits --- The releases/gcc-11 branch has been updated by Patrick Palka : https://gcc.gnu.org/g:cb261f0e8fc08fb49f74002582ad5713cda684f7 commit r11-9145-gcb261f0e8fc08fb49f74002582ad5713cda684f7 Author: Patrick Palka

[Bug middle-end/26163] [meta-bug] missed optimization in SPEC (2k17, 2k and 2k6 and 95)

2021-10-13 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=26163 Bug 26163 depends on bug 90364, which changed state. Bug 90364 Summary: 521.wrf_r is 8-17% slower with PGO at -Ofast and native march/mtune https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90364 What|Removed

[Bug gcov-profile/90364] 521.wrf_r is 8-17% slower with PGO at -Ofast and native march/mtune

2021-10-13 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90364 Martin Liška changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

Re: [PATCH v2 0/4] libffi: Sync with upstream

2021-10-13 Thread H.J. Lu via Gcc-patches
On Wed, Oct 13, 2021 at 6:03 AM Richard Biener wrote: > > On Wed, Oct 13, 2021 at 2:56 PM H.J. Lu wrote: > > > > On Wed, Oct 13, 2021 at 5:45 AM Richard Biener > > wrote: > > > > > > On Thu, Sep 2, 2021 at 5:50 PM H.J. Lu wrote: > > > > > > > > Change in the v2 patch: > > > > > > > > 1.

[Bug target/93934] Unnecessary fld of uninitialized float stack variable results in ub of valid C++ code

2021-10-13 Thread vajdaz at protonmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93934 --- Comment #12 from Zoltan Vajda --- Using -mfpmath=sse here does not help on a 32 bit platfrom. https://gcc.godbolt.org/z/hs1Ef6aj4 At line 31 the assembly code performs the speculative load.

[Bug modula2/102340] gm2 test sources shouldn't be executable

2021-10-13 Thread gaiusmod2 at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102340 Gaius Mulley changed: What|Removed |Added CC||gaiusmod2 at gmail dot com --- Comment

Re: [PATCH] options: Fix variable tracking option processing.

2021-10-13 Thread Richard Biener via Gcc-patches
On Wed, Oct 13, 2021 at 3:12 PM Martin Liška wrote: > > On 10/13/21 14:50, Richard Biener wrote: > > It does, yes. But that's a ^ with flag_var_tracking_assignments_toggle;) > > > > It's also one of the more weird flags, so it could be applied after the > > otherwise single set of

[Bug gcov-profile/90364] 521.wrf_r is 8-17% slower with PGO at -Ofast and native march/mtune

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90364 --- Comment #12 from CVS Commits --- The master branch has been updated by Martin Liska : https://gcc.gnu.org/g:72e0c742bd01f8e7e6dcca64042b9ad7e75979de commit r12-4372-g72e0c742bd01f8e7e6dcca64042b9ad7e75979de Author: Martin Liska Date:

Re: [PATCH] gcov: make profile merging smarter

2021-10-13 Thread Martin Liška
On 10/11/21 16:05, Martin Liška wrote: May I install the patch now? Pushed to master, I guess we can tweak documentation in the future if needed. Martin

Re: [PATCH] options: Fix variable tracking option processing.

2021-10-13 Thread Martin Liška
On 10/13/21 14:50, Richard Biener wrote: It does, yes. But that's a ^ with flag_var_tracking_assignments_toggle;) It's also one of the more weird flags, so it could be applied after the otherwise single set of flag_var_tracking_assignments ... Well, it's far from being simple. Can we please

Re: [arm] Fix MVE addressing modes for VLDR[BHW] and VSTR[BHW]

2021-10-13 Thread Andre Vieira (lists) via Gcc-patches
On 13/10/2021 13:37, Kyrylo Tkachov wrote: Hi Andre, @@ -24276,7 +24271,7 @@ arm_print_operand (FILE *stream, rtx x, int code) else if (code == POST_MODIFY || code == PRE_MODIFY) { asm_fprintf (stream, "[%r", REGNO (XEXP (addr, 0))); - postinc_reg =

[Bug target/102688] [12 regression] gcc.dg/ipa/iinline-attr.c fails after r12-4288

2021-10-13 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102688 Martin Liška changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

Re: [PATCH v2 0/4] libffi: Sync with upstream

2021-10-13 Thread Richard Biener via Gcc-patches
On Wed, Oct 13, 2021 at 2:56 PM H.J. Lu wrote: > > On Wed, Oct 13, 2021 at 5:45 AM Richard Biener > wrote: > > > > On Thu, Sep 2, 2021 at 5:50 PM H.J. Lu wrote: > > > > > > Change in the v2 patch: > > > > > > 1. Disable static trampolines by default. > > > > > > > > > GCC maintained a copy of

[Bug target/102688] [12 regression] gcc.dg/ipa/iinline-attr.c fails after r12-4288

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102688 --- Comment #3 from CVS Commits --- The master branch has been updated by Martin Liska : https://gcc.gnu.org/g:e415bc4c035b1b655cf2cafcbe515382d1cefc93 commit r12-4370-ge415bc4c035b1b655cf2cafcbe515382d1cefc93 Author: Martin Liska Date:

[Bug modula2/102339] gm2 testsuite leaves many files behind

2021-10-13 Thread gaiusmod2 at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102339 --- Comment #1 from Gaius Mulley --- Confirmed as a bug and now fixed in the repository - many thanks for the report.

Re: [PATCH v2 0/4] libffi: Sync with upstream

2021-10-13 Thread H.J. Lu via Gcc-patches
On Wed, Oct 13, 2021 at 5:45 AM Richard Biener wrote: > > On Thu, Sep 2, 2021 at 5:50 PM H.J. Lu wrote: > > > > Change in the v2 patch: > > > > 1. Disable static trampolines by default. > > > > > > GCC maintained a copy of libffi snapshot from 2009 and cherry-picked fixes > > from upstream over

RE: [PATCH 4/7]AArch64 Add pattern xtn+xtn2 to uzp2

2021-10-13 Thread Kyrylo Tkachov via Gcc-patches
> -Original Message- > From: Tamar Christina > Sent: Wednesday, October 13, 2021 12:06 PM > To: Kyrylo Tkachov ; gcc-patches@gcc.gnu.org > Cc: nd ; Richard Earnshaw ; > Marcus Shawcroft ; Richard Sandiford > > Subject: RE: [PATCH 4/7]AArch64 Add pattern xtn+xtn2 to uzp2 > > > > > Hmmm

Re: [PATCH] options: Fix variable tracking option processing.

2021-10-13 Thread Richard Biener via Gcc-patches
On Wed, Oct 13, 2021 at 1:59 PM Martin Liška wrote: > > On 10/13/21 10:47, Richard Biener wrote: > > Let's split this;) The debug_inline_points part is OK. > > Fine. > > > > > How can debug_variable_location_views be ever -1? But the > > debug_variable_location_views part looks OK as well. > >

[Bug target/93934] Unnecessary fld of uninitialized float stack variable results in ub of valid C++ code

2021-10-13 Thread ubizjak at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93934 --- Comment #11 from Uroš Bizjak --- (In reply to Zoltan Vajda from comment #9) > As I understand it, it is acknowledged, that this is a bug. However, the > issue is in state NEW for a quite long time. The issue is still present in > GCC 11.2.

Re: [PATCH v2 0/4] libffi: Sync with upstream

2021-10-13 Thread Richard Biener via Gcc-patches
On Thu, Sep 2, 2021 at 5:50 PM H.J. Lu wrote: > > Change in the v2 patch: > > 1. Disable static trampolines by default. > > > GCC maintained a copy of libffi snapshot from 2009 and cherry-picked fixes > from upstream over the last 10+ years. In the meantime, libffi upstream > has been changed

RE: [arm] Fix MVE addressing modes for VLDR[BHW] and VSTR[BHW]

2021-10-13 Thread Kyrylo Tkachov via Gcc-patches
Hi Andre, > -Original Message- > From: Andre Vieira (lists) > Sent: Tuesday, October 12, 2021 5:42 PM > To: gcc-patches@gcc.gnu.org > Cc: Kyrylo Tkachov ; Christophe Lyon > > Subject: [arm] Fix MVE addressing modes for VLDR[BHW] and VSTR[BHW] > > Hi, > > The way we were previously

Re: [PATCH v4] Improve integer bit test on __atomic_fetch_[or|and]_* returns

2021-10-13 Thread Richard Biener via Gcc-patches
On Sun, Oct 10, 2021 at 3:49 PM H.J. Lu wrote: > > Changes in v4: > > 1. Bypass redundant check when inputs have been transformed to the > equivalent canonical form with valid bit operation. > > Changes in v3: > > 1. Check invalid bit operation. > > commit

Re: Seeking help for contributions and joining open-source community

2021-10-13 Thread Vaibhav Malik via Gcc
Thank you for letting me know. On Wed, 13 Oct 2021, 17:00 Martin Jambor, wrote: > Hello, > > On Wed, Oct 13 2021, Vaibhav Malik via Gcc wrote: > > Hey! > > > > I am an electrical engineering student. I came across the GNU octave a > few > > months back and I want to contribute to improving the

[PATCH] Add GSI_LAST_NEW_STMT iterator update

2021-10-13 Thread Richard Biener via Gcc-patches
Currently when adding a sequence before there's no way to get the iterator placed at the last added stmt which results in convoluted code in the if-conversion usecase. The following adds GSI_LAST_NEW_STMT and corrects one obvious mistake in execute_update_addresses_taken as well as tries to avoid

RE: [PATCH 5/7]middle-end Convert bitclear + cmp #0 into cm

2021-10-13 Thread Richard Biener via Gcc-patches
On Tue, 5 Oct 2021, Tamar Christina wrote: > Hi All, > > Here's a new version of the patch handling both scalar and vector modes > and non-uniform constant vectors. > > Bootstrapped Regtested on aarch64-none-linux-gnu, > x86_64-pc-linux-gnu and no regressions. > > In order to not break IVopts

[Bug c++/102724] ICE in genericize_spaceship, at cp/method.c:1089

2021-10-13 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102724 Martin Liška changed: What|Removed |Added CC||jason at gcc dot gnu.org,

[Bug tree-optimization/102711] [9/10/11 Regression] CDDCE removes condition that might lead to an infinite loop causing an unconditional infinite loop

2021-10-13 Thread rguenther at suse dot de via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102711 --- Comment #5 from rguenther at suse dot de --- On Wed, 13 Oct 2021, marxin at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102711 > > Martin Liška changed: > >What|Removed

[Bug fortran/102715] [12 Regression] ICE in gfc_simplify_transpose, at fortran/simplify.c:8184 since r12-4278-g74ccca380cde5e79

2021-10-13 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102715 Martin Liška changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

RE: [PATCH]middle-end convert negate + right shift into compare greater.

2021-10-13 Thread Richard Biener via Gcc-patches
On Mon, 11 Oct 2021, Tamar Christina wrote: > Hi all, > > Here's a new version of the patch. > > > >>> " If an exceptional condition occurs during the evaluation of an > > >>> expression > > >> (that is, if the result is not mathematically defined or not in the > > >> range of representable

[Bug tree-optimization/102711] [9/10/11 Regression] CDDCE removes condition that might lead to an infinite loop causing an unconditional infinite loop

2021-10-13 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102711 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org --- Comment

[Bug c++/102709] [11/12 Regression] ICE: in build_function_type with parameter packs not expanded in constructor while doing auto deduction since r11-2748-gb871301f09be7061

2021-10-13 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102709 Martin Liška changed: What|Removed |Added Summary|[11/12 Regression] ICE: in |[11/12 Regression] ICE: in

[Bug c++/102721] out-of-line member function definition fails to allow lambda in unevaluated-context of new feature in c++20

2021-10-13 Thread nickhuang99 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102721 --- Comment #5 from qingzhe huang --- (In reply to qingzhe huang from comment #4) > (In reply to Andrew Pinski from comment #2) > > Note it is not array related either: > > template<> > > void A::foo(const decltype(+[]{})) > > {} > > Yes, it

Re: [PATCH] options: Fix variable tracking option processing.

2021-10-13 Thread Martin Liška
On 10/13/21 10:47, Richard Biener wrote: Let's split this;) The debug_inline_points part is OK. Fine. How can debug_variable_location_views be ever -1? But the debug_variable_location_views part looks OK as well. It comes from here: gvariable-location-views=incompat5 Common Driver

[Bug fortran/102727] New: Warning for guaranteed interoperable type kind

2021-10-13 Thread jahns at dkrz dot de via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102727 Bug ID: 102727 Summary: Warning for guaranteed interoperable type kind Product: gcc Version: 11.1.0 Status: UNCONFIRMED Severity: normal Priority: P3

Re: [PATCH] Fix handling of flag_rename_registers.

2021-10-13 Thread Richard Biener via Gcc-patches
On Wed, Oct 13, 2021 at 12:02 PM Martin Liška wrote: > > On 10/13/21 10:39, Richard Biener wrote: > > On Tue, Oct 12, 2021 at 5:11 PM Martin Liška wrote: > >> > >> On 10/12/21 15:37, Richard Biener wrote: > >>> by adding EnabledBy(funroll-loops) to the respective options instead > >>> (and

[Bug c++/102726] New: Does not warn for enum constant in boolean context

2021-10-13 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102726 Bug ID: 102726 Summary: Does not warn for enum constant in boolean context Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3

[Bug tree-optimization/102725] -fno-builtin leads to call of strlen since r12-4283-g6f966f06146be768

2021-10-13 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102725 --- Comment #4 from Richard Biener --- I think that 'strlen' is only used when it is explicitely declared. Hmm, maybe I'm mistaken and it's 'implicit' already because it is standard. So loop distribution could check for

Re: Seeking help for contributions and joining open-source community

2021-10-13 Thread Martin Jambor
Hello, On Wed, Oct 13 2021, Vaibhav Malik via Gcc wrote: > Hey! > > I am an electrical engineering student. I came across the GNU octave a few > months back and I want to contribute to improving the existing open-source > projects and be part of the community. > > I would appreciate it if someone

Re: [PATCH] tree-optimization/102659 - avoid undefined overflow after if-conversion

2021-10-13 Thread Richard Sandiford via Gcc-patches
Richard Biener writes: > On Wed, 13 Oct 2021, Richard Sandiford wrote: > >> Richard Biener via Gcc-patches writes: >> > The following makes sure to rewrite arithmetic with undefined behavior >> > on overflow to a well-defined variant when moving them to be always >> > executed as part of doing

[Bug tree-optimization/102659] -O2 vectorization if-conversion produces wrong code for gcc.dg/torture/pr69760.c

2021-10-13 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102659 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Known to work|

[Bug tree-optimization/102659] -O2 vectorization if-conversion produces wrong code for gcc.dg/torture/pr69760.c

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102659 --- Comment #5 from CVS Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:3c0194d7ff21d61c02f3c6b111c83ef24a69e1f0 commit r12-4369-g3c0194d7ff21d61c02f3c6b111c83ef24a69e1f0 Author: Richard Biener Date:

[Bug tree-optimization/102046] [10 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p, at gimple-expr.c:87 with -O3 -march=btver2 since r1

2021-10-13 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102046 Richard Biener changed: What|Removed |Added Known to fail||10.3.0 Resolution|---

[Bug tree-optimization/101925] [10 Regression] reversed storage order when compiling with -O3 only since r10-4742-g9b75f56d4b7951c6

2021-10-13 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101925 Richard Biener changed: What|Removed |Added Known to work||10.3.1 Status|ASSIGNED

[Bug tree-optimization/102046] [10 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p, at gimple-expr.c:87 with -O3 -march=btver2 since r1

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102046 --- Comment #8 from CVS Commits --- The releases/gcc-10 branch has been updated by Richard Biener : https://gcc.gnu.org/g:967219bb3ef1869f6bd1c5efffea65544a310836 commit r10-10208-g967219bb3ef1869f6bd1c5efffea65544a310836 Author: Richard

[Bug tree-optimization/101925] [10 Regression] reversed storage order when compiling with -O3 only since r10-4742-g9b75f56d4b7951c6

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101925 --- Comment #12 from CVS Commits --- The releases/gcc-10 branch has been updated by Richard Biener : https://gcc.gnu.org/g:66615029ec831da23b481cd3a01e90cff02c6891 commit r10-10207-g66615029ec831da23b481cd3a01e90cff02c6891 Author: Richard

[Bug tree-optimization/101373] PRE hoists trapping instructions over possibly throwing calls

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101373 --- Comment #18 from CVS Commits --- The releases/gcc-10 branch has been updated by Richard Biener : https://gcc.gnu.org/g:95a95ec274cd0ec125ce48ab002fad4e400e345b commit r10-10206-g95a95ec274cd0ec125ce48ab002fad4e400e345b Author: Richard

[Bug tree-optimization/101868] [9/10 Regression] Incorrect reordering in -O2 with LTO

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101868 --- Comment #12 from CVS Commits --- The releases/gcc-10 branch has been updated by Richard Biener : https://gcc.gnu.org/g:95a95ec274cd0ec125ce48ab002fad4e400e345b commit r10-10206-g95a95ec274cd0ec125ce48ab002fad4e400e345b Author: Richard

[Bug tree-optimization/101824] [9/10 Regression] VOLATILE not honored

2021-10-13 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101824 --- Comment #6 from CVS Commits --- The releases/gcc-10 branch has been updated by Richard Biener : https://gcc.gnu.org/g:a68a1e06f2eea2f510649aa9bbb17303ef1efb9c commit r10-10205-ga68a1e06f2eea2f510649aa9bbb17303ef1efb9c Author: Richard

Re: [PATCH] tree-optimization/102659 - avoid undefined overflow after if-conversion

2021-10-13 Thread Richard Biener via Gcc-patches
On Wed, 13 Oct 2021, Richard Sandiford wrote: > Richard Biener via Gcc-patches writes: > > The following makes sure to rewrite arithmetic with undefined behavior > > on overflow to a well-defined variant when moving them to be always > > executed as part of doing if-conversion for loop

RE: [PATCH 4/7]AArch64 Add pattern xtn+xtn2 to uzp2

2021-10-13 Thread Tamar Christina via Gcc-patches
> > Hmmm these patterns are identical in what they match they just have the > effect of printing operands 1 and 2 in a different order. > Perhaps it's more compact to change the output template into a > BYTES_BIG_ENDIAN ? > "uzp1\\t%0., %1., %2."" : > uzp1\\t%0., %2., %1." > and avoid having a

[Bug target/93934] Unnecessary fld of uninitialized float stack variable results in ub of valid C++ code

2021-10-13 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93934 Richard Biener changed: What|Removed |Added CC||uros at gcc dot gnu.org --- Comment

[Bug tree-optimization/102714] [11 Regression] A volatile-related problem cased by ipa inline pass

2021-10-13 Thread duan.db at linux dot alibaba.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102714 --- Comment #5 from Bo Duan --- The patch works. Thanks you.

[Bug target/98478] AVX512 refactoring integer mask with VnBImode

2021-10-13 Thread crazylht at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98478 --- Comment #4 from Hongtao.liu --- Arm implemented vector boolean mode in https://gcc.gnu.org/pipermail/gcc-patches/2021-October/581534.html

Re: [PATCH] tree-optimization/102659 - avoid undefined overflow after if-conversion

2021-10-13 Thread Richard Sandiford via Gcc-patches
Richard Biener via Gcc-patches writes: > The following makes sure to rewrite arithmetic with undefined behavior > on overflow to a well-defined variant when moving them to be always > executed as part of doing if-conversion for loop vectorization. > > Bootstrapped and tested on

[PATCH v2 14/14] arm: Add VPR_REG to ALL_REGS

2021-10-13 Thread Christophe Lyon via Gcc-patches
VPR_REG should be part of ALL_REGS, this patch fixes this omission. 2021-10-13 Christophe Lyon gcc/ * config/arm/arm.h (REG_CLASS_CONTENTS): Add VPR_REG to ALL_REGS. diff --git a/gcc/config/arm/arm.h b/gcc/config/arm/arm.h index eae1b1cd0fb..fab39d05916 100644 ---

[PATCH v2 13/14] arm: Convert more MVE/CDE builtins to predicate qualifiers

2021-10-13 Thread Christophe Lyon via Gcc-patches
This patch covers a few non-load/store builtins where we do not use the iterator and thus we cannot use . We need to update the expected code in cde-mve-full-assembly.c because we now use mve_movv16qi instead of movhi to generate the vmsr instruction. 2021-10-13 Christophe Lyon gcc/

[PATCH v2 12/14] arm: Convert more load/store MVE builtins to predicate qualifiers

2021-10-13 Thread Christophe Lyon via Gcc-patches
This patch covers a few builtins where we do not use the iterator and thus we cannot use . For v2di instructions, we use the V8BI mode for predicates. 2021-10-13 Christophe Lyon gcc/ PR target/100757 PR target/101325 * config/arm/arm-builtins.c

[Bug target/93934] Unnecessary fld of uninitialized float stack variable results in ub of valid C++ code

2021-10-13 Thread vajdaz at protonmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93934 --- Comment #9 from Zoltan Vajda --- As I understand it, it is acknowledged, that this is a bug. However, the issue is in state NEW for a quite long time. The issue is still present in GCC 11.2. Do you see any chances for some progress in this

[PATCH v2 10/14] arm: Convert remaining MVE vcmp builtins to predicate qualifiers

2021-10-13 Thread Christophe Lyon via Gcc-patches
This is mostly a mechanical change, only tested by the intrinsics expansion tests. 2021-10-13 Christophe Lyon gcc/ PR target/100757 PR target/101325 * config/arm/arm-builtins.c (BINOP_UNONE_NONE_NONE_QUALIFIERS): Delete.

[PATCH v2 09/14] arm: Fix vcond_mask expander for MVE (PR target/100757)

2021-10-13 Thread Christophe Lyon via Gcc-patches
The problem in this PR is that we call VPSEL with a mask of vector type instead of HImode. This happens because operand 3 in vcond_mask is the pre-computed vector comparison and has vector type. This patch fixes it by implementing TARGET_VECTORIZE_GET_MASK_MODE, returning the appropriate VxBI

Re: [PATCH 06/13] arm: Fix mve_vmvnq_n_ argument mode

2021-10-13 Thread Christophe Lyon via Gcc-patches
On Mon, Oct 11, 2021 at 4:10 PM Richard Sandiford via Gcc-patches < gcc-patches@gcc.gnu.org> wrote: > Christophe Lyon via Gcc-patches writes: > > The vmvnq_n* intrinsics and have [u]int[16|32]_t arguments, so use > > iterator instead of HI in mve_vmvnq_n_. > > > > 2021-09-03 Christophe Lyon

[PATCH v2 08/14] arm: Implement auto-vectorized MVE comparisons with vectors of boolean predicates

2021-10-13 Thread Christophe Lyon via Gcc-patches
We make use of qualifier_predicate to describe MVE builtins prototypes, restricting to auto-vectorizable vcmp* and vpsel builtins, as they are exercised by the tests added earlier in the series. Special handling is needed for mve_vpselq because it has a v2di variant, which has no natural VPR.P0

[PATCH v2 07/14] arm: Implement MVE predicates as vectors of booleans

2021-10-13 Thread Christophe Lyon via Gcc-patches
This patch implements support for vectors of booleans to support MVE predicates, instead of HImode. Since the ABI mandates pred16_t (aka uint16_t) to represent predicates in intrinsics prototypes, we introduce a new "predicate" type qualifier so that we can map relevant builtins HImode arguments

[PATCH v2 06/14] arm: Fix mve_vmvnq_n_ argument mode

2021-10-13 Thread Christophe Lyon via Gcc-patches
The vmvnq_n* intrinsics and have [u]int[16|32]_t arguments, so use iterator instead of HI in mve_vmvnq_n_. 2021-10-13 Christophe Lyon gcc/ * config/arm/mve.md (mve_vmvnq_n_): Use V_elem mode for operand 1. diff --git a/gcc/config/arm/mve.md b/gcc/config/arm/mve.md

[PATCH v2 05/14] arm: Add support for VPR_REG in arm_class_likely_spilled_p

2021-10-13 Thread Christophe Lyon via Gcc-patches
VPR_REG is the only register in its class, so it should be handled by TARGET_CLASS_LIKELY_SPILLED_P, which is achieved by calling default_class_likely_spilled_p. No test fails without this patch, but it seems it should be implemented. 2021-10-13 Christophe Lyon gcc/ *

[PATCH v2 04/14] arm: Add GENERAL_AND_VPR_REGS regclass

2021-10-13 Thread Christophe Lyon via Gcc-patches
At some point during the development of this patch series, it appeared that in some cases the register allocator wants “VPR or general” rather than “VPR or general or FP” (which is the same thing as ALL_REGS). The series does not seem to require this anymore, but it seems to be a good thing to do

[PATCH v2 03/14] arm: Add tests for PR target/101325

2021-10-13 Thread Christophe Lyon via Gcc-patches
These tests are derived from the one provided in the PR: there is a compile-only test because I did not have access to anything that could execute MVE code until recently. I have been able to add an executable test since QEMU supports MVE. Instead of adding arm_v8_1m_mve_hw, I update arm_mve_hw

[PATCH v2 02/14] arm: Add tests for PR target/100757

2021-10-13 Thread Christophe Lyon via Gcc-patches
These tests currently trigger an ICE which is fixed later in the patch series. The pr100757*.c testcases are derived from gcc.c-torture/compile/20160205-1.c, forcing the use of MVE, and using various types and return values different from 0 and 1 to avoid commonalization with boolean masks. In

[PATCH v2 01/14] arm: Add new tests for comparison vectorization with Neon and MVE

2021-10-13 Thread Christophe Lyon via Gcc-patches
This patch mainly adds Neon tests similar to existing MVE ones, to make sure we do not break Neon when fixing MVE. mve-vcmp-f32-2.c is similar to mve-vcmp-f32.c but uses a conditional with 2.0f and 3.0f constants to help scan-assembler-times. 2021-10-13 Christophe Lyon gcc/testsuite/

[PATCH v2 00/14] ARM/MVE use vectors of boolean for predicates

2021-10-13 Thread Christophe Lyon via Gcc-patches
This is v2 of this patch series, addressing the comments I received. The changes v1 -> v2 are: - Patch 3: added an executable test, and updated check_effective_target_arm_mve_hw - Patch 4: split into patch 4 and patch 14 (to keep numbering the same for the other patches) - Patch 5: updated

[Bug tree-optimization/102720] [12 regression] gcc.dg/tree-ssa/ldist-strlen-1.c and ldist-strlen-2.c fail after r12-4324

2021-10-13 Thread stefansf at linux dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102720 Stefan Schulze Frielinghaus changed: What|Removed |Added CC||stefansf at linux dot

[Bug tree-optimization/101105] [9 Regression] wrong code at -O3 on x86_64-linux-gnu

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

[Bug tree-optimization/101001] [9/10/11/12 Regression] wrong code at -O3 on x86_64-linux-gnu

2021-10-13 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101001 Bug 101001 depends on bug 100934, which changed state. Bug 100934 Summary: [9 Regression] wrong code at -O3 during unrolling since r9-6299 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100934 What|Removed

[Bug tree-optimization/100934] [9 Regression] wrong code at -O3 during unrolling since r9-6299

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

[Bug tree-optimization/100509] [9 Regression] ICE at -O3: in fold_convert_loc with variable (attribute) alias of different types

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

[Bug tree-optimization/101394] [9 Regression] ICE on valid code with -O2: SSA corruption: Unable to coalesce ssa_names 10 and 19 which are marked as MUST COALESCE.

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

[Bug tree-optimization/101173] [9 Regression] wrong code at -O3 on x86_64-linux-gnu

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

<    1   2   3   >