Re: [PATCH v3 1/2] c++: Initial support for P0847R7 (Deducing This) [PR102609]

2023-11-02 Thread waffl3x
> > That leaves 2, 4, and 5. > > > > 2. I am pretty sure xobj functions should have the struct they are a > > part of recorded as the method basetype member. I have already checked > > that function_type and method_type are the same node type under the > > hood and it does appear to be, so it

Re: [PATCH] recog/reload: Remove old UNARY_P operand support

2023-11-02 Thread Hans-Peter Nilsson
> From: Richard Sandiford > Date: Tue, 24 Oct 2023 11:14:20 +0100 > reload and constrain_operands had some old code to look through unary > operators. E.g. an operand could be (sign_extend (reg X)), and the > constraints would match the reg rather than the sign_extend. > > This was previously

Re: [PATCH v2] RISC-V: Refactor prefix [I/L/LL] rounding API autovec iterator

2023-11-02 Thread juzhe.zh...@rivai.ai
LGTM. juzhe.zh...@rivai.ai From: pan2.li Date: 2023-11-03 11:26 To: gcc-patches CC: juzhe.zhong; pan2.li; yanzhang.wang; kito.cheng Subject: [PATCH v2] RISC-V: Refactor prefix [I/L/LL] rounding API autovec iterator From: Pan Li Update in v2: * Add mode size equal check to disable

[PATCH v2] RISC-V: Refactor prefix [I/L/LL] rounding API autovec iterator

2023-11-02 Thread pan2 . li
From: Pan Li Update in v2: * Add mode size equal check to disable different mode size when expand, because the underlying codegen is not implemented yet. Original log: The previous rounding API start with i/l/ll only works on the same mode types. For example as below, and we arrange the

[Bug libbacktrace/112263] [C++23] std::stacktrace does not identify symbols in shared library

2023-11-02 Thread ian at airs dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112263 --- Comment #7 from Ian Lance Taylor --- https://gcc.gnu.org/pipermail/gcc-patches/2023-November/635073.html

Re: [PATCH v3 1/2] c++: Initial support for P0847R7 (Deducing This) [PR102609]

2023-11-02 Thread Jason Merrill
On 10/28/23 00:07, waffl3x wrote: I wanted to change DECL_NONSTATIC_MEMBER_FUNCTION_P to include explicit object member functions, but it had some problems when I made the modification. I also noticed that it's used in cp-objcp-common.cc so would making changes to it be a bad idea? -- cp-tree.h

libstdc++ patch RFA: Fix dl_iterate_phdr configury for libbacktrace

2023-11-02 Thread Ian Lance Taylor
The libbacktrace sources, as used by libstdc++-v3, fail to correctly determine whether the system supports dl_iterate_phdr. The issue is that the libbacktrace configure assumes that _GNU_SOURCE is defined during compilation, but the libstdc++-v3 configure does not do that. This configury failure

[Bug target/111311] RISC-V regression testsuite errors with --param=riscv-autovec-preference=scalable

2023-11-02 Thread law at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111311 --- Comment #14 from Jeffrey A. Law --- As Andrew said, if there's a test that depends on behavior of -INT_MIN, then the test needs to be fixed. That's undefined behavior.

Re: [PATCH] c++: Implement C++26 P1854R4 - Making non-encodable string literals ill-formed [PR110341]

2023-11-02 Thread Jason Merrill
On 11/2/23 03:53, Jakub Jelinek wrote: On Fri, Oct 27, 2023 at 07:05:34PM -0400, Jason Merrill wrote: --- gcc/testsuite/g++.dg/cpp26/literals1.C.jj 2023-08-25 17:23:06.662878355 +0200 +++ gcc/testsuite/g++.dg/cpp26/literals1.C 2023-08-25 17:37:03.085132304 +0200 @@ -0,0 +1,65 @@ +//

Re: [PATCH] c++: End lifetime of objects in constexpr after destructor call [PR71093]

2023-11-02 Thread Nathaniel Shead
Oh, this also fixes PR102284 and its other linked PRs (apart from fields); I forgot to note that in the commit. On Fri, Nov 03, 2023 at 12:18:29PM +1100, Nathaniel Shead wrote: > Bootstrapped and regtested on x86-64_pc_linux_gnu. > > I'm not entirely sure if the change I made to have destructors

[PATCH] c++: End lifetime of objects in constexpr after destructor call [PR71093]

2023-11-02 Thread Nathaniel Shead
Bootstrapped and regtested on x86-64_pc_linux_gnu. I'm not entirely sure if the change I made to have destructors clobber with CLOBBER_EOL instead of CLOBBER_UNDEF is appropriate, but nothing seemed to have broken by doing this and I wasn't able to find anything else that really depended on this

[Bug target/112326] Redundant vsetvl in fixed-vlmax autovectorization codes

2023-11-02 Thread juzhe.zhong at rivai dot ai via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112326 JuzheZhong changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug target/112326] Redundant vsetvl in fixed-vlmax autovectorization codes

2023-11-02 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112326 --- Comment #1 from CVS Commits --- The master branch has been updated by Pan Li : https://gcc.gnu.org/g:5ea3c039b784b0676323243940fd9916b1f6d540 commit r14-5092-g5ea3c039b784b0676323243940fd9916b1f6d540 Author: Juzhe-Zhong Date: Fri Nov 3

[Committed V3] RISC-V: Fix redundant vsetvl in fixed-vlmax vectorized codes[PR112326]

2023-11-02 Thread Juzhe-Zhong
With compile option --param=riscv-autovec-preference=fixed-vlmax, we have redundant AVL/VL toggling: vsetvli a5,a3,e8,mf4,ta,ma -> should be changed into e32m1 vle32.v v1,0(a1) vle32.v v2,0(a0) vsetivlizero,4,e32,m1,ta,ma -> redundant slli

RE: [PATCH v1] RISC-V: Refactor prefix [I/L/LL] rounding API autovec iterator

2023-11-02 Thread Li, Pan2
Thanks Patrick. It caused by the underlying codegen is not implemented but expand modes opened. Revert it first to unblock others and will fix it ASAP. Pan From: Patrick O'Neill Sent: Friday, November 3, 2023 6:57 AM To: Li, Pan2 ; juzhe.zhong Cc: gcc-patches@gcc.gnu.org; Wang, Yanzhang ;

Re: RFC: the proposal to resolve the missing dependency issue for counted_by attribute

2023-11-02 Thread Bill Wendling
On Thu, Nov 2, 2023 at 1:36 PM Qing Zhao wrote: > > Thanks a lot for raising these issues. > > If I understand correctly, the major question we need to answer is: > > For the following example: (Jakub mentioned this in an early message) > > 1 struct S { int a; char b __attribute__((counted_by

Re: RFC: the proposal to resolve the missing dependency issue for counted_by attribute

2023-11-02 Thread Bill Wendling
On Thu, Nov 2, 2023 at 1:00 AM Richard Biener wrote: > > On Wed, Nov 1, 2023 at 3:47 PM Qing Zhao wrote: > > > > > > > > > On Oct 31, 2023, at 6:14 PM, Joseph Myers wrote: > > > > > > On Tue, 31 Oct 2023, Qing Zhao wrote: > > > > > >> 2.3 A new semantic requirement in the user documentation of

Re: [PATCH] internal-fn: Add VCOND_MASK_LEN.

2023-11-02 Thread Richard Sandiford
Robin Dapp writes: >> Looks reasonable overall. The new match patterns are 1:1 the >> same as the COND_ ones. That's a bit awkward, but I don't see >> a good way to "macroize" stuff further there. Can you at least >> interleave the COND_LEN_* ones with the other ones instead of >> putting them

[PATCH] g++: Rely on dg-do-what-default to avoid running pr102788.cc on non-vector targets

2023-11-02 Thread Patrick O'Neill
Testcases in g++.dg/vect rely on check_vect_support_and_set_flags to set dg-do-what-default and avoid running vector tests on non-vector targets. The three testcases in this patch overwrite the default with dg-do run. Removing the dg-do run directive resolves this issue for non-vector targets

Re: [PATCH] ifcvt/vect: Emit COND_ADD for conditional scalar reduction.

2023-11-02 Thread Andrew Pinski
On Wed, Sep 20, 2023 at 6:52 AM Robin Dapp wrote: > > Hi, > > as described in PR111401 we currently emit a COND and a PLUS expression > for conditional reductions. This makes it difficult to combine both > into a masked reduction statement later. > This patch improves that by directly emitting a

[Bug tree-optimization/112358] New: [14 Regression] glibc -Wstringop-overflow= build failure

2023-11-02 Thread jsm28 at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112358 Bug ID: 112358 Summary: [14 Regression] glibc -Wstringop-overflow= build failure Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal

Re: [Committed] RISC-V: Add check for types without insn reservations

2023-11-02 Thread Edwin Lu
On 11/1/2023 11:53 AM, Jeff Law wrote: On 11/1/23 12:17, Edwin Lu wrote: Now that all insns are guaranteed to have a type, ensure every insn is associated with a cpu unit/insn reservation. gcc/ChangeLog: * config/riscv/riscv.cc (riscv_sched_variable_issue): add disabled assert OK. 

Re: [PATCH v1] RISC-V: Refactor prefix [I/L/LL] rounding API autovec iterator

2023-11-02 Thread Patrick O'Neill
Hi Pan, This patch is causing new failures (ICEs) on trunk: https://github.com/patrick-rivos/gcc-postcommit-ci/issues/110 Pre-commit CI run: https://github.com/ewlu/gcc-precommit-ci/issues/553#issuecomment-1790688172 New rv32gcv failures: |FAIL: gcc.dg/vect/fast-math-bb-slp-call-2.c (internal

Re: Re: [PATCH V2] RISC-V: Fix redundant vsetvl in fixed-vlmax vectorized codes[PR112326]

2023-11-02 Thread 钟居哲
Thanks Robin. Committed with change nuints into nunits and change mode_idx into 0 for vnshift and vnclip. juzhe.zh...@rivai.ai From: Robin Dapp Date: 2023-11-02 23:18 To: Juzhe-Zhong; gcc-patches CC: rdapp.gcc; kito.cheng; kito.cheng; jeffreyalaw Subject: Re: [PATCH V2] RISC-V: Fix

[Bug target/111931] RISC-V: Trivial optimization of VSETVL PASS

2023-11-02 Thread juzhe.zhong at rivai dot ai via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111931 JuzheZhong changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug target/111311] RISC-V regression testsuite errors with --param=riscv-autovec-preference=scalable

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111311 --- Comment #13 from Andrew Pinski --- (In reply to JuzheZhong from comment #12) > signbit execution issue should be ignored. It's ISA issue not compiler issue. > > I knew this issue long time ago and confirm Clang has the sam issue: > >

[Bug middle-end/111401] Middle-end: Missed optimization of MASK_LEN_FOLD_LEFT_PLUS

2023-11-02 Thread juzhe.zhong at rivai dot ai via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111401 JuzheZhong changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug target/87281] qsort checking ICE in ia64_reorg building libgo

2023-11-02 Thread jsm28 at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87281 --- Comment #15 from Joseph S. Myers --- Created attachment 56496 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56496=edit Test that started failing on 20 July 2023 Another instance of this ICE appeared in my glibc bot on 20 July;

[Bug target/87281] [14 Regression] qsort checking ICE in ia64_reorg building libgo

2023-11-02 Thread jsm28 at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87281 Joseph S. Myers changed: What|Removed |Added Last reconfirmed|2019-06-14 00:00:00 |2023-11-2 Target Milestone|---

gcc-11-20231102 is now available

2023-11-02 Thread GCC Administrator via Gcc
Snapshot gcc-11-20231102 is now available on https://gcc.gnu.org/pub/gcc/snapshots/11-20231102/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 11 git branch with the following options: git://gcc.gnu.org/git/gcc.git branch

[Bug target/111311] RISC-V regression testsuite errors with --param=riscv-autovec-preference=scalable

2023-11-02 Thread juzhe.zhong at rivai dot ai via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111311 --- Comment #12 from JuzheZhong --- signbit execution issue should be ignored. It's ISA issue not compiler issue. I knew this issue long time ago and confirm Clang has the sam issue:

[Bug fortran/112316] [13 Regression] Fix for PR87477 rejects valid code with a bogus error about pointer assignment and causes an ICE since r13-7761-gd6997a5aab7aaa325946a6283bfee8ac2bd9f540

2023-11-02 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112316 --- Comment #2 from CVS Commits --- The master branch has been updated by Paul Thomas : https://gcc.gnu.org/g:7c1d011bc1f8b26dba4ebcbd4a429628dfb2698d commit r14-5088-g7c1d011bc1f8b26dba4ebcbd4a429628dfb2698d Author: Paul Thomas Date: Thu

Re: [PATCH 2/4] maintainer-scripts/gcc_release: create index between snapshots <-> commits

2023-11-02 Thread rep . dot . nop
On 2 November 2023 11:25:47 CET, Jonathan Wakely wrote: >On Thu, 2 Nov 2023 at 10:23, Andreas Schwab wrote: >> >> On Nov 02 2023, Jonathan Wakely wrote: >> >> > Git tags are cheap, but I can imagine a concern about hundreds of new >> > tags "littering" the output of 'git tag -l'. I don't _think_

[Bug tree-optimization/112357] New: Documentation for vect-max-peeling-for-alignment references -1 but -1 does not work

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112357 Bug ID: 112357 Summary: Documentation for vect-max-peeling-for-alignment references -1 but -1 does not work Product: gcc Version: 14.0 Status: UNCONFIRMED

[Bug fortran/97245] ASSOCIATED intrinsic does not recognize a pointer variable the second time it is used

2023-11-02 Thread anlauf at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97245 anlauf at gcc dot gnu.org changed: What|Removed |Added Summary|ASSOCIATE intrinsic does|ASSOCIATED intrinsic does

[Bug target/111311] RISC-V regression testsuite errors with --param=riscv-autovec-preference=scalable

2023-11-02 Thread vineetg at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111311 --- Comment #11 from Vineet Gupta --- (In reply to Robin Dapp from comment #10) > As a general remark: Some of those are present on other backends as well, > some have been introduced by recent common-code changes and some are bogus > test

[Bug tree-optimization/112356] `x == MIN & x > y` is not optimized to 0 if x was casted to signed from unsigned

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112356 --- Comment #1 from Andrew Pinski --- The problem is we can't use `(match min_value` here but rather we need to change it from: ``` (for eqne (eq ne) (simplify (bit_and:c (gt:c@2 @0 @1) (eqne @0 min_value)) ``` to: ``` (for eqne (eq ne)

[Bug tree-optimization/112356] `x == MIN & x > y` is not optimized to 0 if x was casted to signed from unsigned

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112356 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Ever confirmed|0

[Bug tree-optimization/112356] New: `x == MIN & x > y` is not optimized to 0 if x was casted to signed from unsigned

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112356 Bug ID: 112356 Summary: `x == MIN & x > y` is not optimized to 0 if x was casted to signed from unsigned Product: gcc Version: 14.0 Status: UNCONFIRMED

Re: [PATCH] libstdc++: avoid uninitialized read in basic_string constructor

2023-11-02 Thread Jonathan Wakely
On Thu, 2 Nov 2023 at 19:58, Ben Sherman wrote: > > Tested on x86_64-pc-linux-gnu, please let me know if there's anything > else needed. I haven't contributed before and don't have write access, so > apologies if I've missed anything. This was https://gcc.gnu.org/PR109703 (and several

[Bug c++/109740] -Woverloaded-virtual is too aggressive

2023-11-02 Thread emerg.reanimator at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109740 --- Comment #5 from Alexander Goomenuk --- Created attachment 56495 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56495=edit Overloaded virtual testcase Another relevant issue with gcc (GCC) 13.2.1 20231011 (Red Hat 13.2.1-4) and

[PATCH] tree-optimization: Add register pressure heuristics

2023-11-02 Thread Ajit Agarwal
Hello All: Currently code sinking heuristics are based on profile data like basic block count and sink frequency threshold. We have removed such heuristics and added register pressure heuristics based on live-in and live-out of early blocks and immediate dominator of use blocks of the same loop

Re: RFC: the proposal to resolve the missing dependency issue for counted_by attribute

2023-11-02 Thread Qing Zhao
> On Nov 2, 2023, at 8:09 AM, Jakub Jelinek wrote: > > On Thu, Nov 02, 2023 at 12:52:50PM +0100, Richard Biener wrote: >>> What I meant is to emit >>> tmp_4 = .ACCESS_WITH_SIZE ([0], , (typeof ()) 0); >>> p_5 = _4[2]; >>> i.e. don't associate the pointer with a value of the size, but with >>>

Re: RFC: the proposal to resolve the missing dependency issue for counted_by attribute

2023-11-02 Thread Qing Zhao
> On Nov 2, 2023, at 7:52 AM, Richard Biener wrote: > > On Thu, Nov 2, 2023 at 11:40 AM Jakub Jelinek wrote: >> >> On Thu, Nov 02, 2023 at 11:18:09AM +0100, Richard Biener wrote: Or, if we want to pay further price, .ACCESS_WITH_SIZE could take as one of the arguments not the size

Re: RFC: the proposal to resolve the missing dependency issue for counted_by attribute

2023-11-02 Thread Qing Zhao
Thanks a lot for raising these issues. If I understand correctly, the major question we need to answer is: For the following example: (Jakub mentioned this in an early message) 1 struct S { int a; char b __attribute__((counted_by (a))) []; }; 2 struct S s; 3 s.a = 5; 4 char *p = [2];

Re: [Patch, fortran] PR98498 - Interp request: defined operators and unlimited polymorphic

2023-11-02 Thread Harald Anlauf
Hi Paul, Am 02.11.23 um 19:18 schrieb Paul Richard Thomas: Hi Harald, I was overthinking the problem. The rejected cases led me to a fix that can only be described as a considerable simplification compared with the first patch! this patch is *much* simpler, makes more sense, and works here.

[Bug c++/112301] [12/13/14 regression] Double destruction of returned object when exiting the scope causes an exception which gets rethrown since r12-6333-gb10e031458d541

2023-11-02 Thread jason at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112301 Jason Merrill changed: What|Removed |Added Known to work||14.0 --- Comment #3 from Jason Merrill

[Bug c++/33799] Return value's destructor not executed when a local variable's destructor throws

2023-11-02 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=33799 --- Comment #23 from CVS Commits --- The trunk branch has been updated by Jason Merrill : https://gcc.gnu.org/g:ae07265381d934ee97fb1ce8915731158c91babc commit r14-5086-gae07265381d934ee97fb1ce8915731158c91babc Author: Jason Merrill Date:

[Bug c++/102191] [C++20] Can't return prvalue with potentially-throwing destructor during constant evaluation

2023-11-02 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102191 --- Comment #3 from CVS Commits --- The trunk branch has been updated by Jason Merrill : https://gcc.gnu.org/g:ae07265381d934ee97fb1ce8915731158c91babc commit r14-5086-gae07265381d934ee97fb1ce8915731158c91babc Author: Jason Merrill Date:

[Bug c++/112301] [12/13/14 regression] Double destruction of returned object when exiting the scope causes an exception which gets rethrown since r12-6333-gb10e031458d541

2023-11-02 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112301 --- Comment #2 from CVS Commits --- The trunk branch has been updated by Jason Merrill : https://gcc.gnu.org/g:ae07265381d934ee97fb1ce8915731158c91babc commit r14-5086-gae07265381d934ee97fb1ce8915731158c91babc Author: Jason Merrill Date:

[pushed] c++: use hash_set in nrv_data

2023-11-02 Thread Jason Merrill
Tested x86_64-pc-linux-gnu, applying to trunk. -- 8< -- I noticed we were using a hash_table directly here instead of the simpler hash_set interface. Also, let's check for the variable itself and repeats earlier, since they should happen more often than any of the other cases.

[pushed] c++: retval dtor on rethrow [PR112301]

2023-11-02 Thread Jason Merrill
Tested x86_64-pc-linux-gnu, applying to trunk. -- 8< -- In r12-6333 for PR33799, I fixed the example in [except.ctor]/2. In that testcase, the exception is caught and the function returns again, successfully. In this testcase, however, the exception is rethrown, and hits two separate cleanups:

[PATCH] libstdc++: avoid uninitialized read in basic_string constructor

2023-11-02 Thread Ben Sherman
Tested on x86_64-pc-linux-gnu, please let me know if there's anything else needed. I haven't contributed before and don't have write access, so apologies if I've missed anything. -- >8 -- The basic_string input iterator constructor incrementally reads data and allocates the internal buffer

[Bug rtl-optimization/109035] meaningless memory store on RISC-V and LoongArch

2023-11-02 Thread law at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109035 --- Comment #8 from Jeffrey A. Law --- No spills on rv64 either.

[Bug rtl-optimization/109035] meaningless memory store on RISC-V and LoongArch

2023-11-02 Thread vmakarov at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109035 --- Comment #7 from Vladimir Makarov --- For last 2 weeks I pushed several patches for better dealing with equivalences in RA. It seems the patches solves the current PR. I checked the test code generation for loongarch and aarch64 and did

[Bug c++/112350] New: gcc is not triggering a dangling reference indicating stack use after return

2023-11-02 Thread mohamed.selim at dxc dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112350 Bug ID: 112350 Summary: gcc is not triggering a dangling reference indicating stack use after return Product: gcc Version: 13.2.0 Status: UNCONFIRMED

[Bug libstdc++/112314] Missing index assertions in basic_string_view

2023-11-02 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112314 --- Comment #4 from Jonathan Wakely --- (In reply to Jose Dapena Paz from comment #2) > In any case, the failing test is actually passing -1, my understanding is > that that one should always assert no matter what we are passing as const >

[PATCH] gfortran: Rely on dg-do-what-default to avoid running pr85853.f90, pr107254.f90 and vect-alias-check-1.F90 on non-vector targets

2023-11-02 Thread Patrick O'Neill
Testcases in gfortran.dg/vect/vect.exp rely on check_vect_support_and_set_flags to set dg-do-what-default and avoid running vector tests on non-vector targets. The three testcases in this patch overwrite the default with dg-do run which causes issues for non-vector targets. Removing the dg-do run

[Bug c++/106849] internal compiler error: tree check: expected none of template_decl, have template_decl in do_nonmember_using_decl, at cp/name-lookup.cc:4841

2023-11-02 Thread davidfromonline at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106849 --- Comment #3 from David Stone --- Oh, as per https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112355#c3 it's just that the 13.2 build isn't checked, so it's not a new bug.

[Bug c++/106849] internal compiler error: tree check: expected none of template_decl, have template_decl in do_nonmember_using_decl, at cp/name-lookup.cc:4841

2023-11-02 Thread davidfromonline at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106849 --- Comment #2 from David Stone --- Looks like it works in 13.2 but fails in trunk. 13.2: https://godbolt.org/z/d54ToW7zW trunk: https://godbolt.org/z/eej9d7ccM

[Bug c++/112355] Internal compiler error when exporting using declaration of function template

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112355 --- Comment #3 from Andrew Pinski --- (In reply to David Stone from comment #1) > Looks like this is a new bug in trunk. Works in 13.2 It is not, just extra checking is enabled by default when compiling the trunk (unless you use the configure

[Bug c++/103524] [meta-bug] modules issue

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103524 Bug 103524 depends on bug 112355, which changed state. Bug 112355 Summary: Internal compiler error when exporting using declaration of function template https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112355 What|Removed

[Bug c++/112355] Internal compiler error when exporting using declaration of function template

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112355 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/106849] internal compiler error: tree check: expected none of template_decl, have template_decl in do_nonmember_using_decl, at cp/name-lookup.cc:4841

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106849 Andrew Pinski changed: What|Removed |Added CC||davidfromonline at gmail dot com ---

[Bug c++/112355] Internal compiler error when exporting using declaration of function template

2023-11-02 Thread davidfromonline at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112355 David Stone changed: What|Removed |Added CC||davidfromonline at gmail dot com ---

[Bug c++/112355] New: Internal compiler error when exporting using declaration of function template

2023-11-02 Thread davidfromonline at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112355 Bug ID: 112355 Summary: Internal compiler error when exporting using declaration of function template Product: gcc Version: unknown Status: UNCONFIRMED

[Bug tree-optimization/102138] t = a==0 and a = PHI<0, t> should be done earlier than PRE

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102138 --- Comment #4 from Andrew Pinski --- This is the generic solution to what was done to fix PR 104639.

Re: [PATCH 4/4] maintainer-scripts/gcc_release: cleanup whitespace

2023-11-02 Thread Joseph Myers
On Thu, 2 Nov 2023, Sam James wrote: > maintainer-scripts/ > * gcc_release: Cleanup whitespace. OK. -- Joseph S. Myers jos...@codesourcery.com

Re: [PATCH 3/4] maintainer-scripts/gcc_release: use HTTPS for links

2023-11-02 Thread Joseph Myers
On Thu, 2 Nov 2023, Sam James wrote: > maintainer-scripts/ > * gcc_release: Use HTTPS for links. OK. -- Joseph S. Myers jos...@codesourcery.com

[Bug c/112347] [14 regression] ICE on jemalloc-5.3.0: Segmentation fault around convert_for_assignment()

2023-11-02 Thread muecker at gwdg dot de via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112347 --- Comment #11 from Martin Uecker --- In this case this is by design because the size of an element should be second argument to calloc. ("The calloc function allocates space for an array of nmemb objects, each of whose size is size.")

[Bug tree-optimization/102138] t = a==0 and a = PHI<0, t> should be done earlier than PRE

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102138 Andrew Pinski changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot gnu.org

[Bug c/112347] [14 regression] ICE on jemalloc-5.3.0: Segmentation fault around convert_for_assignment()

2023-11-02 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112347 --- Comment #10 from David Binderman --- When this patch was tested, did that include a build of libgfortran ? I am getting some strange new warnings: ../../../trunk.year/libgfortran/io/async.c:265:24: warning: allocation of insufficient size

[Bug c++/112335] missed optimization on reset and assign unique_ptr

2023-11-02 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112335 Jonathan Wakely changed: What|Removed |Added Resolution|--- |INVALID

[Bug target/111311] RISC-V regression testsuite errors with --param=riscv-autovec-preference=scalable

2023-11-02 Thread rdapp at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111311 --- Comment #10 from Robin Dapp --- As a general remark: Some of those are present on other backends as well, some have been introduced by recent common-code changes and some are bogus test prerequisites or checks. I'm not saying we are in

[Bug target/112337] arm: ICE in arm_effective_regno when compiling for MVE

2023-11-02 Thread stammark at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112337 --- Comment #4 from Stam Markianos-Wright --- Bisected to f55cdce3f8dd8503e080e35be59c5f5390f6d95e Attached preprocessed source and a creduced-reproducer of it

Re: [PATCH] Format gotools.sum closer to what DejaGnu does

2023-11-02 Thread rep . dot . nop
On 2 November 2023 18:06:54 CET, Maxim Kuvyrkov wrote: >> On Nov 2, 2023, at 21:02, rep.dot@gmail.com wrote: >> >> Hi Maxim! >> >> Many thanks for the patch! Quick question below.. >> >> On 2 November 2023 13:48:55 CET, Maxim Kuvyrkov >> wrote: >>> ... to restore compatability with

[Bug tree-optimization/112096] `(a || b) ? a : b` should be simplified to a

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112096 --- Comment #4 from Andrew Pinski --- Another testcase: ``` int f(int a, int b, int d) { bool t = a == 0; bool t1 = d == 0; int c = a + b; if (t & t1) return b; return c; } int f1(int a, int b, int d) {

[Bug libstdc++/112314] Missing index assertions in basic_string_view

2023-11-02 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112314 --- Comment #7 from Jonathan Wakely --- (In reply to Jose Dapena Paz from comment #5) > - The length is less than the possible pointer difference (checked with > numeric_limits). That seems too lenient to me, because for wchar_t, char16_t and

[Bug sanitizer/112353] New: asan-enabled, aarch64-gcc cross-compiled elf executables fail ro run in qemu-user on x86

2023-11-02 Thread robert at bedrocksystems dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112353 Bug ID: 112353 Summary: asan-enabled, aarch64-gcc cross-compiled elf executables fail ro run in qemu-user on x86 Product: gcc Version: 12.3.0 Status: UNCONFIRMED

[Bug c++/112354] mismatched types 'B' and 'B&' for generic lambda noexcept-specifier referencing enclosing function parameter

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112354 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/110116] [12/13 Regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_gimple failed

2023-11-02 Thread tkoenig at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110116 Thomas Koenig changed: What|Removed |Added Summary|[12/13/14 Regression] ICE |[12/13 Regression] ICE on

[Bug target/111311] RISC-V regression testsuite errors with --param=riscv-autovec-preference=scalable

2023-11-02 Thread patrick at rivosinc dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111311 --- Comment #8 from Patrick O'Neill --- Updated regression list using r14-5070-g4ea36076d66 on rv64gcv: === gcc: Unexpected fails for rv64gcv lp64d medlow === FAIL: gcc.c-torture/execute/memset-3.c -O3 -fomit-frame-pointer

[Bug sanitizer/112353] asan-enabled, aarch64-gcc cross-compiled elf executables fail ro run in qemu-user on x86

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112353 --- Comment #1 from Andrew Pinski --- https://github.com/google/sanitizers/issues/1470

[Bug c++/112354] New: mismatched types 'B' and 'B&' for generic lambda noexcept-specifier referencing enclosing function parameter

2023-11-02 Thread ed at catmur dot uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112354 Bug ID: 112354 Summary: mismatched types 'B' and 'B&' for generic lambda noexcept-specifier referencing enclosing function parameter Product: gcc Version: 14.0

[Bug libstdc++/112349] ranges::max makes unnecessary copies

2023-11-02 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112349 Jonathan Wakely changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed|

[Bug c++/112350] gcc is not triggering a dangling reference indicating stack use after return

2023-11-02 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112350 --- Comment #1 from Andrew Pinski --- With optimization enabled and without -fsanitize=address we get: : In function 'const int& foo1()': :12:18: warning: using a dangling pointer to 'x' [-Wdangling-pointer=] 12 | return s.get();

Re: [Patch, fortran] PR98498 - Interp request: defined operators and unlimited polymorphic

2023-11-02 Thread Paul Richard Thomas
Hi Harald, I was overthinking the problem. The rejected cases led me to a fix that can only be described as a considerable simplification compared with the first patch! The testcase now reflects the requirements of the standard and regtests without failures. OK for mainline? Thanks Paul

[Bug libstdc++/112314] Missing index assertions in basic_string_view

2023-11-02 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112314 --- Comment #6 from Jonathan Wakely --- Created attachment 56494 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56494=edit Check [ptr,end) and [ptr,ptr+n) ranges with _GLIBCXX_ASSERTIONS With this change we could add:

Re: [PATCH] Format gotools.sum closer to what DejaGnu does

2023-11-02 Thread Rainer Orth
rep.dot@gmail.com writes: > On 2 November 2023 18:06:54 CET, Maxim Kuvyrkov > wrote: >>> On Nov 2, 2023, at 21:02, rep.dot@gmail.com wrote: >>> >>> Hi Maxim! >>> >>> Many thanks for the patch! Quick question below.. >>> >>> On 2 November 2023 13:48:55 CET, Maxim Kuvyrkov >>> wrote:

[Bug fortran/112316] [13 Regression] Fix for PR87477 rejects valid code with a bogus error about pointer assignment and causes an ICE since r13-7761-gd6997a5aab7aaa325946a6283bfee8ac2bd9f540

2023-11-02 Thread pault at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112316 Paul Thomas changed: What|Removed |Added Last reconfirmed||2023-11-02 Ever confirmed|0

[Bug libstdc++/112314] Missing index assertions in basic_string_view

2023-11-02 Thread jdapena at igalia dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112314 --- Comment #5 from Jose Dapena Paz --- (In reply to Jonathan Wakely from comment #4) > (In reply to Jose Dapena Paz from comment #2) > > In any case, the failing test is actually passing -1, my understanding is > > that that one should always

[Bug target/111311] RISC-V regression testsuite errors with --param=riscv-autovec-preference=scalable

2023-11-02 Thread vineetg at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111311 --- Comment #9 from Vineet Gupta --- (In reply to Patrick O'Neill from comment #8) > Updated regression list using r14-5070-g4ea36076d66 on rv64gcv: > > Failure list from: > https://github.com/patrick-rivos/gcc-postcommit-ci/issues/109 And

[PATCH V3 5/6] aarch64: Add front-end argument type checking for target builtins

2023-11-02 Thread Victor Do Nascimento
In implementing the ACLE read/write system register builtins it was observed that leaving argument type checking to be done at expand-time meant that poorly-formed function calls were being "fixed" by certain optimization passes, meaning bad code wasn't being properly picked up in checking.

Re: [PATCH] Format gotools.sum closer to what DejaGnu does

2023-11-02 Thread Maxim Kuvyrkov
> On Nov 2, 2023, at 21:02, rep.dot@gmail.com wrote: > > Hi Maxim! > > Many thanks for the patch! Quick question below.. > > On 2 November 2023 13:48:55 CET, Maxim Kuvyrkov > wrote: >> ... to restore compatability with validate_failures.py . >> The testsuite script validate_failures.py

Re: Suspecting a wrong behavior in the value range propagation analysis for __builtin_clz

2023-11-02 Thread Joseph Myers
On Thu, 2 Nov 2023, Richard Biener via Gcc wrote: > Note the semantic of __builtin_clz is _not_ altered by > CLZ_DEFINED_VALUE_AT_ZERO, the behavior > of __builtin_clz (x) is that is has undefined result for x == 0. Note also the discussion in bug 111309 of possible future type-generic versions

Re: [PATCH] Format gotools.sum closer to what DejaGnu does

2023-11-02 Thread rep . dot . nop
Hi Maxim! Many thanks for the patch! Quick question below.. On 2 November 2023 13:48:55 CET, Maxim Kuvyrkov wrote: >... to restore compatability with validate_failures.py . >The testsuite script validate_failures.py expects >"Running ..." to extract values, >and gotools.sum provided "Running

Re: Suspecting a wrong behavior in the value range propagation analysis for __builtin_clz

2023-11-02 Thread Jakub Jelinek via Gcc
On Thu, Nov 02, 2023 at 04:44:30PM +, Joseph Myers wrote: > On Thu, 2 Nov 2023, Richard Biener via Gcc wrote: > > > Note the semantic of __builtin_clz is _not_ altered by > > CLZ_DEFINED_VALUE_AT_ZERO, the behavior > > of __builtin_clz (x) is that is has undefined result for x == 0. > > Note

[PATCH V3 4/6] aarch64: Implement system register r/w arm ACLE intrinsic functions

2023-11-02 Thread Victor Do Nascimento
Implement the aarch64 intrinsics for reading and writing system registers with the following signatures: uint32_t __arm_rsr(const char *special_register); uint64_t __arm_rsr64(const char *special_register); void* __arm_rsrp(const char *special_register); float

[PATCH V3 6/6] aarch64: Add system register duplication check selftest

2023-11-02 Thread Victor Do Nascimento
Add a build-time test to check whether system register data, as imported from `aarch64-sys-reg.def' has any duplicate entries. Duplicate entries are defined as any two SYSREG entries in the .def file which share the same encoding values (as specified by its `CPENC' field) and where the

[PATCH V3 0/6] aarch64: Add support for __arm_rsr and __arm_wsr ACLE function family

2023-11-02 Thread Victor Do Nascimento
Implement changes resulting from upstream discussion about the implementation as presented in V2 of this patch: https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633458.html Note that patch 4/7 of the previous iteration of this series (Add basic target_print_operand support for

  1   2   3   >