[Bug c++/98216] [C++20] std::array template parameter error with negative values

2020-12-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98216 --- Comment #2 from Jonathan Wakely --- Reduced: template struct array { constexpr T& operator[](int n) { return d[n]; } constexpr const T& operator[](int n) const { return d[n]; } constexpr bool operator==(const array& a) const {

[PATCH]Arm: Add NEON and MVE RTL patterns for Complex Addition, Multiply and FMA. Fix mve types Fix mve patterns

2020-12-10 Thread Tamar Christina via Gcc-patches
Hi All, This adds implementation for the optabs for complex additions. With this the following C code: void f90 (float complex a[restrict N], float complex b[restrict N], float complex c[restrict N]) { for (int i=0; i < N; i++) c[i] = a[i] + (b[i] * I); } generates

[PATCH]AArch64: Add NEON, SVE and SVE2 RTL patterns for Complex Addition, Multiply and FMA.

2020-12-10 Thread Tamar Christina via Gcc-patches
Hi All, This adds implementation for the optabs for complex operations. With this the following C code: void f90 (float complex a[restrict N], float complex b[restrict N], float complex c[restrict N]) { for (int i=0; i < N; i++) c[i] = a[i] + (b[i] * I); } generates

[Bug tree-optimization/97104] [11 Regression] aarch64, SVE: ICE in vect_get_loop_mask since r11-3070-g783dc66f9cc

2020-12-10 Thread akrl at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97104 akrl at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever confirmed|0

Re: [PATCH 1/8 v4] Dead-field warning in structs at LTO-time

2020-12-10 Thread Martin Sebor via Gcc-patches
On 12/9/20 4:09 PM, Eric Gallager via Gcc-patches wrote: On Fri, Dec 4, 2020 at 4:58 AM Erick Ochoa < erick.oc...@theobroma-systems.com> wrote: This commit includes the following components: Type-based escape analysis to determine structs that can be modified at link-time. Field

[Bug libstdc++/98226] New: Slow std::countr_one

2020-12-10 Thread zaikin.icc at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98226 Bug ID: 98226 Summary: Slow std::countr_one Product: gcc Version: 10.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: libstdc++

[Bug c++/91415] Invalid warning for C++17 sequencing of shift operator E1<

2020-12-10 Thread nico at josuttis dot de via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91415 --- Comment #13 from Nicolai Josuttis --- Oh, sorry, your are right, the example indeed works. BUT: I used in fact a slightly different example (sorry, didn't expect that there is a difference): int main() { int i = 0; int j = i++ << i++;

[Bug libstdc++/71899] An internal BooleanTestable trait should be provided

2020-12-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71899 Jonathan Wakely changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

c++: modularize spelling suggestions

2020-12-10 Thread Nathan Sidwell
This augments the spelling suggestion code to understand about visible imported modules. Simply consider each visible binding in the binding_vector, until we find one that has something of interest. gcc/cp/ * name-lookup.c: Include bitmap.h. (enum binding_slots): New.

[Bug fortran/97723] type bound ASSIGNMENT(=) within select rank block wrongly rejected

2020-12-10 Thread pault at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97723 --- Comment #3 from Paul Thomas --- (In reply to Paul Thomas from comment #2) > > The fix regtests OK. I will commit as 'obvious' with a test case in the next > day or two. Cancel that, there is one regression. Paul

Re: [PATCH v5] Practical Improvement to libgcc Complex Divide

2020-12-10 Thread Patrick McGehearty via Gcc-patches
Thank you for your rapid feedback. I'll fix the various formatting issues (spaces in the wrong places and such as well as revise the Changelog magic) in the next submission. It will wait for Joseph's review to also make any changes he suggests. I'll also try to train myself to be more sensitive

[PATCH] c++: Diagnose unstable satisfaction results

2020-12-10 Thread Patrick Palka via Gcc-patches
This implements lightweight heuristical detection and diagnosing of satisfaction results that change at different points in the program, which renders the program as ill-formed NDR as of P2014. We've recently started to more aggressively cache satisfaction results, and so the goal here is to make

Re: RFC: ARM MVE and Neon auto-vectorization

2020-12-10 Thread Christophe Lyon via Gcc-patches
On Wed, 9 Dec 2020 at 17:47, Richard Sandiford wrote: > > Christophe Lyon via Gcc-patches writes: > > Hi, > > > > I've been working for a while on enabling auto-vectorization for ARM > > MVE, and I find it a bit awkward to keep things common with Neon as > > much as possible. > > > > I've just

[Bug libstdc++/71899] An internal BooleanTestable trait should be provided

2020-12-10 Thread daniel.kruegler at googlemail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71899 --- Comment #6 from Daniel Krügler --- (In reply to Jonathan Wakely from comment #5) > LWG 2743 seems to be the wrong issue, I think https://wg21.link/lwg2114 is > the right one. Ah yes, this was an unintended mislinking on my side. Feel free

Re: [PATCH] libstdc++: Add C++ runtime support for new 128-bit long double format

2020-12-10 Thread Jonathan Wakely via Gcc-patches
On 04/12/20 00:35 +, Jonathan Wakely wrote: On 03/12/20 20:07 -0300, Tulio Magno Quites Machado Filho via Libstdc++ wrote: Jonathan Wakely via Libstdc++ writes: diff --git a/libstdc++-v3/configure.ac b/libstdc++-v3/configure.ac index cbfdf4c6bad..d25842fef35 100644 ---

[Bug c++/98220] LTO causes floating point exception

2020-12-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98220 --- Comment #12 from Jonathan Wakely --- (In reply to wuz73 from comment #11) > (In reply to Jonathan Wakely from comment #10) > > No it's, not a bug, because the C++ standard says the order is unspecified. > > The compiler is allowed to reorder

[Bug libstdc++/44952] #include implies global constructor.

2020-12-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44952 --- Comment #16 from Jonathan Wakely --- (In reply to Jonathan Wakely from comment #5) > 27.4 [iostream.objects] paragraph 2 > The results of including in a translation unit shall be as if > defined an instance of ios_base::Init with static

[Bug fortran/35718] deallocating non-allocated pointer target does not fail

2020-12-10 Thread pault at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35718 Paul Thomas changed: What|Removed |Added Assignee|pault at gcc dot gnu.org |unassigned at gcc dot gnu.org ---

[Bug fortran/97723] type bound ASSIGNMENT(=) within select rank block wrongly rejected

2020-12-10 Thread pault at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97723 Paul Thomas changed: What|Removed |Added Last reconfirmed||2020-12-10 Assignee|unassigned

[Bug fortran/97723] type bound ASSIGNMENT(=) within select rank block wrongly rejected

2020-12-10 Thread pault at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97723 Paul Thomas changed: What|Removed |Added CC||pault at gcc dot gnu.org --- Comment #1

[Bug c++/98220] LTO causes floating point exception

2020-12-10 Thread wuz73 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98220 --- Comment #11 from wuz73 at hotmail dot com --- (In reply to Jonathan Wakely from comment #10) > No it's, not a bug, because the C++ standard says the order is unspecified. > The compiler is allowed to reorder them, and that's what happens with

Re: [PATCH] Add -Wtsan.

2020-12-10 Thread Martin Sebor via Gcc-patches
On 12/9/20 2:24 AM, Martin Liška wrote: Hello. The newly added warning is about warning a user that std::atomic_thread_fence is not supported by TSAN. Patch can bootstrap on x86_64-linux-gnu and survives regression tests. Ready to be installed? Thanks, Martin gcc/ChangeLog: PR

Re: [PATCH][Arm] Auto-vectorization for MVE: vsub

2020-12-10 Thread Dennis Zhang via Gcc-patches
Hi Christophe, > From: Christophe Lyon > Sent: Monday, November 9, 2020 1:38 PM > To: Dennis Zhang > Cc: Kyrylo Tkachov; gcc-patches@gcc.gnu.org; Richard Earnshaw; nd; Ramana > Radhakrishnan > Subject: Re: [PATCH][Arm] Auto-vectorization for MVE: vsub > > Hi, > > I have just noticed that the

[Bug target/97727] bf16_vstN_lane_2 test fails on aarch64_be

2020-12-10 Thread akrl at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97727 akrl at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED

Ping x2: [PATCH 2/2] Power10: Add IEEE 128-bit fp conditional move

2020-12-10 Thread Michael Meissner via Gcc-patches
This needs the first patch in the series to be applied first. This patch is not critical for enabling IEEE 128-bit long double, but it does improve float128 code generation on power10. I haven't received a reply for this patch: | Date: Sun, 15 Nov 2020 23:53:20 -0500 | Subject: [PATCH 2/2]

Ping x2: [PATCH 1/2] Power10: Add IEEE 128-bit xsmaxcqp and xsmincqp support.

2020-12-10 Thread Michael Meissner via Gcc-patches
This patch has been around for quite some time. It isn't critical for enabling IEEE 128-bit long double, but it improves code generation for float128 on power10. I haven't received a reply for this patch: | Date: Sun, 15 Nov 2020 23:50:51 -0500 | Subject: [PATCH 1/2] Power10: Add IEEE 128-bit

[committed][Patch]arm: Fix typo in testcase mve-vsub_1.c

2020-12-10 Thread Dennis Zhang via Gcc-patches
This patch fixes a typo reported at https://gcc.gnu.org/pipermail/gcc-patches/2020-November/558478.html gcc/testsuite/ * gcc.target/arm/simd/mve-vsub_1.c: Fix typo. Remove needless dg-additional-options. Cheers, Dennisdiff --git a/gcc/testsuite/gcc.target/arm/simd/mve-vsub_1.c

Re: [PATCH] [WIP] openmp: Add OpenMP 5.0 task detach clause support

2020-12-10 Thread Jakub Jelinek via Gcc-patches
On Thu, Dec 10, 2020 at 03:38:40PM +0100, Jakub Jelinek via Gcc-patches wrote: > I don't understand this. My reading of: > "The event-handle will be considered as if it was specified on a > firstprivate clause. The use of a variable in a detach clause expression of a > task > construct causes an

Ping x2: [PATCH] PowerPC: Set long double size for IBM/IEEE.

2020-12-10 Thread Michael Meissner via Gcc-patches
This patch isn't critical for IEEE 128-bit long double, but it is a feature Jonathan Wakely asked for, to have a single switch to enable IEEE/IBM 128-bit long double, without having to set the long double size. I haven't received a replay for this patch: | Date: Thu, 19 Nov 2020 19:00:11 -0500 |

Ping x2: [PATCH] PowerPC: Add float128/Decimal conversions

2020-12-10 Thread Michael Meissner via Gcc-patches
This is one of the critical patches for enabling IEEE 128-bit long double. I haven't received a reply for this patch: | Date: Thu, 19 Nov 2020 19:05:24 -0500 | Subject: [PATCH] PowerPC: Add float128/Decimal conversions | Message-ID: <2020112524.ga...@ibm-toto.the-meissners.org> |

[Bug libstdc++/96710] __int128 vs

2020-12-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96710 Jonathan Wakely changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

Ping x2: [PATCH] PowerPC: Map IEEE 128-bit long double built-in functions

2020-12-10 Thread Michael Meissner via Gcc-patches
This patch is one of the critical patches to enable building GCC with the long double type set to IEEE 128-bit. I haven't received a response for this patch: | Date: Thu, 19 Nov 2020 18:58:14 -0500 | Subject: [PATCH] PowerPC: Map IEEE 128-bit long double built-in functions | Message-ID:

Re: No warning for module global variable which is set but never used

2020-12-10 Thread David Brown
On 10/12/2020 16:10, webmaster wrote: (As a general rule, you'll get more useful responses if you use your name in your posts. It's common courtesy.) > Is it possible to request such feature? > Of course you can file a request for it. Go to the gcc bugzilla site:

[Bug tree-optimization/98174] [11 Regression] Ranger takes too much memory

2020-12-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98174 --- Comment #3 from Richard Biener --- (In reply to Richard Biener from comment #2) > Maybe related (didn't check yet), the testcases for PR91257 and PR93199 now > OOM at -O2 https://gcc.opensuse.org/gcc-old/c++bench-czerny/random/

[Bug tree-optimization/98174] [11 Regression] Ranger takes too much memory

2020-12-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98174 --- Comment #2 from Richard Biener --- Maybe related (didn't check yet), the testcases for PR91257 and PR93199 now OOM at -O2

[PATCH] ira.c: Fix ICE in ira-color [PR97092]

2020-12-10 Thread Andrea Corallo via Gcc-patches
Hi all, following discussion on PR97092 I'd like to submit the following patch with a fix plus associated testcase. With this patch applied mode is recomputed at each iteration while looping across different copies in 'update_costs_from_allocno', this instead of carrying mode over subsequent

[PATCH] varasm, v2: Reject soft frame or arg pointer registers for register vars [PR92469]

2020-12-10 Thread Jakub Jelinek via Gcc-patches
On Thu, Dec 10, 2020 at 12:00:17PM +0100, Jakub Jelinek wrote: > So, would it be better to check for one of FRAME_POINTER_REGNUM, > ARG_POINTER_REGNUM or RETURN_ADDRESS_POINTER_REGNUM if they > are mentioned in (from part of pairs in) ELIMINABLE_REGS? In patch form now: 2020-12-10 Jakub Jelinek

Re: No warning for module global variable which is set but never used

2020-12-10 Thread webmaster
Is it possible to request such feature? Am 09.12.2020 um 16:45 schrieb webmaster: > I have the following Code C\C++: > > static int foo = 0; > > static void bar(void) > { > foo = 1; > } > > Here it is clear for the compiler that the variable foo can only be > accessed from the same modul

[Bug c++/78173] Hard error subtracting pointers to incomplete type in SFINAE context

2020-12-10 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78173 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org

[Bug c++/68451] internal compiler error: Segmentation fault when using decltype with friend inside a class template

2020-12-10 Thread mpolacek at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68451 Marek Polacek changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[pushed] c++: Add fixed test [PR68451]

2020-12-10 Thread Marek Polacek via Gcc-patches
I was about to add this test with dg-ice but it turned out it had already been fixed by the recent r11-3361! Tested x86_64-pc-linux-gnu, applying to trunk. gcc/testsuite/ChangeLog: PR c++/68451 * g++.dg/cpp0x/friend6.C: New test. --- gcc/testsuite/g++.dg/cpp0x/friend6.C | 23

[Bug c++/68451] internal compiler error: Segmentation fault when using decltype with friend inside a class template

2020-12-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68451 --- Comment #4 from CVS Commits --- The master branch has been updated by Marek Polacek : https://gcc.gnu.org/g:e271cd0234d5db2f95c35454b8b29b6e8386caa8 commit r11-5912-ge271cd0234d5db2f95c35454b8b29b6e8386caa8 Author: Marek Polacek Date:

c++: name-lookup refactoring

2020-12-10 Thread Nathan Sidwell
Here are some refactorings to the name-lookup machinery. Primarily breakout out worker functions that the modules patch will also use. Fixing a couple of comments on the way. gcc/cp/ * name-lookup.c (pop_local_binding): Check for IDENTIFIER_ANON_P. (update_binding):

Re: [PATCH] dojump, v2: Fix up probabilities splitting in dojump.c comparison splitting [PR98212]

2020-12-10 Thread Eric Botcazou
> 2020-12-10 Jakub Jelinek > > PR rtl-optimization/98212 > * dojump.c (do_compare_rtx_and_jump): Change computation of > first_prob for and_them. Add comment explaining and_them case. > > * gcc.dg/predict-8.c: Adjust expected probability. OK, thanks. -- Eric

[Bug c++/68451] internal compiler error: Segmentation fault when using decltype with friend inside a class template

2020-12-10 Thread mpolacek at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68451 Marek Polacek changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |mpolacek at gcc dot gnu.org

Small fix to PLACEHOLDER_EXPR handling in loc_list_from_tree_1

2020-12-10 Thread Eric Botcazou
This case handles the discriminated record types of Ada: the PLACEHOLDER_EXPR is the "template" expression for the discriminant in the type definition. Now for some components, typically arrays whose upper bound is the discriminant, the compiler creates a local subtype for the component, so the

Re: [PATCH] dojump, v2: Fix up probabilities splitting in dojump.c comparison splitting [PR98212]

2020-12-10 Thread Jakub Jelinek via Gcc-patches
On Thu, Dec 10, 2020 at 03:18:54PM +0100, Eric Botcazou wrote: > OK, thanks, but aren't there missing TABs in the new version? Only one line > is changed in the end AFAICS. No, sorry, just me hand editing of the patch (and the source) instead of regenerating the patch (I had there prob.invert

[Bug target/97875] suboptimal loop vectorization

2020-12-10 Thread clyon at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97875 Christophe Lyon changed: What|Removed |Added Status|WAITING |ASSIGNED --- Comment #6 from

[Bug target/92729] [avr] Convert the backend to MODE_CC so it can be kept in future releases

2020-12-10 Thread abebeos at lazaridis dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92729 --- Comment #42 from abebeos at lazaridis dot com --- from Dimitar Dimitrov dimi...@dinux.eu within https://gcc.gnu.org/pipermail/gcc-patches/2020-December/561489.html > I tested the trees you have given with my own AVR test setup [1]. I confirm

Re: [PATCH] [WIP] openmp: Add OpenMP 5.0 task detach clause support

2020-12-10 Thread Jakub Jelinek via Gcc-patches
On Wed, Dec 09, 2020 at 05:37:24PM +, Kwok Cheung Yeung wrote: > --- a/gcc/c/c-typeck.c > +++ b/gcc/c/c-typeck.c > @@ -14942,6 +14942,11 @@ c_finish_omp_clauses (tree clauses, enum > c_omp_region_type ort) > pc = _CLAUSE_CHAIN (c); > continue; > > + case

[backport gcc-10][AArch64] ACLE bf16 get

2020-12-10 Thread Dennis Zhang via Gcc-patches
Hi all, This patch backports the commit 3553c658533e430b232997bdfd97faf6606fb102. The original is approved at https://gcc.gnu.org/pipermail/gcc-patches/2020-November/557871.html There is a change to remove FPCR-reading flag for builtin declaration since it's not supported in gcc-10. Another

[backport gcc-10][AArch64] ACLE bf16 convert

2020-12-10 Thread Dennis Zhang via Gcc-patches
Hi all, This patch backports the commit f7d6961126a7f06c8089d8a58bd21be43bc16806. The original is approved at https://gcc.gnu.org/pipermail/gcc-patches/2020-November/557859.html The only change is to remove FPCR-reading flags for builtin definition since it's not supported in gcc-10. Regtested

[Bug c++/64194] [C++14] for function template with auto return

2020-12-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64194 --- Comment #17 from CVS Commits --- The releases/gcc-10 branch has been updated by Patrick Palka : https://gcc.gnu.org/g:4fb1ee669ccaad16795baf25d2cab48d8cf8c1eb commit r10-9136-g4fb1ee669ccaad16795baf25d2cab48d8cf8c1eb Author: Patrick Palka

[Bug c++/98220] LTO causes floating point exception

2020-12-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98220 --- Comment #10 from Jonathan Wakely --- No it's, not a bug, because the C++ standard says the order is unspecified. The compiler is allowed to reorder them, and that's what happens with -flto.

[Bug bootstrap/95582] [11 Regression] LTO lean + PGO bootstrap is broken in Ada

2020-12-10 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95582 --- Comment #20 from Eric Botcazou --- > So I'm going to look at this again. Some random thoughts on the Ada bools > though. It would be nice if the Ada FE could leave boolean_type_node > untouched so that when the middle-end produces a

Re: [PATCH] dojump, v2: Fix up probabilities splitting in dojump.c comparison splitting [PR98212]

2020-12-10 Thread Eric Botcazou
> 2020-12-10 Jakub Jelinek > > PR rtl-optimization/98212 > * dojump.c (do_compare_rtx_and_jump): Change computation of > first_prob for and_them. Add comment explaining and_them case. > > * gcc.dg/predict-8.c: Adjust expected probability. > > --- gcc/dojump.c.jj

[Bug c++/98220] LTO causes floating point exception

2020-12-10 Thread wuz73 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98220 --- Comment #9 from wuz73 at hotmail dot com --- Without -flto I can specify link order. So -flto will ignore the order? It is still a bug as in many cases orders do matter.

[Bug bootstrap/95582] [11 Regression] LTO lean + PGO bootstrap is broken in Ada

2020-12-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95582 --- Comment #19 from Richard Biener --- So I'm going to look at this again. Some random thoughts on the Ada bools though. It would be nice if the Ada FE could leave boolean_type_node untouched so that when the middle-end produces a compare to

Re: [RFC] [avr] Toolchain Integration for Testsuite Execution (avr cc0 to mode_cc0 conversion)

2020-12-10 Thread abebeos via Gcc-patches
Στις Πέμ, 10 Δεκ 2020 στις 7:42 π.μ., ο/η Dimitar Dimitrov έγραψε: > On сряда, 9 декември 2020 г. 15:12:49 EET abebeos via Gcc-patches wrote: > > Essence: > > > > I need a confirmation that the testsuite setup as presented in: > > > > https://github.com/abebeos/avr-gnu > > > > works fine. > > >

[Bug target/95285] AArch64:aarch64 medium code model proposal

2020-12-10 Thread wdijkstr at arm dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95285 Wilco changed: What|Removed |Added CC||wdijkstr at arm dot com --- Comment #16 from

[Bug analyzer/97090] gcc.dg/analyzer/malloc-vs-local-1b.c fails on arm and powerpc64*-linux-gnu

2020-12-10 Thread ro at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97090 Rainer Orth changed: What|Removed |Added Target Milestone|--- |11.0 CC|

[Bug testsuite/98225] gcc.misc-tests/outputs.exp ltrans_args tests FAIL

2020-12-10 Thread ro at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98225 Rainer Orth changed: What|Removed |Added Target Milestone|--- |11.0

[Bug testsuite/98225] New: gcc.misc-tests/outputs.exp ltrans_args tests FAIL

2020-12-10 Thread ro at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98225 Bug ID: 98225 Summary: gcc.misc-tests/outputs.exp ltrans_args tests FAIL Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component:

[Bug testsuite/98224] [11 regression] gcc.dg/Walloca-2.c XPASSes

2020-12-10 Thread ro at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98224 Rainer Orth changed: What|Removed |Added Target Milestone|--- |11.0

[Bug testsuite/98224] New: [11 regression] gcc.dg/Walloca-2.c XPASSes

2020-12-10 Thread ro at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98224 Bug ID: 98224 Summary: [11 regression] gcc.dg/Walloca-2.c XPASSes Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component:

[Bug tree-optimization/91384] [8/9/10/11 Regression] Compare with negation is not eliminated

2020-12-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91384 --- Comment #10 from Richard Biener --- But then void foo (void); void bar (void); int test (int a) { if (a) foo (); else bar (); return -a; } is not optimized either (the usual argument - the user could have written it in the

[PATCH] dojump, v2: Fix up probabilities splitting in dojump.c comparison splitting [PR98212]

2020-12-10 Thread Jakub Jelinek via Gcc-patches
On Thu, Dec 10, 2020 at 12:50:02PM +0100, Eric Botcazou wrote: > prob.split adjusts prob so this needs to be reflected in the comment (maybe > "adjusted prob" or the formula if it is simple). Otherwise looks good to me. Actually I went back to drawing board and the patch wasn't correct. Let's

[Bug tree-optimization/91384] [8/9/10/11 Regression] Compare with negation is not eliminated

2020-12-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91384 --- Comment #9 from Richard Biener --- The local gimple transform is not right or wrong, it depends on the surroundings and unless we have a way to assess those in a good way doing it in one or the other way is going to hurt either case. The

[Bug target/98219] User-interrupt return pop corrupt RIP

2020-12-10 Thread hjl.tools at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98219 H.J. Lu changed: What|Removed |Added Target Milestone|--- |11.0

[Bug target/98219] User-interrupt return pop corrupt RIP

2020-12-10 Thread hjl.tools at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98219 H.J. Lu changed: What|Removed |Added Attachment #49724|0 |1 is obsolete|

Re: Help with PR97872

2020-12-10 Thread Prathamesh Kulkarni via Gcc-patches
On Thu, 10 Dec 2020 at 17:11, Richard Biener wrote: > > On Wed, 9 Dec 2020, Prathamesh Kulkarni wrote: > > > On Tue, 8 Dec 2020 at 14:36, Prathamesh Kulkarni > > wrote: > > > > > > On Mon, 7 Dec 2020 at 17:37, Hongtao Liu wrote: > > > > > > > > On Mon, Dec 7, 2020 at 7:11 PM Prathamesh Kulkarni

Re: Help with PR97872

2020-12-10 Thread Prathamesh Kulkarni via Gcc
On Thu, 10 Dec 2020 at 17:11, Richard Biener wrote: > > On Wed, 9 Dec 2020, Prathamesh Kulkarni wrote: > > > On Tue, 8 Dec 2020 at 14:36, Prathamesh Kulkarni > > wrote: > > > > > > On Mon, 7 Dec 2020 at 17:37, Hongtao Liu wrote: > > > > > > > > On Mon, Dec 7, 2020 at 7:11 PM Prathamesh Kulkarni

[Bug analyzer/98223] gcc.dg/analyzer/pr94851-1.c XPASSes

2020-12-10 Thread ro at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98223 Rainer Orth changed: What|Removed |Added Target Milestone|--- |11.0

[Bug analyzer/98223] New: gcc.dg/analyzer/pr94851-1.c XPASSes

2020-12-10 Thread ro at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98223 Bug ID: 98223 Summary: gcc.dg/analyzer/pr94851-1.c XPASSes Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer

Re: [PATCH] Fix up testcase.

2020-12-10 Thread Prathamesh Kulkarni via Gcc-patches
On Wed, 9 Dec 2020 at 15:52, Hongtao Liu wrote: > > On Wed, Dec 9, 2020 at 5:22 PM Prathamesh Kulkarni via Gcc-patches > wrote: > > > > On Wed, 9 Dec 2020 at 00:29, sunil.k.pandey wrote: > > > > > > On Linux/x86_64, > > > > > > 3a6e3ad38a17a03ee0139b49a0946e7b9ded1eb1 is the first bad commit >

[Bug tree-optimization/91384] [8/9/10/11 Regression] Compare with negation is not eliminated

2020-12-10 Thread ubizjak at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91384 --- Comment #8 from Uroš Bizjak --- (In reply to Jakub Jelinek from comment #1) > Started with r223689. Though, generally that change looks like a useful > GIMPLE canonicalization. How about we amend the above change to: diff --git

[PATCH] remove obsolete conversion handling from vectorizable_assignment

2020-12-10 Thread Richard Biener
This removes an odd special-case of VECTOR_BOOLEAN_TYPE_P typed conversions from vectorizable_assignment that was obsoleted by making all integer mode VECTOR_BOOLEAN_TYPE_P types have 1-bit precision bool components with 605c2a393d3a2db8 Bootstrapped and tested on x86_64-unknown-linux-gnu,

Re: [PATCH] data-ref: Rework integer handling in split_constant_offset [PR98069]

2020-12-10 Thread Richard Biener
On Thu, 10 Dec 2020, Richard Sandiford wrote: > Richard Biener writes: > >> @@ -812,33 +997,80 @@ split_constant_offset_1 (tree type, tree op0, enum > >> tree_code code, tree op1, > >> } > >> } > >> > >> -/* Expresses EXP as VAR + OFF, where off is a constant. The type of OFF > >> -

Re: [PATCH 1/5] arm: Auto-vectorization for MVE: vand

2020-12-10 Thread Christophe Lyon via Gcc-patches
On Tue, 8 Dec 2020 at 15:00, Kyrylo Tkachov wrote: > > > > -Original Message- > > From: Christophe Lyon > > Sent: 08 December 2020 13:59 > > To: Kyrylo Tkachov > > Cc: gcc-patches@gcc.gnu.org > > Subject: Re: [PATCH 1/5] arm: Auto-vectorization for MVE: vand > > > > On Tue, 8 Dec 2020

[Bug libstdc++/71899] An internal BooleanTestable trait should be provided

2020-12-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71899 --- Comment #5 from Jonathan Wakely --- LWG 2743 seems to be the wrong issue, I think https://wg21.link/lwg2114 is the right one.

[Bug ipa/98222] [11 Regression] ICE at -O3 on x86_64-pc-linux-gnu: verify_cgraph_node failed since r11-4267-g0e590b68fa374365

2020-12-10 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98222 Martin Liška changed: What|Removed |Added Known to work||10.2.0 Target Milestone|---

[Bug tree-optimization/95396] [8/9/10 Regression] GCC produces incorrect code with -O3 for loops since r8-6511-g3ae129323d150621

2020-12-10 Thread rsandifo at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95396 rsandifo at gcc dot gnu.org changed: What|Removed |Added Summary|[8/9/10/11 Regression] GCC |[8/9/10 Regression] GCC

Re: [PATCH] data-ref: Rework integer handling in split_constant_offset [PR98069]

2020-12-10 Thread Richard Sandiford via Gcc-patches
Richard Biener writes: >> @@ -812,33 +997,80 @@ split_constant_offset_1 (tree type, tree op0, enum >> tree_code code, tree op1, >> } >> } >> >> -/* Expresses EXP as VAR + OFF, where off is a constant. The type of OFF >> - will be ssizetype. */ >> +/* If EXP has pointer type, try to

[Bug libstdc++/67214] undefined behaviour in std::num_get::_M_extract_int()

2020-12-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67214 Jonathan Wakely changed: What|Removed |Added Status|NEW |RESOLVED Target Milestone|---

[Bug tree-optimization/97929] [11 Regression] ICE: in exact_div, at poly-int.h:2219 (vect_get_num_vectors)

2020-12-10 Thread joelh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97929 Joel Hutton changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/98221] [10/11 regression] Wrong unpack operation emitted in tree-ssa-forwprop.c

2020-12-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98221 --- Comment #4 from Richard Biener --- (In reply to Andreas Krebbel from comment #3) > tree-vect-loop-manip.c: vect_maybe_permute_loop_masks also emits > VEC_UNPACKS_HI/LO dependent on BYTES_BIG_ENDIAN. > > What is the expectation wrt the

[Bug tree-optimization/97929] [11 Regression] ICE: in exact_div, at poly-int.h:2219 (vect_get_num_vectors)

2020-12-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97929 --- Comment #3 from CVS Commits --- The master branch has been updated by Joel Hutton : https://gcc.gnu.org/g:f5b902a9af9d1cce6c540c7f71e02e22e45c23ef commit r11-5903-gf5b902a9af9d1cce6c540c7f71e02e22e45c23ef Author: Joel Hutton Date: Thu

[Bug ipa/98222] New: ICE at -O3 on x86_64-pc-linux-gnu: verify_cgraph_node failed

2020-12-10 Thread zhendong.su at inf dot ethz.ch via Gcc-bugs
Thread model: posix Supported LTO compression algorithms: zlib gcc version 11.0.0 20201210 (experimental) [master revision 66dea8899df:e246cb295db:680e4202f23ce74f3b26c7f090b9d22a56765554] (GCC) [518] % [518] % gcctk -O2 small.c; ./a.out [519] % [519] % gcctk -O3 small.c small.c: In function ‘f

Re: [PATCH] data-ref: Rework integer handling in split_constant_offset [PR98069]

2020-12-10 Thread Richard Biener
On Wed, 9 Dec 2020, Richard Sandiford wrote: > PR98069 is about a case in which split_constant_offset miscategorises > an expression of the form: > > int foo; > … > POINTER_PLUS_EXPR > > as: > > base: base > offset: (sizetype) (-foo) * size > init: INT_MIN * size > > “-foo”

[Bug tree-optimization/98221] [10/11 regression] Wrong unpack operation emitted in tree-ssa-forwprop.c

2020-12-10 Thread krebbel at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98221 --- Comment #3 from Andreas Krebbel --- tree-vect-loop-manip.c: vect_maybe_permute_loop_masks also emits VEC_UNPACKS_HI/LO dependent on BYTES_BIG_ENDIAN. What is the expectation wrt the meaning of hi/lo in RTL standard names? I couldn't find it

Re: [PATCH] dojump: Fix up probabilities splitting in dojump.c comparison splitting [PR98212]

2020-12-10 Thread Eric Botcazou
> 2020-12-10 Jakub Jelinek > > PR rtl-optimization/98212 > * dojump.c (do_compare_rtx_and_jump): Change computation of > first_prob for and_them and don't invert prob around it. > > * gcc.dg/predict-8.c: Adjust expected probability. > > --- gcc/dojump.c.jj

Re: [2/2][VECT] pr97929 fix

2020-12-10 Thread Richard Biener
On Thu, 10 Dec 2020, Joel Hutton wrote: > Hi all, > > This patch addresses PR97929 by adding a missing case for WIDEN_PLUS/MINUS in > vect_get_smallest_scalar_type. It also introduces a test to check for > regression. > > One thing to note is that I saw a failure on c-c++-common/builtins.c

Re: [1/2][TREE] Add WIDEN_PLUS, WIDEN_MINUS pretty print

2020-12-10 Thread Richard Biener
On Thu, 10 Dec 2020, Joel Hutton wrote: > Hi all, > > This adds missing pretty print for WIDEN_PLUS/MINUS and > VEC_WIDEN_PLUS/MINUS_HI/LO > > Bootstrapped and regression tested all together on aarch64. > > Ok for trunk? OK. > Add WIDEN_PLUS, WIDEN_MINUS pretty print > > Add 'w+'/'w-' as

Re: [PATCH] Remove misleading debug line entries

2020-12-10 Thread Richard Biener
On Wed, 9 Dec 2020, Bernd Edlinger wrote: > On 12/8/20 7:57 PM, Bernd Edlinger wrote: > > On 12/8/20 11:35 AM, Richard Biener wrote: > >> > >> + { > >> + /* Remove a nonbind marker when the outer scope of the > >> + inline function is completely removed. */ > >> +

[PATCH] Allow scalar fallback for pattern root stmt

2020-12-10 Thread Richard Biener
This adjusts the SLP build to allow a pattern root stmt to be built from scalars. I've noticed this in PR98211 where we fail to promote a SLP subtree to a simple splat operation and instead emit a series of uniform vector operations. The bb-slp-div-1.c testcase is now vectorized on x86_64 but

[PATCH] tree-optimization/98211 - fix bogus vectorization of conversion

2020-12-10 Thread Richard Biener
Pattern recog incompletely handles some bool cases but we shouldn't miscompile as a result but not vectorize. Unfortunately vectorizable_assignment lets invalid conversions (that vectorizable_conversion rejects) slip through. The following rectifies that. Bootstrapped and tested on

[PATCH] sanitizer: do not ICE for pointer cmp/sub

2020-12-10 Thread Martin Liška
Hello. In C FE we have troubles to instrument top-level pointer comparison (and subtraction): /home/marxin/Programming/gcc/gcc/testsuite/c-c++-common/asan/pr98204.c:5:1: internal compiler error: in pointer_diff, at c/c-typeck.c:3954 5 | static long i=((char*)&(v.c)-(char*)); | ^~

Re: Help with PR97872

2020-12-10 Thread Richard Biener
On Wed, 9 Dec 2020, Prathamesh Kulkarni wrote: > On Tue, 8 Dec 2020 at 14:36, Prathamesh Kulkarni > wrote: > > > > On Mon, 7 Dec 2020 at 17:37, Hongtao Liu wrote: > > > > > > On Mon, Dec 7, 2020 at 7:11 PM Prathamesh Kulkarni > > > wrote: > > > > > > > > On Mon, 7 Dec 2020 at 16:15, Hongtao

Re: Help with PR97872

2020-12-10 Thread Richard Biener
On Wed, 9 Dec 2020, Prathamesh Kulkarni wrote: > On Tue, 8 Dec 2020 at 14:36, Prathamesh Kulkarni > wrote: > > > > On Mon, 7 Dec 2020 at 17:37, Hongtao Liu wrote: > > > > > > On Mon, Dec 7, 2020 at 7:11 PM Prathamesh Kulkarni > > > wrote: > > > > > > > > On Mon, 7 Dec 2020 at 16:15, Hongtao

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 --- Comment #11 from Richard Biener --- (In reply to rsand...@gcc.gnu.org from comment #8) > (In reply to Richard Biener from comment #7) > > Hmm, OK, so besides the incomplete bool pattern matching the issue seems to > > be that while we reject

<    1   2   3   >