[committed] testsuite: Make embed-10.c test more robust

2025-01-17 Thread Jakub Jelinek
Hi! With the https://gcc.gnu.org/pipermail/gcc-patches/2025-January/673945.html hack we get slightly different error wording in one of the errors, given that the test actually does use #embed, I think both wordings are just fine and we should accept them. Tested on x86_64-linux, committed to

[GCC-14][committed] d: Fix ICE in expand_d_format when diagnosing empty enum [PR117115]

2025-01-17 Thread Iain Buclaw
Hi, This patch backports the individual fix for PR117115 from the upstream merge in r15-6824 into the releases/gcc-14 branch. Bootstrapped and regression tested on x86_64-linux-gnu/-m32, and committed to branch. Regards, Iain. --- PR d/117115 gcc/testsuite/ChangeLog: * gdc.dg

[committed] d: Add testcase for fixed PR117115

2025-01-17 Thread Iain Buclaw
Hi, This patch adds a testcase for a PR that was fixed in upstream, and merged in r15-6824. Regression tested on x86_64-linux-gnu, and committed to mainline. Regards, Iain. --- PR d/117115 gcc/testsuite/ChangeLog: * gdc.dg/pr117115.d: New test. --- gcc/testsuite/gdc.dg

RE: [COMMITTED] OpenMP: Fix metadirective test failures on x86_64 with -m32

2025-01-16 Thread Jiang, Haochen
> From: Sandra Loosemore > Sent: Friday, January 17, 2025 12:11 PM > Thanks for the quick fix! Thx, Haochen > gcc/testsuite/ChangeLog > * c-c++-common/gomp/metadirective-device.c: Don't add extra > options > for target ia32. > * c-c++-common/gomp/metadirective-target-device-1

[COMMITTED] OpenMP: Fix metadirective test failures on x86_64 with -m32

2025-01-16 Thread Sandra Loosemore
gcc/testsuite/ChangeLog * c-c++-common/gomp/metadirective-device.c: Don't add extra options for target ia32. * c-c++-common/gomp/metadirective-target-device-1.c: Likewise. --- gcc/testsuite/c-c++-common/gomp/metadirective-device.c | 2 +- gcc/testsuite/c-c++-common

[GCC-14][committed] d: Fix record layout of compiler-generated TypeInfo_Class [PR115249]

2025-01-16 Thread Iain Buclaw
f the `ClassFlags' field from uint to ushort, and adds a new ushort `depth' field in the space where ClassFlags used to occupy. Bootstrapped and regression tested on x86_64-pc-linux-gnu and sparcv9-sun-solaris2.11, committed to releases/gcc-14. Regards, Iain. --- PR d/115249

[committed] d: Fix record layout of compiler-generated TypeInfo_Class [PR115249]

2025-01-16 Thread Iain Buclaw
adds a new ushort `depth' field in the space where ClassFlags used to occupy. Bootstrapped and regression tested on x86_64-pc-linux-gnu and sparcv9-sun-solaris2.11, committed to mainline. Regards, Iain. --- PR d/115249 gcc/d/ChangeLog: * typeinfo.cc (create_tinfo_types):

[GCC-14][committed] d: Fix ICE in dmd.expressionsem.resolveLoc

2025-01-16 Thread Iain Buclaw
Hi, This patch backports the individual fix for PR116373 from the upstream merge in r15-6559-g332cf038fda109 into the releases/gcc-14 branch. Bootstrapped and regression tested on x86_64-linux-gnu/-m32, and committed to branch. Regards, Iain. --- PR d/116373 gcc/d/ChangeLog

[committed] d: Add testcase for fixed PR116373

2025-01-16 Thread Iain Buclaw
Hi, This patch adds a testcase for a PR that was fixed in upstream, and merged in r15-6559-g332cf038fda109. Regression tested on x86_64-linux-gnu, and committed to mainline. Regards, Iain. --- PR d/116373 gcc/testsuite/ChangeLog: * gdc.dg/pr116373.d: New test. --- gcc

[committed v2] libstdc++: Move std::basic_ostream to new internal header [PR99995]

2025-01-16 Thread Jonathan Wakely
This adds so that other headers don't need to include all of , which pulls in all of since C++23 (for the std::print and std::println overloads in ). This new header allows the constrained operator<< in to be defined without all of std::format being compiled. We could also replace with in all

Re: [committed] libstdc++: Implement LWG 2937 for std::filesystem::equivalent [PR118158]

2025-01-16 Thread Jonathan Wakely
On Thu, 16 Jan 2025 at 09:50, Jonathan Wakely wrote: > > Do not report an error for (is_other(s1) && is_other(s2)) as the > standard originally said, nor for (is_other(s1) || is_other(s2)) as > libstdc++ was doing. We can compare inode numbers for special files and > so give sensible answers. > >

[committed] libstdc++: Implement LWG 2937 for std::filesystem::equivalent [PR118158]

2025-01-16 Thread Jonathan Wakely
Do not report an error for (is_other(s1) && is_other(s2)) as the standard originally said, nor for (is_other(s1) || is_other(s2)) as libstdc++ was doing. We can compare inode numbers for special files and so give sensible answers. libstdc++-v3/ChangeLog: PR libstdc++/118158 * src/

[committed] libstdc++: Check feature test macro for associative container node extraction

2025-01-16 Thread Jonathan Wakely
Replace some `__cplusplus > 201402L` preprocessor checks with more expressive checks for the appropriate feature test macro. libstdc++-v3/ChangeLog: * include/bits/stl_map.h: Check __glibcxx_node_extract instead of __cplusplus. * include/bits/stl_multimap.h: Likewise.

[COMMITTED] Fix an incorrect file header comment for the core2 scheduling model

2025-01-15 Thread Andi Kleen
From: Andi Kleen Committed as obvious. gcc/ChangeLog: * config/i386/x86-tune-sched-core.cc: Fix incorrect comment. --- gcc/config/i386/x86-tune-sched-core.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/config/i386/x86-tune-sched-core.cc b/gcc/config/i386

[committed] libstdc++: Fix use of internal feature test macro in test

2025-01-15 Thread Jonathan Wakely
This test should use __cpp_lib_ios_noreplace rather than the internal __glibcxx_ios_noreplace macro. libstdc++-v3/ChangeLog: * testsuite/27_io/ios_base/types/openmode/case_label.cc: Use standard feature test macro not internal one. --- Tested x86_64-linux. Pushed to trunk. .../

[committed] libstdc++: Fix fancy pointer test for std::set

2025-01-15 Thread Jonathan Wakely
The alloc_ptr.cc test for std::set tries to use C++17 features unconditionally, and tries to use the C++23 range members which haven't been implemented for std::set yet. Some of the range checks are left in place but commented out, so they can be added after the ranges members are implemented. Oth

[COMMITTED 1/2] doc: trivial grammar fix

2025-01-15 Thread Sam James
We say 'a constant .. expression' elsewhere. Fix the grammar. gcc/ChangeLog: * doc/extend.texi: Add 'a' for grammar fix. --- Committed as obvious. gcc/doc/extend.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/doc/extend.texi b/gcc/d

[COMMITTED 2/2] doc: cleanup trailing whitespace

2025-01-15 Thread Sam James
gcc/ChangeLog: * doc/extend.texi: Cleanup trailing whitespace. --- Committed as obvious. gcc/doc/extend.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index 84894efc2ea4..52ba78b80361 100644 --- a/gcc/doc

[committed] libstdc++: Fix reversed args in unreachable assumption [PR109849]

2025-01-15 Thread Jonathan Wakely
libstdc++-v3/ChangeLog: PR libstdc++/109849 * include/bits/vector.tcc (vector::_M_range_insert): Fix reversed args in length calculation. --- Tested x86_64-linux, pushed to trunk. Backport to gcc-14 to follow after testing. libstdc++-v3/include/bits/vector.tcc | 2 +- 1

[PATCH, committed] Fortran: reject NULL as source-expr in ALLOCATE with SOURCE= or MOLD= [PR71884]

2025-01-15 Thread Harald Anlauf
Dear all, I've committed the attached obvious patch to reject an invalid NULL in ALLOCATE after it was OK'ed in the PR by Steve. Regtested on x86_64-pc-linux-gnu. Pushed as r15-6925-g892304f1fe . Thanks, Harald From 892304f1fe3e808b9f498353c144f1ae0591 Mon Sep 17 00:00:00

[committed] libstdc++: Fix comments in test that reference wrong subclause of C++11

2025-01-15 Thread Jonathan Wakely
libstdc++-v3/ChangeLog: * testsuite/28_regex/traits/char/transform_primary.cc: Fix subclause numbering in references to the standard. --- Pushed to trunk. .../testsuite/28_regex/traits/char/transform_primary.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) dif

[committed][RISC-V][PR target/118170] Add HF div/sqrt reservation

2025-01-14 Thread Jeff Law
Clearly an oversight in the generic-ooo model caught by the checking code. I should have realized it was generic-ooo as we don't have a pipeline description for the tenstorrent design yet, just the costing model. The patch was extracted from the BZ which indicated Anton was the author, so I

[committed] d: Merge upstream dmd, druntime d6f693b46a, phobos 336bed6d8.

2025-01-14 Thread Iain Buclaw
, committed to mainline. Regards, Iain. --- gcc/d/ChangeLog: * dmd/MERGE: Merge upstream dmd d6f693b46a. * d-incpath.cc (add_import_paths): Update for new front-end interface. libphobos/ChangeLog: * libdruntime/MERGE: Merge upstream druntime d6f693b46a. * src

[COMMITTED 3/3] OpenMP: Remove dead code from declare variant reimplementation

2025-01-14 Thread Sandra Loosemore
After reimplementing late resolution of "declare variant", the declare_variant_alt and calls_declare_variant_alt flags on struct cgraph_node are no longer used by anything. For the purposes of marking functions that need late resolution, the has_omp_variant_constructs flag has replaced calls_decla

[COMMITTED 2/3] OpenMP: Re-work and extend context selector resolution

2025-01-14 Thread Sandra Loosemore
This patch reimplements the middle-end support for "declare variant" and extends the resolution mechanism to also handle metadirectives (PR112779). It also adds partial support for dynamic selectors (PR113904) and fixes a selector scoring bug reported as PR114596. I hope this rewrite also improve

[COMMITTED 0/3] OpenMP: metadirectives/dynamic selector infrastructure

2025-01-14 Thread Sandra Loosemore
I've now pushed the 3 big patches that set up the new infrastructure for metadirectives and dynamic selectors. Part 4 of the previous version of the series (labeled "v5") has already been approved and pushed, and I'll be reposting the remaining 5 not-yet-approved parts that add the user-visible su

[COMMITTED 1/3] OpenMP: New tree nodes for metadirective and dynamic selector support.

2025-01-14 Thread Sandra Loosemore
This patch adds basic support for three new tree node types that will be used in subsequent patches to support OpenMP metadirectives and dynamic selectors. OMP_METADIRECTIVE is the internal representation of parsed OpenMP metadirective constructs. It's produced by the front ends and is expanded d

[committed] libphobos: Bump soname to version 6 [PR117701]

2025-01-13 Thread Iain Buclaw
Hi, This patch bumps the soname of libphobos from version 5 to version 6. Each major release is not binary compatible with the previous. Regstrapped on x86_64-linux-gnu, committed to mainline. Regards, Iain. --- PR d/117701 libphobos/ChangeLog: * configure: Regenerate

[COMMITTED] RISC-V: fix thinko in riscv_register_move_cost ()

2025-01-13 Thread Vineet Gupta
This seeming benign mistake caused a massive SPEC2017 Cactu regression (2.1 trillion insn to 2.5 trillion) wiping out all the gains from my recent sched1 improvement. Thankfully the issue was trivial to fix even if hard to isolate. On BPI3: Before bug -- | Performance counter stats for '

[committed][PR rtl-optimization/107455] Eliminate unnecessary constant load - v3

2025-01-13 Thread Jeff Law
This resurrects a patch from a bit over 2 years ago that I never wrapped up. IIRC, I ended up up catching covid, then in the hospital for an unrelated issue and it just got dropped on the floor in the insanity. The basic idea here is to help postreload-cse eliminate more const/copies by recor

[COMMITTED 09/14] ada: Warn about redundant parentheses inside unary operators

2025-01-13 Thread Marc Poulhiès
doesn't require parentheses. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/par-ch4.adb | 38 ++ 1 file changed, 38 insertions(+) diff --git a/gcc/ada/par-ch4.adb b/gcc/ada/par-ch4.adb index 648a4cf6464..ca02f1baac1 100644 --- a/gc

[COMMITTED 14/14] ada: Update gnatdll documentation (-b option removed)

2025-01-13 Thread Marc Poulhiès
From: Pascal Obry gcc/ada/ChangeLog: * doc/gnat_ugn/platform_specific_information.rst: Update. * gnat_ugn.texi: Regenerate. Tested on x86_64-pc-linux-gnu, committed on master. --- .../platform_specific_information.rst | 19 ++- gcc/ada/gnat_ugn.texi

[COMMITTED 12/14] ada: Fix relocatable DLL creation with gnatdll

2025-01-13 Thread Marc Poulhiès
-address has no real meaning. Also reword the usage string for -d as we do not want to specify relocatable as gnatdll can be used to create both relocatable and non relocatable DLL. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/gnatdll.adb | 8 +--- gcc

[COMMITTED 08/14] ada: Remove redundant parentheses inside unary operators in comments

2025-01-13 Thread Marc Poulhiès
: * libgnat/s-genbig.adb: Remove redundant parentheses in comments. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/libgnat/s-genbig.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/libgnat/s-genbig.adb b/gcc/ada/libgnat/s-genbig.adb index

[COMMITTED 11/14] ada: Remove redundant parentheses inside unary operators (cont.)

2025-01-13 Thread Marc Poulhiès
: * libgnat/a-strunb.ads: Remove redundant parentheses inside NOT operators. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/libgnat/a-strunb.ads | 16 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/gcc/ada/libgnat/a-strunb.ads b/gcc/ada

[COMMITTED 04/14] ada: Simplify expansion of negative membership operator

2025-01-13 Thread Marc Poulhiès
-ch4.adb (P_Membership_Test): Remove redundant setting of fields to their default values. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_ch4.adb | 9 +++-- gcc/ada/par-ch4.adb | 4 +--- 2 files changed, 4 insertions(+), 9 deletions(-) diff --git a/gcc/ada/exp_ch4

[COMMITTED 10/14] ada: Cleanup preanalysis of static expressions (part 4)

2025-01-13 Thread Marc Poulhiès
been disabled to prevent expansion that might move target names out of the context of the assignment statement. Restore temporarily the current compilation mode so that the actual subtype can be built. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_ch5

[COMMITTED 13/14] ada: Cleanup preanalysis of static expressions (part 5)

2025-01-13 Thread Marc Poulhiès
Preanalyze_And_Resolve. Add documentation. (Check_Aspect_At_Freeze_Point): Ditto. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_ch13.adb | 28 1 file changed, 20 insertions(+), 8 deletions(-) diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb

[COMMITTED 05/14] ada: Unbounded recursion on character aggregates with predicated component subtype

2025-01-13 Thread Marc Poulhiès
the presence of predicates on the component type. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_aggr.adb | 11 ++- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb index 095093cc76b..f6db5cb97a4 100644

[COMMITTED 07/14] ada: Remove redundant parentheses inside unary operators

2025-01-13 Thread Marc Poulhiès
, sem_attr.adb, sem_ch10.adb, sem_ch3.adb, sem_ch6.adb, sem_ch7.adb, sem_dim.adb, sem_prag.adb, sem_res.adb, uintp.adb: Remove redundant parentheses inside NOT and ABS operators. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/checks.adb

[COMMITTED 06/14] ada: Fix spurious warning about redundant parentheses in range bound

2025-01-13 Thread Marc Poulhiès
parentheses in the lower bound like in the upper bound. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/par-ch3.adb | 16 +++- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/gcc/ada/par-ch3.adb b/gcc/ada/par-ch3.adb index e58e2a2342b..fe727d7c094 100644

[COMMITTED 02/14] ada: Add more commentary to System.Val_Real.Large_Powfive

2025-01-13 Thread Marc Poulhiès
From: Eric Botcazou gcc/ada/ChangeLog: * libgnat/s-valrea.adb (Large_Powfive) [2 parameters]: Add a couple of additional comments. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/libgnat/s-valrea.adb | 5 + 1 file changed, 5 insertions(+) diff --git a/gcc

[COMMITTED 01/14] ada: Fix parsing of raise expressions with no parens

2025-01-13 Thread Marc Poulhiès
rejected. gcc/ada/ChangeLog: * par-ch4.adb (P_Relation): Prevent Expr_Form to be overwritten when parsing the raise expression itself. (P_Simple_Expression): Fix manipulation of Expr_Form. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/par-ch4.adb | 10

[COMMITTED 03/14] ada: Warn about redundant parentheses in upper range bounds

2025-01-13 Thread Marc Poulhiès
nodes that require parentheses to become "simple expressions". Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/par-ch3.adb | 10 +++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/gcc/ada/par-ch3.adb b/gcc/ada/par-ch3.adb index e

[committed] lto: Pass cache checksum by reference [PR118181]

2025-01-12 Thread Michal Jires
Bootstrapped/regtested on x86_64-linux. Committed as obvious. PR lto/118181 gcc/ChangeLog: * lto-ltrans-cache.cc (ltrans_file_cache::create_item): Pass checksum by reference. * lto-ltrans-cache.h: Likewise. --- gcc/lto-ltrans-cache.cc | 2 +- gcc/lto-ltrans

[committed] lto: Fix empty fnctl.h build error with MinGW.

2025-01-12 Thread Michal Jires
MSYS2+MinGW contains headers without defining expected contents. This fix checks that the fcntl function is actually defined. Bootstrapped/regtested on x86_64-linux. Committed as obvious. gcc/ChangeLog: * lockfile.cc (LOCKFILE_USE_FCNTL): New. (lockfile::lock_write): Use

[patch, fortran, committed] Fix union member access

2025-01-12 Thread Thomas Koenig
Hello world, I have committed the attached patch as obvious and simple after regression-testing. I could not construct a test case that actually failed, though, but the logic was wrong (pointer aliasing and the field that was accessed had the wrong offset). Commit is r15-6831

[committed] testsuite: Fix flag used for modules test

2025-01-11 Thread Nathaniel Shead
Tested on x86_64-pc-linux-gnu, committing as obvious. -- >8 -- GCC14 doesn't have the new spelling '-fmodules' for enabling modules; use the old '-fmodules-ts' spelling instead. gcc/testsuite/ChangeLog: * g++.dg/modules/pr114630_a.C: Use -fmodules-ts instead of -fmodules in test

[committed] libstdc++: Fix unused parameter warnings in

2025-01-10 Thread Jonathan Wakely
This fixes warnings like the following during bootstrap: sparc-sun-solaris2.11/libstdc++-v3/include/bits/atomic_futex.h:324:53: warning: unused parameter ‘__mo’ [-Wunused-parameter] 324 | _M_load_when_equal(unsigned __val, memory_order __mo) |~~

[COMMITTED 3/5] ada: Set syntactic node properties immediately when crating the nodes

2025-01-10 Thread Marc Poulhiès
. * sem_ch3.adb (Check_Anonymous_Access_Component): Likewise. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/contracts.adb | 4 ++-- gcc/ada/exp_attr.adb | 8 gcc/ada/exp_ch3.adb | 5 ++--- gcc/ada/sem_ch12.adb | 15 +-- gcc/ada/sem_ch3.adb

[COMMITTED 5/5] ada: Incorrect accessibilty level for library level subprograms

2025-01-10 Thread Marc Poulhiès
: (Innermost_master_Scope_Depth): Add special case for expressions within library level subprograms. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/accessibility.adb | 9 + 1 file changed, 9 insertions(+) diff --git a/gcc/ada/accessibility.adb b/gcc/ada

[COMMITTED 4/5] ada: Remove empty line.

2025-01-10 Thread Marc Poulhiès
gcc/ada/ChangeLog: * env.h: Remove last empty line. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/env.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/gcc/ada/env.h b/gcc/ada/env.h index b80b7e9a0fc..58a92b9d7f2 100644 --- a/gcc/ada/env.h +++ b

[COMMITTED 2/5] ada: Turn Is_Effective_Use_Clause from syntactic to semantic flag

2025-01-10 Thread Marc Poulhiès
-pc-linux-gnu, committed on master. --- gcc/ada/gen_il-gen-gen_nodes.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/gen_il-gen-gen_nodes.adb b/gcc/ada/gen_il-gen-gen_nodes.adb index ca46bcebdd9..1f5dc6d3803 100644 --- a/gcc/ada/gen_il-gen-gen_nodes.adb +++ b/gcc

[COMMITTED 1/5] ada: Reorder syntactic node fields to match the Ada RM grammar

2025-01-10 Thread Marc Poulhiès
fields. * sem_util.adb (Declare_Indirect_Temp): Add explicit parameter association, because now the parameter will be interpreted as a subpool handle name. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_ch3.adb | 5 +- gcc/ada/gen_il-gen

Re: [Committed] RISC-V: testsuite: fix target selector for sync_char_short

2025-01-09 Thread Edwin Lu
Thanks! Committed. Edwin On 1/9/2025 1:04 PM, Jeff Law wrote: On 1/9/25 11:33 AM, Edwin Lu wrote: The effective-target selector for riscv on sync_char_short did not check to see if atomics were enabled. As a result, these test cases were ran on targets without the a extension. Add

[committed] testsuite: Require trampolines for gcc.dg/pr118325.c

2025-01-09 Thread Dimitar Dimitrov
The test case uses a nested function, which is not supported by some targets. This fixes a spurious error for pru-unknown-elf, where nested functions are not supported. Pushed to trunk as obvious. gcc/testsuite/ChangeLog: * gcc.dg/pr118325.c: Require effective target trampolines. Signe

'git mv gcc/testsuite/gcc.dg/{,torture/}crc-linux-3.c' (was: [committed] Move some CRC tests into the gcc.dg/torture directory)

2025-01-09 Thread Thomas Schwinge
Hi! On 2024-12-03T12:32:35-0700, Jeff Law wrote: > Jakub noted that these tests were using dg-skip-if directives that > implied the tests were expected to run under multiple optimization > options, which means they probably should be in gcc.dg/torture rather > than in the gcc.dg directory. > >

[COMMITTED 1/2] ada: Accept predefined multiply operator for fixed point in expression function

2025-01-09 Thread Marc Poulhiès
prefix is the package Standard. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_ch4.adb | 12 +++- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 5b9456bed0a..406983995f3 100644 --- a/gcc/ada/sem_ch4.adb

[COMMITTED 2/2] ada: Fix missing detection of late equality operator returning subtype of Boolean

2025-01-09 Thread Marc Poulhiès
freezing rule if the result type is a proper subtype of it and the -gnatd_q switch is specified. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/debug.adb | 6 +- gcc/ada/sem_ch6.adb | 12 ++-- 2 files changed, 15 insertions(+), 3 deletions(-) diff --git a/gcc

[COMMITTED 2/2] ada: Error on Disable_Controlled aspect in Multiway_Trees

2025-01-09 Thread Marc Poulhiès
geLog: * libgnat/a-comutr.adb, libgnat/a-comutr.ads: Move the declarations of iterator types into the specification and add additional comments. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/libgnat/a-comutr.adb | 49

[COMMITTED 1/2] ada: Cleanup preanalysis of static expressions (part 3)

2025-01-09 Thread Marc Poulhiès
. Patch suggested by Eric Botcazou. * exp_put_image.adb (Image_Should_Call_Put_Image): Ensure that function Defining_Identifier is called with a proper node to avoid internal assertion failure. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada

[committed] OpenMP: declare variant's append_args + dispatch interop fixes

2025-01-08 Thread Tobias Burnus
dding a device clause) in order to test the previous diagnostic/dump. Committed asr15-6721-g1bb367b5cdb9fa. Tobias PS: The arg_types loop was mainly removed because it did not handle calls to variadic functions (causing a segfault); but arg_types is also not actually us

[committed] libstdc++: Add always_inline to casting/forwarding functions in bits/move.h

2025-01-08 Thread Jonathan Wakely
libstdc++-v3/ChangeLog: * include/bits/move.h (__addressof, forward, forward_like, move) (move_if_noexcept, addressof): Add always_inline attribute. Replace _GLIBCXX_NODISCARD with [[__nodiscard__]]. --- Tested x86_64-linux. Pushed to trunk. libstdc++-v3/include/bits/mov

[committed] libstdc++: Adjust indentation of new std::span constructor

2025-01-08 Thread Jonathan Wakely
libstdc++-v3/ChangeLog: * include/std/span: Fix indentation. --- Tested x86_64-linux. Pushed to trunk. libstdc++-v3/include/std/span | 13 ++--- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/libstdc++-v3/include/std/span b/libstdc++-v3/include/std/span index 4b40

[committed] libstdc++: Make GDB skip over some library functions [PR118260]

2025-01-08 Thread Jonathan Wakely
libstdc++-v3/ChangeLog: PR libstdc++/118260 * python/hook.in: Run 'skip' commands for some simple accessor functions. --- Tested x86_64-linux. Pushed to trunk. libstdc++-v3/python/hook.in | 5 + 1 file changed, 5 insertions(+) diff --git a/libstdc++-v3/python/hook.i

[committed] libstdc++: Use preprocessor conditions in std module [PR118177]

2025-01-08 Thread Jonathan Wakely
The std-clib.cc module definition file assumes that all names are available unconditionally, but that's not true for all targets. Use the same preprocessor conditions as are present in the headers. A similar change is needed in std.cc.in for the features that depend on the SSO std::string, guard

[committed] libstdc++: Fix incorrect DocBook element in manual

2025-01-08 Thread Jonathan Wakely
libstdc++-v3/ChangeLog: * doc/xml/manual/evolution.xml: Replace invalid elements with . * doc/html/*: Regenerate. --- Pushed to trunk, backports to follow. libstdc++-v3/doc/html/index.html | 4 ++-- libstdc++-v3/doc/html/manual/api.html | 4 ++-- libstdc++-

[committed] libstdc++: Add Doxygen docs for std::forward_like

2025-01-08 Thread Jonathan Wakely
Also add "@since C++11" to std::move, std::forward etc. libstdc++-v3/ChangeLog: * include/bits/move.h (forward, move, move_if_noexcept, addressof): Add @since to Doxygen comments. (forward_like): Add Doxygen comment. --- Tested x86_64-linux. Pushed to trunk. libstdc++-v

[COMMITTED] RISC-V: vector absolute difference expander [PR117722]

2025-01-07 Thread Vineet Gupta
This improves codegen for x264 sum of absolute difference routines. The insn count is same, but we avoid double widening ops and ensuing whole register moves. Also for more general applicability, we chose to implement abs diff vs. the sum of abs diff variant. Suggested-by: Robin Dapp Co-authored

[committed] Fix testsuite expectations for RVV after recent change

2025-01-07 Thread Jeff Law
Tamar's recent improvement to improve affine unsigned folding for exchange2 twiddle code generation for a couple tests in the RVV testsuite just enough to cause testsuite failures. I've looked at both tests before/after Tamar's change and the code is clearly better -- essentially tighter vecto

[committed] Fix regression in ft32 port after recent switch table adjustments

2025-01-07 Thread Jeff Law
This is a trivial bug that showed up after Mark W's recent patch to not apply the size limit on jump tables. The ft32 port has limited immediate ranges on comparisons and the casesi expander didn't honor those. It'd blindly pass along an out of range constant. This patch adds the trivial ad

[committed][PR testsuite/118055] Trivial testsuite adjustment for m68k target

2025-01-07 Thread Jeff Law
After a bit of a prod from Hans... Make the obvious change to these tests to get them passing again on m68k. Jeff commit a856b4d97b8d328fdcb169b792ac5456e40f8c00 Author: Jeff Law Date: Tue Jan 7 07:43:19 2025 -0700 [PR testsuite/118055] Trivial testsuite adjustment for m68k target

[COMMITTED 30/31] ada: Adjust pragma obsolescent message

2025-01-07 Thread Marc Poulhiès
Do not mention an explicit version. gcc/ada/ChangeLog: * libgnat/a-calcon.ads: Adjust. * libgnat/a-calend.ads: Adjust. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/libgnat/a-calcon.ads | 16 gcc/ada/libgnat/a-calend.ads | 14

[COMMITTED 25/31] ada: Cleanup preanalysis of static expressions (part 2)

2025-01-07 Thread Marc Poulhiès
In_Spec_Expression occurrence by call to Preanalysis_Active. * sem_eval.adb (Eval_Intrinsic_Call [Name_Enclosing_Entity]): Ditto. * sem_elim.adb (Check_For_Eliminated_Subprogram): Ditto. * sem_res.adb (Resolve_Entity_Name): Ditto. Tested on x86_64-pc-linux-gnu, committed

[COMMITTED 23/31] ada: Improve protection against wrong use from GDB

2025-01-07 Thread Marc Poulhiès
illegal node numbers. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_disp.adb | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb index f45c32356a9..6d0f2c87017 100644 --- a/gcc/ada/exp_disp.adb +++ b/gcc

[COMMITTED 24/31] ada: Fix constants overlayed by variables

2025-01-07 Thread Marc Poulhiès
From: Piotr Trojanek Code cleanup suggested by GNATcheck rule Constant_Overlays. gcc/ada/ChangeLog: * repinfo-input.adb (Decode_Name, Read_Name_With_Prefix): Use constant overlay with pragma Import. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/repinfo

[COMMITTED 28/31] ada: Do not create temporaries for initialization statements

2025-01-07 Thread Marc Poulhiès
): Always use the return slot optimization if the parent node is an initialization statement. (gnat_to_gnu) : Build an INIT_EXPR instead of a MODIFY_EXPR if this is an initialization statement. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/gcc-interface

[COMMITTED 22/31] ada: Fix violations of GNAT-specific GNATcheck rules

2025-01-07 Thread Marc Poulhiès
From: Piotr Trojanek Code cleanup; semantics is unaffected. gcc/ada/ChangeLog: * diagnostics-pretty_emitter.adb (Get_Last_Line_Char): Fix whitespace. * sem_aggr.adb (Resolve_Array_Aggregate): Fix style. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada

[COMMITTED 27/31] ada: Remove unused AST flag Address_Warning_Posted

2025-01-07 Thread Marc Poulhiès
. * sem_ch13.adb (Validate_Address_Clauses): Remove read of the flag. * sinfo.ads (Address_Warning_Posted): Remove flag description. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/gen_il-fields.ads| 1 - gcc/ada/gen_il-gen-gen_nodes.adb | 1 - gcc/ada/sem_ch13.adb

[COMMITTED 20/31] ada: Fix abort deferral for finally parts

2025-01-07 Thread Marc Poulhiès
. gcc/ada/ChangeLog: * exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements): Fix abort deferral. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_ch11.adb | 27 +++ 1 file changed, 19 insertions(+), 8 deletions(-) diff --git a/gcc/ada

[COMMITTED 14/31] ada: Remove unnecessary qualifiers for First/Next list operations

2025-01-07 Thread Marc Poulhiès
locally inconsistent parenthesis. (Check_Return_Construct_Accessibility): Remove qualifier from list operation. * sem_util.adb (Is_Prim_Of_Abst_Type_With_Nonstatic_CW_Pre_Post): Likewise. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada

[COMMITTED 10/31] ada: Add "finally" GNAT extension

2025-01-07 Thread Marc Poulhiès
* gcc-interface/trans.cc (Handled_Sequence_Of_Statements_to_gnu): Handle finally statements. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/atree.adb | 15 ++ gcc/ada/atree.ads | 5 + .../doc/gnat_rm/gnat_langu

[COMMITTED 29/31] ada: Drop g-cpp* units not needed by the compiler

2025-01-07 Thread Marc Poulhiès
(GNAT_ADA_OBJS, GNATBIND_OBJS): Drop g-cpp, g-cppexc and g-cppstd. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/gcc-interface/Make-lang.in | 6 -- 1 file changed, 6 deletions(-) diff --git a/gcc/ada/gcc-interface/Make-lang.in b/gcc/ada/gcc-interface/Make-lang.in

[COMMITTED 08/31] ada: Reject references to attribute Result in Exceptional_Cases

2025-01-07 Thread Marc Poulhiès
-pc-linux-gnu, committed on master. --- gcc/ada/sem_prag.adb | 7 ++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index b7de1cd8afa..64b5b01869d 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -2216,7 +2216,8

[COMMITTED 18/31] ada: Remove flag Is_Inherited_Pragma which is only set and never used

2025-01-07 Thread Marc Poulhiès
en_il-fields.ads (Opt_Field_Enum): Remove field identifier. * gen_il-gen-gen_nodes.adb (N_Pragma): Remove field from node. * sinfo.ads (Is_Inherited_Pragma): Remove field description. (N_Pragma): Remove field reference. Tested on x86_64-pc-linux-gnu, committed on master. --- gc

[COMMITTED 26/31] ada: Do not raise exceptions from Exp_Aggr.Packed_Array_Aggregate_Handled

2025-01-07 Thread Marc Poulhiès
of Get_Component_Val instead. (Get_Component_Val): Return No_Uint instead of raising Not_Handled. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_aggr.adb | 29 - 1 file changed, 16 insertions(+), 13 deletions(-) diff --git a/gcc

[COMMITTED 11/31] ada: Drop vxworks-smp-ppc-link.spec

2025-01-07 Thread Marc Poulhiès
-link.spec: Delete. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/libgnat/system-vxworks-ppc-rtp-smp.ads | 1 - gcc/ada/vxworks-smp-ppc-link.spec | 4 2 files changed, 5 deletions(-) delete mode 100644 gcc/ada/vxworks-smp-ppc-link.spec diff --git a/gcc/ada

[COMMITTED 07/31] ada: Move checks for consequences of Exceptional_Cases to GNAT

2025-01-07 Thread Marc Poulhiès
(Analyze_Exceptional_Cases_In_Decl_Part): Move check from GNATprove backend to GNAT frontend. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_prag.adb | 68 1 file changed, 68 insertions(+) diff --git a/gcc/ada/sem_prag.adb b

[COMMITTED 17/31] ada: Avoid conversion from String to Name_Id at runtime

2025-01-07 Thread Marc Poulhiès
From: Piotr Trojanek Code cleanup. gcc/ada/ChangeLog: * sem_prag.adb (Analyze_Attribute): Replace runtime conversion with existing constant. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_prag.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion

[COMMITTED 13/31] ada: Fix internal error on container aggregate for bounded vectors

2025-01-07 Thread Marc Poulhiès
. * exp_aggr.adb (Expand_Container_Aggregate): For a declaration that is wrapped in a transient scope, also defer the analysis of the new code until after the declaration is analyzed. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_aggr.adb | 9 +++ gcc/ada/exp_ch7.adb

[COMMITTED 12/31] ada: Add guard to System.Val_Real.Large_Powfive against pathological input

2025-01-07 Thread Marc Poulhiès
. * libgnat/s-valrea.adb (Large_Powfive) [1 parameter]: Exit the loop as soon as the result saturates to +Inf. (Large_Powfive) [2 parameters]: Likewise. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/libgnat/s-powflt.ads | 2 +- gcc/ada/libgnat/s-powlfl.ads

[COMMITTED 15/31] ada: Handle attributes related to Ada 2012 iterators as internal

2025-01-07 Thread Marc Poulhiès
of new internal attributes. (Attribute_Id): Recognize new internal attributes. (Internal_Attribute_Id): Likewise. (Is_Internal_Attribute_Name): Avoid duplication in comment. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_attr.adb| 12 --

[COMMITTED 09/31] ada: Elide the copy for bit-packed aggregates in (safe) assignments

2025-01-07 Thread Marc Poulhiès
in-place expansion. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_aggr.adb | 1 - 1 file changed, 1 deletion(-) diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb index f771660d23a..a51e02bc308 100644 --- a/gcc/ada/exp_aggr.adb +++ b/gcc/ada/exp_aggr.adb @@ -6129,7

[COMMITTED 21/31] ada: Remove dead code in detection of null record definitions

2025-01-07 Thread Marc Poulhiès
; fix style in comment. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_util.adb | 9 +++-- 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index a11afa8be2d..55e9979a215 100644 --- a/gcc/ada/sem_util.adb +++ b

[COMMITTED 04/31] ada: Error on instantiation with defaulted formal type referencing other formal type

2025-01-07 Thread Marc Poulhiès
ids (which don't have Entity set). (Validate_Formal_Type_Default.Validate_Derived_Type_Default): Apply Base_Type to Formal. (Validate_Formal_Type_Default): Guard interface-related semantic checks with a test of Is_Tagged_Type. Tested on x86_64-pc-linux-gn

[COMMITTED 19/31] ada: Improved checking of uses of package renamings

2025-01-07 Thread Marc Poulhiès
instead of calling Has_Limited_With. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/einfo.ads | 9 + gcc/ada/gen_il-fields.ads | 1 + gcc/ada/gen_il-gen-gen_entities.adb | 1 + gcc/ada/sem_ch8.adb | 7 --- 4 files

[COMMITTED 06/31] ada: Fix comments about Subprogram_Variant and Exceptional_Cases

2025-01-07 Thread Marc Poulhiès
, Analyze_Variant): Fix comments. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_prag.adb | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 5b5ff320e80..04202873974 100644 --- a/gcc/ada/sem_prag.adb

[COMMITTED 03/31] ada: Use the syntax of Ada 2012 if-expression in -gnatR3 output

2025-01-07 Thread Marc Poulhiès
From: Eric Botcazou This uses the syntax of Ada 2012 if-expression in the output produced by the -gnatR3 switch for dynamic expressions. gcc/ada/ChangeLog: * repinfo.adb (List_GCC_Expression.Print_Expr) : Do not output the final "end". Tested on x86_64-pc-linux-gnu,

[COMMITTED 01/31] ada: Restrict previous change made to expansion of allocators

2025-01-07 Thread Marc Poulhiès
(Make_Build_In_Place_Call_In_Allocator): Likewise. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_ch4.adb | 1 + gcc/ada/exp_ch6.adb | 1 + 2 files changed, 2 insertions(+) diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index 75d79019f80..6e8c5c83da5 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc

[COMMITTED 05/31] ada: Put_Image spec incorrectly ignored for Fixed_Point_Type'Base'Image call.

2025-01-07 Thread Marc Poulhiès
ct with such an Itype misses applicable aspect specifications; we need to look on the right list. This comes up if the prefix of the attribute reference is Some_Fixed_Point_Type'Base. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/ex

  1   2   3   4   5   6   7   8   9   10   >