[COMMITTED] Doc: Fix description of -Wno-aggressive-loop-optimizations [PR78874]

2025-04-05 Thread Sandra Loosemore
gcc/ChangeLog PR middle-end/78874 * doc/invoke.texi (Warning Options): Fix description of -Wno-aggressive-loop-optimizations to reflect that this turns off the warning, and the default is for it to be enabled. --- gcc/doc/invoke.texi | 5 +++-- 1 file changed, 3 ins

Re: combine: Re-enable 2->2 combinations, with limits [PR116398]

2025-04-05 Thread Sam James
Richard Sandiford writes: > This series is an update of: > > https://gcc.gnu.org/pipermail/gcc-patches/2025-April/679924.html > > As discussed in that thread, the changes since last time are to make > distribute_links start from the last use, where easy, and to avoid > an unnecessary insn walk

Re: [PATCH 2/2] cobol: use ldirname in cdf-copy.cc

2025-04-05 Thread Jose E. Marchesi
> On Mon, Mar 17, 2025 at 7:45 PM Jose E. Marchesi > wrote: >> >> This patch changes gcc/cobol/cdf-copy.cc to use the new ldirname from >> libibertay rather than the host's dirname. This removes an include >> for libgen.h. >> >> Regtested in x86_64-linux-gnu by running make check-cobol. > > OK

Re: [PATCH] icf: Punt for musttail call flag differences in ICF [PR119376]

2025-04-05 Thread Richard Biener
On Fri, 21 Mar 2025, Jakub Jelinek wrote: > Hi! > > The following testcase shows we were ignoring musttail flags on calls > when deciding if two functions are the same. > That can result in problems in both directions, either we silently > lose musttail attribute because there is a similar functi

[COMMITTED 060/146] gccrs: Remove bad assertion in name resolution

2025-04-05 Thread arthur . cohen
From: Philip Herron This was a handy debug assertion but only works for valid rust code. This needs to handle the case where the type is not resolved which is a valid case. Fixes Rust-GCC#2423 gcc/rust/ChangeLog: * resolve/rust-ast-resolve-item.cc (ResolveItem::visit): remove assertio

[COMMITTED 2/2] rust: force cargo to build offline

2025-04-05 Thread arthur . cohen
From: Marc Poulhiès gcc/rust/Changelog: PR rust/119333 * Make-lang.in: Force offline mode for cargo Signed-off-by: Marc Poulhiès --- gcc/rust/Make-lang.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/rust/Make-lang.in b/gcc/rust/Make-lang.in index ef

[committed] MAINTAINERS: Update my name

2025-04-05 Thread Alice Carlotti
ChangeLog: * MAINTAINERS: Update my name. diff --git a/MAINTAINERS b/MAINTAINERS index 90c8e2aa99506da1cd7955c90808401b8df051b5..756227e0a5064ab996f3d5e245f585138104cb97 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -396,7 +396,7 @@ Tobias Burnus burnus Ad

[PATCH] fold-const, cobol: Add native_encode_wide_int and use it in COBOL FE [PR119242]

2025-04-05 Thread Jakub Jelinek
Hi! As has been mentioned earlier, various parts of the COBOL FE and the library aren't endian clean. In the library that means that for now we have to live with no support for big endian targets, but in the FE that means that as well as not being able to build cross-compilers from big endian or

[COMMITTED 033/146] gccrs: Refactor HIR with optionals, references & newtypes

2025-04-05 Thread arthur . cohen
From: Pierre-Emmanuel Patry The HIR made heavy use of pair and other unamed types which can be difficult to read. gcc/rust/ChangeLog: * backend/rust-compile-base.cc: Use FnParam getter. * backend/rust-compile-expr.cc (CompileExpr::visit): Likewise. * backend/rust-compile

Re: [PATCH][RFC] [cobol] change cbl_field_data_t::etc_t::value from _Float128 to tree

2025-04-05 Thread Simon Sobisch
> Now a question on COBOL: > > 77 var8 PIC 999V9(8) COMP-5 > > what precision/digits does this specify? When then doing > > add 0.0001 TO var555 giving var8 rounded > > what's the precision/digit specification for the literal floating > point values and how does that or that of var55

Re: [PATCH 3/4] combine: Optimise distribute_links search [PR116398]

2025-04-05 Thread Richard Sandiford
Richard Biener writes: > On Fri, 4 Apr 2025, Richard Sandiford wrote: > >> Another problem in PR101523 was that, after each successful 2->2 >> combination attempt, distribute_links would search further and further >> for the next combinable use of the i2 destination. Each search would >> start at

Re: cobol: flags for choosing reference-format (Re: [PATCH]cobol: create new gcc/testsuite/cobol.dg/group1/check_88.cob test)

2025-04-05 Thread James K. Lowden
On Sun, 16 Mar 2025 21:07:39 +0100 Simon Sobisch wrote: > This gives three reference-formats: "fixed" "free" and "extended". For > two of those we have seen the flags -ffixed-form and -ffree-form, so > I'd _guess_ the last one would be -fextended-form. > > Question: Is there a reason to have mul

RE: [PATCH] change cbl_field_data_t::etc_t::value from _Float128 to tree

2025-04-05 Thread Richard Biener
On Fri, 21 Mar 2025, Robert Dubner wrote: > I am stepping my way through the code that initializes the COBOL variable > > 01 FLOATLONG FLOAT-LONG VALUE 12345678. > > In the version created by Richard's patch, I arrive at line 15721, which I > have flagged with /**/. (My editor lacks th

Re: [PATCH] toplevel, Makefile: Add missing CXX_FOR_TARGET export [PR88319].

2025-04-05 Thread Iain Sandoe
> On 23 Mar 2025, at 20:09, Jeff Law wrote: > > > > On 3/23/25 8:28 AM, Iain Sandoe wrote: >> Hi Jeff, >>> On 23 Mar 2025, at 14:25, Jeff Law wrote: >>> On 3/23/25 8:03 AM, Iain Sandoe wrote: Tested on x86_64-Linux, Darwin, OK for trunk? backports? thanks Iain

[COMMITTED 125/144] gccrs: Fix ICE when typechecking non-trait item when we expect one

2025-04-05 Thread arthur . cohen
From: Philip Herron We just had an assertion here for this case where we expect a trait. This changes the assertion into error handling producing the correct error code with fixit suggestion like rustc. Fixes #2499 gcc/rust/ChangeLog: * typecheck/rust-hir-trait-resolve.cc (TraitResolv

[COMMITTED 044/146] gccrs: Handle type path segments during late resolution 2.0

2025-04-05 Thread arthur . cohen
From: Owen Avery gcc/rust/ChangeLog: * resolve/rust-late-name-resolver-2.0.cc (Late::visit): Call DefaultResolver::visit when visiting TypePath. gcc/testsuite/ChangeLog: * rust/compile/nr2/exclude: Remove entries. Signed-off-by: Owen Avery --- gcc/rust/resolv

Re: [PATCH 2/1] c++/modules: Handle gnu_inline, again [PR119154]

2025-04-05 Thread Jason Merrill
On 3/22/25 8:37 AM, Nathaniel Shead wrote: On Mon, Mar 17, 2025 at 09:42:13AM -0400, Jason Merrill wrote: On 3/14/25 9:28 AM, Nathaniel Shead wrote: Bootstrapped and regtested on x86_64-pc-linux-gnu, OK for trunk? Alternatively, could still mark gnu_inline functions as non-vague, we just need

[PATCH v2 1/1] aarch64: Use PAUTH instead of V8_3A in some places

2025-04-05 Thread Alfie Richards
gcc/ChangeLog: PR target/119372 * config/aarch64/aarch64.cc (aarch64_expand_epilogue): Use TARGET_PAUTH. * config/aarch64/aarch64.md: Update comment. (cherry-picked from commit 20385cb92cbd4a1934661ab97a162c1e25935836) --- gcc/config/aarch64/aarch64.cc | 6 +++---

[PATCH] c++: Properly fold .* [PR114525]

2025-04-05 Thread Simon Martin
We've been miscompiling the following since r0-51314-gd6b4ea8592e338 (I did not go compile something that old, and identified this change via git blame, so might be wrong) === cut here === struct Foo { int x; }; Foo& get (Foo &v) { return v; } void bar () { Foo v; v.x = 1; (true ? get (v) : ge

Re: [RFC] [C]New syntax for the argument of counted_by attribute for C language

2025-04-05 Thread Bill Wendling
I'd like to offer up this to solve the issues we're facing. This is a combination of everything that's been discussed here (or at least that I've been able to read in the centi-thread :-). --- 1. The use of '__self' isn't feasible, so we won't use it. Instead, we'll rely upon the current behavior

Re: Please Ignore -- testing email

2025-04-05 Thread Mark Wielaard
Hi Matthew, On Tue, 2025-04-01 at 09:38 +0100, Matthew Malcomson wrote: > One more time -- trying to figure out email difficulties. I see the date (but hope it isn't a joke) and the "Please ignore". But just in case you haven't found the issue and need to do more testing or if someone else needs

[PATCH] phiprop: Avoid proping loads into loops [PR116835]

2025-04-05 Thread Andrew Pinski
phiprop can sometimes prop loads back into loops and in some cases cause wrong code when the load was from a weak symbol as now it becomes an unconditional load before the loop. Bootstrapped and tested on x86_64-linux-gnu with no regressions. PR tree-optimization/116835 gcc/ChangeLog:

[COMMITTED 126/146] gccrs: lower: Properly lower non-generic lang item type path segments.

2025-04-05 Thread arthur . cohen
From: Arthur Cohen gcc/rust/ChangeLog: * hir/rust-ast-lower-type.cc (ASTLowerTypePath::visit): Adapt code to lang item type path segments. --- gcc/rust/hir/rust-ast-lower-type.cc | 40 ++--- 1 file changed, 14 insertions(+), 26 deletions(-) diff --git a

New French PO file for 'cpplib' (version 15.1-b20250316)

2025-04-05 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'cpplib' has been submitted by the French team of translators. The file is available at: https://translationproject.org/latest/cpplib/fr.po (This file, 'cpplib-15.1-b2025031

Re: [PATCH] libstdc++: Fix up string _M_constructor exports [PR103827]

2025-04-05 Thread Rainer Orth
Hi Jonathan, >> Indeed, I can build on Solaris 11 with this patch and it passes 'make >> check-abi' on sparc-solaris and x86_64-linux. I'll push it. > > Pushed as r15-9071-g44289d258a970e Last night's bootstraps finished without regressions. Thanks for the quick fix. Rainer -- ---

Re: [RFC 0/4] Doc: Reorganize the "C Extensions" chapter [PR42270]

2025-04-05 Thread Sandra Loosemore
On 3/13/25 20:39, Sandra Loosemore wrote: This series of patches attempts to bring some organization to the current random order of topics within the "C Extensions" chapter of the manual. [snip] I've now pushed these patches. -Sandra

RE: [PATCH 2/2] [cobol] make sources coretypes.h and tree.h clean

2025-04-05 Thread Robert Dubner
> -Original Message- > From: Jakub Jelinek > Sent: Wednesday, March 19, 2025 13:08 > To: Robert Dubner > Cc: Richard Biener ; gcc-patches@gcc.gnu.org > Subject: Re: [PATCH 2/2] [cobol] make sources coretypes.h and tree.h clean > > On Wed, Mar 19, 2025 at 12:04:05PM -0500, Robert Dubner w

[PATCH] OpenMP: 'interop' construct - add ME support + target-independent libgomp

2025-04-05 Thread Paul-Antoine Arras
This patch partially enables use of the OpenMP interop construct by adding middle end support, mostly in the omplower pass, and in the target-independent part of the libgomp runtime. It follows up on previous patches for C, C++ and Fortran front ends support. The full interop feature requires anoth

Re: [Pushed] Fix r15-8073 (Pass -macos_version_min to the linker)

2025-04-05 Thread Iain Sandoe
> On 18 Mar 2025, at 01:27, Andrew Pinski wrote: > > So what is happening is gcc_cv_ld64_macosx_version_min is being > used for the replacement and being set in a few locations but > gcc_cv_ld64_macos_version_min is set in others. > Since the auto-host.h variable is named LD64_HAS_MACOS_VERSIO

Re: [PATCH] RISC-V: Fixbug for slli + addw + zext.w into sh[123]add + zext.w

2025-04-05 Thread Jeff Law
On 4/1/25 12:20 AM, Jin Ma wrote: Assuming we have the following variables: unsigned long long a0, a1; unsigned int a2; For the expression: a0 = (a0 << 50) >> 49; // slli a0, a0, 50 + srli a0, a0, 49 a2 = a1 + a0; // addw a2, a1, a0 + slli a2, a2, 32 + srli a2, a2, 32 In the opt

RE: [PATCH][RFC] [cobol] change cbl_field_data_t::etc_t::value from _Float128 to tree

2025-04-05 Thread Robert Dubner
> -Original Message- > From: Richard Biener > Sent: Thursday, March 20, 2025 10:16 > To: gcc-patches@gcc.gnu.org > Cc: Jakub Jelinek ; rdub...@symas.com > Subject: Re: [PATCH][RFC] [cobol] change cbl_field_data_t::etc_t::value > from _Float128 to tree > > On Thu, 20 Mar 2025, Richard B

Re: [Patch] testsuite/lib/libgomp.exp: compile with -fdiagnostics-plain-output

2025-04-05 Thread Jakub Jelinek
On Fri, Mar 21, 2025 at 01:10:44PM +0100, Tobias Burnus wrote: > I tried to match in dg-warning the whole string, including [-OpenMP], but it > failed. > > I turned out that that was because of -fdiagnostics-urls ... > > Solution do what other testsuites do: Use -fdiagnostics-plain-output. > >

[PUSHED] Add 'g++.target/nvptx/alias-g++.dg_init_dtor2-2.C'

2025-04-05 Thread Thomas Schwinge
... next to '-malias' variant: commit a1865fd33897bc6c6e0109df0a12ee73ce386315 "Add 'g++.target/nvptx/alias-g++.dg_init_dtor2-1.C'", to document what we're doing to '-mno-alias'. gcc/testsuite/ * g++.target/nvptx/alias-g++.dg_init_dtor2-2.C: New. --- .../nvptx/alias-g++.dg_init_dt

Re: [PATCH] RISC-V: xtheadmemidx: Split slli.uw pattern [combine question]

2025-04-05 Thread Christoph Müllner
On Wed, Apr 2, 2025 at 5:35 AM Jeff Law wrote: > > > Segher -- there's a combine question near the end... I've created PR119587 to keep track of this issue. BR Christoph > > > On 3/23/25 8:43 PM, Bohan Lei wrote: > > The combine pass can generate an index like (and:DI (mult:DI (reg:DI) > > (con

[COMMITTED 040/146] gccrs: Add optional template arguments to please GCC4.8

2025-04-05 Thread arthur . cohen
From: Pierre-Emmanuel Patry Clang on macos as well as GCC 4.8 complains when those templates are missing. gcc/rust/ChangeLog: * hir/rust-ast-lower-expr.cc (ASTLoweringExpr::visit): Add template to tl::optional. * hir/rust-ast-lower-type.cc (ASTLowerGenericParam::visit):

Re: [PATCH] APX: add nf counterparts for rotl split pattern [PR 119539]

2025-04-05 Thread Hongyu Wang
> Can we just change the output in original pattern, I think combine > will still match the pattern even w/ clobber flags. Yes, adjusted and updated the patch in attachment. Liu, Hongtao 于2025年4月2日周三 08:57写道: > > > > > -Original Message- > > From: Uros Bizjak > > Sent: Tuesday, April 1,

Re: [PATCH] inline: Add a call to unreachable to the return block for noreturn calls [PR119599]

2025-04-05 Thread Andrew Pinski
On Thu, Apr 3, 2025 at 12:14 AM Richard Biener wrote: > > On Thu, Apr 3, 2025 at 9:04 AM Andrew Pinski wrote: > > > > On Wed, Apr 2, 2025 at 11:52 PM Richard Biener > > wrote: > > > > > > On Thu, Apr 3, 2025 at 7:10 AM Andrew Pinski > > > wrote: > > > > > > > > builtin_unreachable_bb_p exacts

[PATCH] libstdc++: Add P1206R7 range operations to std::deque [PR111055]

2025-04-05 Thread Tomasz Kamiński
This is another piece of P1206R7, adding from_range constructor, append_range, prepend_range, insert_range, and assign_range members to std::deque. For insert_range, the handling of insertion in the middle of input-only ranges that are sized could be optimized, we still insert nodes one-by-one in

[PATCH][gcc-14] libstdc++: Fix bogus -Wstringop-overflow in std::vector::insert [PR117983]

2025-04-05 Thread Jonathan Wakely
This was fixed on trunk by r15-4473-g3abe751ea86e34, but that isn't suitable for backporting. Instead, just add another unreachable condition in std::vector::_M_range_insert so the compiler knows this memcpy doesn't use a length originating from a negative ptrdiff_t converted to a very positive siz

Re: [committed] testsuite: Fix up atomic-inst-ldlogic.c

2025-04-05 Thread Sam James
Jakub Jelinek writes: > Hi! > > r15-8956 changed in the test: > -/* { dg-final { scan-assembler-times "ldclr\t" 16} */ > +/* { dg-final { scan-assembler-times "ldclr\t" 16 } */ > which made it even worse than before, when the directive has > been silently ignored because it didn't match the regex

RE: [PATCH] fold-const, cobol: Add native_encode_wide_int and use it in COBOL FE [PR119242]

2025-04-05 Thread Robert Dubner
> -Original Message- > From: Jakub Jelinek > Sent: Wednesday, April 2, 2025 12:36 > To: Richard Biener ; Robert Dubner ; > James K. Lowden ; Richard Sandiford > > Cc: gcc-patches@gcc.gnu.org > Subject: [PATCH] fold-const, cobol: Add native_encode_wide_int and use it > in COBOL FE [PR11

[COMMITTED 141/146] gccrs: derive(Clone): Add deriving of simple enum variants

2025-04-05 Thread arthur . cohen
From: Arthur Cohen gcc/rust/ChangeLog: * expand/rust-derive-clone.cc: Clone enum identifier variants properly * expand/rust-derive-clone.h: Declare new functions used. --- gcc/rust/expand/rust-derive-clone.cc | 52 ++-- gcc/rust/expand/rust-derive-clone.h

[COMMITTED 036/146] gccrs: Fix Generic type retrieval

2025-04-05 Thread arthur . cohen
From: Pierre-Emmanuel Patry gcc/rust/ChangeLog: * hir/rust-ast-lower-type.cc (ASTLowerGenericParam::visit): Forward an optional to the constructor. * hir/tree/rust-hir-item.cc (TypeParam::TypeParam): Use an optional in the constructor. (TypeParam::operator

[COMMITTED 119/144] gccrs: Postpone break on error after name resolution

2025-04-05 Thread arthur . cohen
From: Pierre-Emmanuel Patry We need the top level to run at least once before breaking because it will be required by the other name resolution steps. gcc/rust/ChangeLog: * rust-session-manager.cc (Session::expansion): Break on error after top level name resolution. Signed-off-

Re: [PATCH 3/4] combine: Optimise distribute_links search [PR116398]

2025-04-05 Thread Jeff Law
On 4/4/25 3:22 AM, Richard Sandiford wrote: Another problem in PR101523 was that, after each successful 2->2 combination attempt, distribute_links would search further and further for the next combinable use of the i2 destination. Each search would start at i2 itself, making the search quadra

[COMMITTED 25/35] gccrs: Fix ICE when compiling path which resolves to trait constant

2025-04-05 Thread arthur . cohen
From: Philip Herron Fixes Rust-GCC#3552 gcc/rust/ChangeLog: * backend/rust-compile-resolve-path.cc (HIRCompileBase::query_compile): check for Expr trait * hir/rust-hir-dump.cc (Dump::visit): expr is optional gcc/testsuite/ChangeLog: * rust/compile/issue-3552.rs: New t

[committed] arm: add commutative alternatives to mull pattern.

2025-04-05 Thread Richard Earnshaw
Prior to Armv6, the SMULL and UMULL instructions, which have the form UMULL Rdlo, Rdhi, Rm, Rs had an operand restriction such that Rdlo, Rdhi and Rm must all be different registers. Rs, however can overlap either of the destination registers. Add some register-tie alternatives to allow th

[COMMITTED] Doc: #pragma pack documentation cleanup [PR114957] [PR78008] [PR60972]

2025-04-05 Thread Sandra Loosemore
This patch addresses a number of issues with the documentation of - None of the things in this section had @cindex entries [PR114957]. - The document formatting didn't match that of other #pragma documentation sections. - The effect of #pragma pack(0) wasn't documented [PR78008]. - There's a lo

[pushed] c++: lambda in function template signature [PR119401]

2025-04-05 Thread Jason Merrill
Tested x86_64-pc-linux-gnu, applying to trunk. -- 8< -- Here we instantiate the lambda three times in producing A<0>::f: 1) in tsubst_function_type, substituting the type of A<>::f 2) in tsubst_function_decl, substituting the parameters of A<>::f 3) in regenerate_decl_from_template when instantia

[COMMITTED 08/35] gccrs: lower: Handle let-else properly

2025-04-05 Thread arthur . cohen
From: Arthur Cohen gcc/rust/ChangeLog: * hir/tree/rust-hir-stmt.h (class LetStmt): Add optional diverging else expression. * hir/tree/rust-hir-stmt.cc: Likewise. * hir/rust-ast-lower-stmt.cc (ASTLoweringStmt::visit): Add handling for lowering diverging else. ---

[PATCH 27/27] i386: Raise deprecate warning for -mavx10.1-256/512 and -mevex512 while add -mavx10.1 back with 512 bit alias

2025-04-05 Thread Haochen Jiang
When AVX10.1 options are added into GCC 14, E-core is supposed to support up to 256 bit vector width, while P-core up to 512 bit vector width. Therefore, we added avx10.1-256 and avx10.1-512 options into compiler since there will be real platforms with 256 bit only support. At the same time, for ol

[COMMITTED 005/144] gccrs: ffi-polonius: Remove usage of extern types.

2025-04-05 Thread arthur . cohen
From: Arthur Cohen This will allow us to revert our dependency on extern types, which would help our godbolt build as well as our various builders. gcc/rust/ChangeLog: * checks/errors/borrowck/ffi-polonius/src/gccrs_ffi.rs: Remove extern type feature. * checks/errors/bor

[COMMITTED 079/144] gccrs: session-manager: Fix typos in -frust-incomplete message

2025-04-05 Thread arthur . cohen
From: Arthur Cohen gcc/rust/ChangeLog: * rust-session-manager.cc (Session::compile_crate): Use less repetition, fix a typo in `reports`, fix word order. --- gcc/rust/rust-session-manager.cc | 9 + 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/gcc/rust/rus

Re: [PATCH] combine: Allow 2->2 combos but limit insn searches [PR116398]

2025-04-05 Thread Jakub Jelinek
On Thu, Apr 03, 2025 at 02:40:43PM +0100, Richard Sandiford wrote: > > I see. I understood Jakub thinks my change is too aggressive since > > it does indeed miss combine attempts from changed log-links. > > > > I remember that when allowing added_links_insn to override the > > i3 return for i2_unc

[PATCH] tree-optimization/119534 - reject bogus emulated vectorized gather

2025-04-05 Thread Richard Biener
The following makes sure to reject the attempts to emulate a vector gather when the discovered index vector type is a vector mask. Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. Richard. PR tree-optimization/119534 * tree-vect-stmts.cc (get_load_store_type): Rejec

[COMMITTED 111/144] gccrs: Move bir builder function implementation

2025-04-05 Thread arthur . cohen
From: Pierre-Emmanuel Patry Move function implementation to their own file. gcc/rust/ChangeLog: * Make-lang.in: Add new rust-bir-builder-pattern file. * checks/errors/borrowck/rust-bir-builder-pattern.h: Remove implementation. * checks/errors/borrowck/rust-bir-bu

[COMMITTED 041/146] gccrs: Use default constructor for default arguments

2025-04-05 Thread arthur . cohen
From: Pierre-Emmanuel Patry GCC 4.8 complains about the initializer list. gcc/rust/ChangeLog: * typecheck/rust-tyty.h: Change initializer list to default constructor call. Signed-off-by: Pierre-Emmanuel Patry --- gcc/rust/typecheck/rust-tyty.h | 6 +++--- 1 file changed, 3 in

Re: [PATCH RFA] ipa: target clone and mangling alias [PR114992]

2025-04-05 Thread Richard Biener
On Thu, 20 Mar 2025, Jason Merrill wrote: > Tested x86_64-pc-linux-gnu. OK for trunk and backports? > > -- 8< -- > > Since the mangling of the second lambda changed (previously we counted all > lambdas, now we only count lambdas with the same signature), we > generate_mangling_alias for handler

Re: [Patch, Fortran] C prototypes for functions returning C function pointers

2025-04-05 Thread Steve Kargl
On Mon, Mar 24, 2025 at 09:40:38PM +0100, Thomas Koenig wrote: > > Regression-tested. Again no test case because I don't know > how. During testing, I also found that vtabs were dumped, > this is also corrected. > > OK for trunk? Thanks for working on this, but ... > > /* This section deals

[COMMITTED 075/141] gccrs: fix unconstrained generics check to handle recursive generics

2025-04-05 Thread arthur . cohen
From: Philip Herron Generics can be constrained within other generic types so this check needs to be recursive. Fixes Rust-GCC#3031 gcc/rust/ChangeLog: * typecheck/rust-hir-type-check-base.cc (walk_types_to_constrain): recursive walker * typecheck/rust-tyty.cc (BaseType::get_s

Re: [PATCH][RFC] [cobol] change cbl_field_data_t::etc_t::value from _Float128 to tree

2025-04-05 Thread James K. Lowden
On Mon, 24 Mar 2025 22:55:44 +0100 Jakub Jelinek wrote: > > When cbl_field_t::data::value_of returned _Float128, that line > > compared a _Float128 to its value as a size_t. If the number was > > negative, had a fractional component, or was too large, the test > > failed. > > > > Now cbl_fiel

[pushed] c++: operator!= rewriting and arg-dep lookup

2025-04-05 Thread Jason Merrill
Tested x86_64-pc-linux-gnu, applying to trunk. -- 8< -- When considering an op== as a rewrite target, we need to disqualify it if there is a matching op!= in the same scope. But add_candidates was assuming that we could use the same set of op!= for all op==, which is wrong if arg-dep lookup find

Re: [PATCH] tailc: Don't fail musttail calls if they use or could use local arguments, instead warn [PR119376]

2025-04-05 Thread Alexander Monakov
On Tue, 25 Mar 2025, Andi Kleen wrote: > On Tue, Mar 25, 2025 at 07:43:28PM +0300, Alexander Monakov wrote: > > Hello, > > > > FWIW I think Clang made a mistake in bending semantics in a way that is > > clearly > > misaligned with the general design of C and C++, where a language-native, > >

[COMMITTED 27/35] gccrs: nr2.0: Fix test macros/mbe/macro43.rs

2025-04-05 Thread arthur . cohen
From: Owen Avery gcc/testsuite/ChangeLog: * rust/compile/macros/mbe/macro43.rs: Adjust test to pass with name resolution 2.0. * rust/compile/nr2/exclude: Remove macros/mbe/macro43.rs. Signed-off-by: Owen Avery --- gcc/testsuite/rust/compile/macros/mbe/macro43.rs | 15 +

[PATCH 04/10] testsuite: aarch64: restore torture options in vml[as]_float_not_used.c

2025-04-05 Thread Christophe Lyon
Remove dg-options, so that the test is executed as expected using the options defined by advsimd-intrinsics.exp. gcc/testsuite/ * gcc.target/aarch64/advsimd-intrinsics/vmla_float_not_fused.c: Remove dg-options. * gcc.target/aarch64/advsimd-intrinsics/vmls_float_not_

[COMMITTED 142/146] gccrs: ast-builder: Add new methods for building structs

2025-04-05 Thread arthur . cohen
From: Arthur Cohen gcc/rust/ChangeLog: * ast/rust-ast-builder.cc: Add new methods for constructing struct exprs. * ast/rust-ast-builder.h: Mention how to build tuple expressions. --- gcc/rust/ast/rust-ast-builder.cc | 12 ++-- gcc/rust/ast/rust-ast-builder.h | 5 +

Re: [PATCH v2 0/4] Libsanitizer improvements

2025-04-05 Thread Aleksandar Rakic
HTEC Public > It is mentioned in libsantizer/README.gcc : > ``` > Both tools consist of a compiler module and a run-time library. > The sources of the run-time library for these projects are hosted at > https://github.com/llvm/llvm-project in the following directories: > ``` > > Thanks, > Andrew

New Swedish PO file for 'gcc' (version 15.1-b20250316)

2025-04-05 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'gcc' has been submitted by the Swedish team of translators. The file is available at: https://translationproject.org/latest/gcc/sv.po (This file, 'gcc-15.1-b20250316.sv.po'

[COMMITTED 053/146] gccrs: allow casts from numeric types to floats

2025-04-05 Thread arthur . cohen
From: Philip Herron Fixes Rust-GCC#3261 gcc/rust/ChangeLog: * typecheck/rust-casts.cc (TypeCastRules::cast_rules): allow casts to float gcc/testsuite/ChangeLog: * rust/compile/issue-3261.rs: New test. Signed-off-by: Philip Herron --- gcc/rust/typecheck/rust-casts.cc

[PATCH] aarch64: change another CRC test

2025-04-05 Thread Sam James
Fixed the iteration number in crc-crc32-data16.c test from 8 to 16 to match the test name, just like in r15-9038-gdf55a933cfc675. gcc/testsuite/ChangeLog: * gcc.target/aarch64/crc-crc32-data16.c: Fix iteration count to match testname. --- Do we need this as well? Untested so far.

[PATCH] libstdc++: Fix up string _M_constructor exports [PR103827]

2025-04-05 Thread Jakub Jelinek
On Thu, Mar 27, 2025 at 02:04:24PM +0100, Jan Hubicka wrote: > > > Newline between functions please. > > > > > > OK with those two changes. > > > > Looking back through my inbox, this one doesn't seem to have been > > pushed. Was it superseded by something else, or is it just waiting for > > stage

[COMMITTED 081/146] gccrs: typecheck-path: Fix typo (reciever -> receiver)

2025-04-05 Thread arthur . cohen
From: Arthur Cohen gcc/rust/ChangeLog: * typecheck/rust-hir-path-probe.cc: Fix typos. * typecheck/rust-hir-path-probe.h: Likewise. * typecheck/rust-hir-type-check-path.cc: Likewise. --- gcc/rust/typecheck/rust-hir-path-probe.cc | 4 ++-- gcc/rust/typecheck/rust-hir

[COMMITTED 029/146] gccrs: Fix bad handling for recursive type query

2025-04-05 Thread arthur . cohen
From: Philip Herron When resolving a type like this which is generic it causes the argument substitution to go through bounds checking which is expected. But this can call a type bounds probe which again calls a type query which will be on the Impl Type on an impl block which can result in a recu

[COMMITTED 113/146] gccrs: gcc/rust/ChangeLog:

2025-04-05 Thread arthur . cohen
From: Om Swaroop Nayak <96killera...@gmail.com> * ast/rust-collect-lang-items.cc (get_lang_item_attr): "removed checker fn" * util/rust-attributes.cc (Attributes::is_lang_item): "added fn" * util/rust-attributes.h: "added fn" Signed-off-by: Om Swaroop Nayak <96killera...@

[COMMITTED 067/146] gccrs: attributes: Add class for sharing methods on attributes.

2025-04-05 Thread arthur . cohen
From: Arthur Cohen gcc/rust/ChangeLog: * util/rust-attributes.h (class Attributes): New. * util/rust-attributes.cc: Implement Attributes::is_known(). * ast/rust-collect-lang-items.cc (is_known_attribute): Remove. (get_lang_item_attr): Call Attributes::is_known() i

[PATCH 2/2] GCN: Don't emit weak undefined symbols [PR119369]

2025-04-05 Thread Thomas Schwinge
This resolves all instances of PR119369 "GCN: weak undefined symbols -> execution test FAIL, 'HSA_STATUS_ERROR_VARIABLE_UNDEFINED'"; for all affected test cases, the execution test status progresses FAIL -> PASS. This however also causes a small number of (expected) regressions, very similar to G

[COMMITTED 132/144] gccrs: Allow identifiers and paths to reference types during nr2.0

2025-04-05 Thread arthur . cohen
From: Owen Avery gcc/rust/ChangeLog: * resolve/rust-late-name-resolver-2.0.cc (Late::visit): Allow IdentifierExpr and PathInExpression to reference types as well as values, remove ability for IdentifierExpr to reference labels. gcc/testsuite/ChangeLog: *

[PATCH 2/2] libgomp: Add AArch64 SVE target tests to libgomp.

2025-04-05 Thread Tejas Belagod
Add AArch64 SVE target exectute tests to test various workshare constructs and clauses with SVE types. libgomp/ChangeLog: * testsuite/libgomp.c-target/aarch64/aarch64.exp: Test driver. * testsuite/libgomp.c-target/aarch64/firstprivate.c: New test. * testsuite/libgomp.c-tar

[COMMITTED 086/146] gccrs: lang-item: Add Option::{None, Some}, Iterator::next, IntoIter::into_iter

2025-04-05 Thread arthur . cohen
From: Arthur Cohen gcc/rust/ChangeLog: * util/rust-lang-item.h: Add new lang items. * util/rust-lang-item.cc: Likewise. --- gcc/rust/util/rust-lang-item.cc | 6 ++ gcc/rust/util/rust-lang-item.h | 9 + 2 files changed, 15 insertions(+) diff --git a/gcc/rust/util/ru

Re: [PATCH] gcc_release: Generate srcdir extras/infos/man pages from all FEs [PR119510]

2025-04-05 Thread Richard Biener
On Mon, 31 Mar 2025, Andreas Schwab wrote: > On Mär 31 2025, Richard Biener wrote: > > > Do we even install libffi.info? > > We shouldn't. It would conflict with the standalone libffi library, and > we don't install anything from the target libffi library anyway (it's > only used internally).

Re: [PATCH] cobol: Make CXXFLAGS_FOR_TARGET available to the libgcobol build.

2025-04-05 Thread Richard Biener
On Fri, Mar 21, 2025 at 4:56 AM Robert Dubner wrote: > > I seek benediction. Failing that, I ask for advice. > > This patch makes it possible for me to set the environment variable > 'CXXFLAGS_FOR_TARGET="-ggdb -O0"' at configure time, and end up with a > debuggable libgcobol.so. > > Is this a co

[PATCH 03/10] testsuite: aarch64: restore torture options in bf16_dup.c

2025-04-05 Thread Christophe Lyon
Remove dg-options, so that the test is executed as expected using the options defined by advsimd-intrinsics.exp. (Previously we pretend we do, but in fact all torture options are silently overriden with -O2) We skip it at -O0, because the tested optimizations does not take place at this level.

Re: [PATCH][RFC] [cobol] change cbl_field_data_t::etc_t::value from _Float128 to tree

2025-04-05 Thread Jakub Jelinek
On Tue, Mar 25, 2025 at 01:01:59PM -0400, James K. Lowden wrote: > (I'm sure that's true. In my defense, the nonterminal is named > "count", and the comment is > > // verify not floating point with nonzero fraction > > but I admit that's not a lot to go on.) > > Let me clarify. :-) >

[COMMITTED 24/35] gccrs: Add new test to highlight namespace for self import

2025-04-05 Thread arthur . cohen
From: Pierre-Emmanuel Patry gcc/testsuite/ChangeLog: * rust/compile/self_import_namespace.rs: New test. Signed-off-by: Pierre-Emmanuel Patry --- .../rust/compile/self_import_namespace.rs | 14 ++ 1 file changed, 14 insertions(+) create mode 100644 gcc/testsuite/r

[COMMITTED 102/146] gccrs: add support for lang_item eq and PartialEq trait

2025-04-05 Thread arthur . cohen
From: Philip Herron The Eq and Partial Ord are very similar to the operator overloads we support for add/sub/etc... but they differ in that usually the function call name matches the name of the lang item. This time we need to have support to send in a new path for the method call on the lang ite

[PATCH v2 3/7] MIPSR6: Fix ICE occurred in R6 target

2025-04-05 Thread Aleksandar Rakic
From: Jaydeep Patil Fix ICE occurred in R6 target due to a clobber-list introduced in MADD/MSUB during combine pass. gcc/ * config/mips/mips.md: Define new splitters for MADD/MSUB on the r6 target. Cherry-picked 180f74c8ebdf13ddac806695d0333af7b924c402 from https://github.com/MI

[COMMITTED] Doc: Improve wording of -Werror documentation [PR58973]

2025-04-05 Thread Sandra Loosemore
gcc/ChangeLog PR driver/58973 * common.opt (Werror, Werror=): Use less awkward wording in description. (pedantic-errors): Likewise. * doc/invoke.texi (Warning Options): Likewise for -Werror and -Werror= here. Co-Authored-By: GUO Yixuan --- gcc/comm

[COMMITTED 022/146] gccrs: fix ICE for placeholder which is not setup

2025-04-05 Thread arthur . cohen
From: Philip Herron We can have a case where the placeholder is not configred and the can_resolve check is not detecting this case which can lead to ICE. gcc/rust/ChangeLog: * typecheck/rust-tyty.cc (PlaceholderType::can_resolve): check for empty mappings Signed-off-by: Philip Herron

[COMMITTED 045/146] gccrs: Use nr2.0 in typechecker

2025-04-05 Thread arthur . cohen
From: Owen Avery I probably missed a few spots, but this should cover most of the type checker. gcc/rust/ChangeLog: * typecheck/rust-hir-type-check-expr.cc: Add includes. (TypeCheckExpr::visit): Use name resolver 2.0. (TypeCheckExpr::resolve_operator_overload): Likewise.

RE: [PATCH] change cbl_field_data_t::etc_t::value from _Float128 to tree

2025-04-05 Thread Robert Dubner
Okay! Real progress here. Preliminary report: I am still seeing trouble with a PIC PP9 variable coming back .000 instead of 0.001. In my 679 UAT tests, the failure count is down from 23 to 4 In the NIST tests, the failure count is down from 273 to 35 It's after midnight, and my daily chores a

[PATCH] vect: Add assert to expand_vector_conversion [PR118616]

2025-04-05 Thread Andrew Pinski
In some cases (after inliing due to LTO and -O3), GCC cannot figure out that the length of the converts vect is not empty when supportable_indirect_convert_operation returns true. So we get an extra warning because we loop through all but the last entry and GCC decided that `converts.length () - 1`

[PATCH v1 0/2] Add target_version support to C frontend

2025-04-05 Thread Alfie Richards
Hi All, This patch series relies upon my C++ frontend patch series. I have uploaded both series to the Forgejo instance (https://forge.sourceware.org/alfie.richards/gcc-TEST/pulls/1) both to have a public remote branch to easily pull from and to allow reviews on there is so desired. This series a

[COMMITTED 049/144] gccrs: Added counting to check for asm_construct_outputs

2025-04-05 Thread arthur . cohen
From: badumbatish gcc/rust/ChangeLog: * backend/rust-compile-asm.cc (CompileAsm::asm_construct_outputs): Set up counting to check --- gcc/rust/backend/rust-compile-asm.cc | 7 +++ 1 file changed, 7 insertions(+) diff --git a/gcc/rust/backend/rust-compile-asm.cc b/gcc/rust/

Re: [PATCH] Libstdc++: Fix bootstrap failure for cross without tm.tm_zone [PR119550]

2025-04-05 Thread Jonathan Wakely
On Wed, 2 Apr 2025 at 07:16, Tomasz Kaminski wrote: > > > > On Tue, Apr 1, 2025 at 2:46 PM Jonathan Wakely wrote: >> >> On Tue, 1 Apr 2025 at 11:34, Tomasz Kaminski wrote: >> > >> > >> > >> > On Mon, Mar 31, 2025 at 7:28 PM Jonathan Wakely wrote: >> >> >> >> In r15-8491-g778c28c70f8573 I added

Re: [PATCH v2] RISC-V: vsetvl: skip abnormal edge on vsetvl insertion [PR119533]

2025-04-05 Thread Vineet Gupta
On 4/1/25 17:44, Jeff Law wrote: > On 4/1/25 12:15 PM, Vineet Gupta wrote: >> On 3/31/25 23:48, Heinrich Schuchardt wrote: >>> On 3/30/25 01:49, Vineet Gupta wrote: changes since v2 - dump log sanfu --- vsetvl phase4 uses LCM guided info to insert VSETVL insns. It h

[PATCH, V5] PR target/118541 - Do not generate unordered fp cmoves for IEEE compares on PowerPC

2025-04-05 Thread Michael Meissner
This is version 5 of the patch. In version 5 of the patch, I added the 'class' keyword in declaring the enumeration. In versions 4 of the patch, I changed the use of enums to match current C++. In version 3, I made the following changes: 1: The new argument to rs6000_reverse_condition that

[COMMITTED 132/146] gccrs: lang-items: Mark Clone trait as a lang item in testsuite

2025-04-05 Thread arthur . cohen
From: Arthur Cohen gcc/testsuite/ChangeLog: * rust/compile/derive_macro1.rs: Add #[lang = "clone"] to Clone trait. * rust/compile/derive_macro3.rs: Likewise. * rust/compile/derive_macro6.rs: Likewise. * rust/execute/torture/derive_macro3.rs: Likewise. --- gcc/tes

[COMMITTED 130/141] gccrs: Fix canonical path parent resolution

2025-04-05 Thread arthur . cohen
From: Pierre-Emmanuel Patry The algorithm was comparing using the wrong id, this lead to some mangling errors as an erroneous parent was selected. gcc/rust/ChangeLog: * resolve/rust-forever-stack.hxx: Fix the id comparison. Signed-off-by: Pierre-Emmanuel Patry --- gcc/rust/resolve/ru

[COMMITTED 048/144] gccrs: Added new test for prep of output {}

2025-04-05 Thread arthur . cohen
From: badumbatish gcc/testsuite/ChangeLog: * rust/compile/inline_asm_parse_output_operand.rs: New test. --- .../compile/inline_asm_parse_output_operand.rs | 18 ++ 1 file changed, 18 insertions(+) create mode 100644 gcc/testsuite/rust/compile/inline_asm_parse_output_op

Re: [PATCH] testsuite: Remove guality xfails for aarch64*-*-*

2025-04-05 Thread Richard Sandiford
Christophe Lyon writes: > Since r15-7878-ge1c49f413c8, these tests appear as XPASS on aarch64, > so we can remove the xfails introduced by r12-102-gf31ddad8ac8f11. > > gcc/testsuite/ChangeLog: > > * gcc.dg/guality/pr90074.c: Remove xfail for aarch64. > * gcc.dg/guality/pr90716.c: Likew

  1   2   3   >