The following adds SLP build operand swapping for .FMA which is
a ternary operator and a call. The current code only handles
binary operators in assignments, thus the patch extends this to
handle both calls and assignments as well as binary and ternary
operators.
Bootstrapped and tested on x86_64
On 30/06/2025 08:16, Robin Dapp wrote:
This is failing pre-commit testing:
linux rv64gcv lp64d medlow multilib:
FAIL: gcc.target/riscv/rvv/base/bug-4.c (internal compiler error: in
extract_insn, at recog.cc:2882)
FAIL: gcc.target/riscv/rvv/base/bug-4.c (test for excess errors)
linux rv32gcv
On Tue, Jun 17, 2025 at 10:33 PM Uros Bizjak wrote:
>
> On Tue, Jun 17, 2025 at 4:03 PM Cui, Lili wrote:
> >
> > From: Lili Cui
> >
> > Hi Uros,
> >
> > This is patch v3, the main changes are as follows.
> >
> > 1. Added a pro_epilogue_adjust_stack_add_nocc in i386.md to add memory
clobber for l
On 6/30/25 09:58, Tomasz Kaminski wrote:
On Mon, Jun 30, 2025 at 9:25 AM Luc Grosheintz
wrote:
libstdc++-v3/ChangeLog:
* include/std/mdspan (default_accessor): New class.
* src/c++23/std.cc.in: Register default_accessor.
* testsuite/23_containers/mdspan/accessors
On Fri, Jun 27, 2025 at 2:39 PM Siddhesh Poyarekar wrote:
>
> MEM_REF cast of a subobject to its containing object has negative
> offsets, which objsz sees as an invalid access. Support this use case
> by peeking into the structure to validate that the containing object
> indeed contains a type o
On Mon, Jun 30, 2025 at 9:54 AM Richard Biener
wrote:
>
> On Fri, Jun 27, 2025 at 3:45 PM Alexander Monakov wrote:
> >
> >
> > On Fri, 27 Jun 2025, Richard Biener wrote:
> >
> > > > I am testing partial fixes for these issues.
> > >
> > > Can you check again after r16-1731-g08bdb6b4a32f1f?
> >
>
On Fri, Jun 27, 2025 at 4:45 AM Patrick Palka wrote:
> Tested on x86_64-pc-linux-gnu, does this look OK for trunk and perhaps
> 15/14?
>
Both look good to me thanks.
>
> -- >8 --
>
> PR libstdc++/120789
>
> libstdc++-v3/ChangeLog:
>
> * include/bits/ranges_algo.h (__unique_fn::o
Christoph Müllner writes:
> This patch converts the fold-mem-offsets pass from DF to RTL-SSA.
> Along with this conversion, the way the pass collects information
> was completely reworked. Instead of visiting each instruction multiple
> times, this is now down only once.
>
> Most significant chan
On Linux/x86_64,
9d3467a14bbd75469f114b047590ebbffa4a9c8b is the first bad commit
commit 9d3467a14bbd75469f114b047590ebbffa4a9c8b
Author: Patrick Palka
Date: Fri Jun 27 13:53:26 2025 -0400
libstdc++: Directly implement ranges::inplace_merge [PR100795]
caused
FAIL: 25_algorithms/inplace_m
On Fri, Jun 27, 2025 at 3:39 PM Qing Zhao wrote:
>
> Hi,
>
> A status update on this patch: (Actually a good news!)
>
> > On Jun 10, 2025, at 11:32, Qing Zhao wrote:
> >
> >
> >
>
> >>>
> >>> It's difficult to do any meaningful pruning I think. Consider
> >>>
> >>> if (i == -1)
> >>> tem
On Mon, Jun 30, 2025 at 9:58 AM Tomasz Kaminski wrote:
>
>
> On Mon, Jun 30, 2025 at 9:25 AM Luc Grosheintz
> wrote:
>
>> libstdc++-v3/ChangeLog:
>>
>> * include/std/mdspan (default_accessor): New class.
>> * src/c++23/std.cc.in: Register default_accessor.
>> * testsuite/
Hi,
On Thu, Jun 19, 2025 at 02:39:47PM +0100, Yury Khrustalev wrote:
> This patch aligns unwinder with the recent chnages in Linux SME signal
> behaviour.
>
> Regression checked on AArch64 and no regressions have been found.
> OK for trunk?
>
> base commit: 20f59301851
>
> ---
>
> Richard Sand
I recently noticed that libphobos isn't enable by default on 32-bit
Darwin with the target triples determined by config.guess. E.g. on a
Darwin 15 system the target triple is something like
i386-apple-darwin15.6.0 while configure.tgt only matches
i?86-*-darwin1[2-7].
This patch also allows such m
On Mon, 9 Jun 2025, Tamar Christina wrote:
> This patch introduces two new vector cbranch optabs vec_cbranch_any and
> vec_cbranch_all.
>
> To explain why we need two new optabs let me explain the current cbranch and
> its
> limitations and what I'm trying to optimize. So sorry for the long emai
On Tue, Jun 10, 2025 at 5:28 PM Qing Zhao wrote:
>
>
>
> > On Jun 10, 2025, at 09:37, Richard Biener
> > wrote:
> >
> > On Mon, Jun 9, 2025 at 8:06 PM Qing Zhao wrote:
> >>
> >>
> >>
> >>> On Jun 6, 2025, at 03:31, Richard Biener
> >>> wrote:
> >>>
> >>> On Fri, May 30, 2025 at 5:13 PM Qing Z
On Fri, Jun 27, 2025 at 3:45 PM Alexander Monakov wrote:
>
>
> On Fri, 27 Jun 2025, Richard Biener wrote:
>
> > > I am testing partial fixes for these issues.
> >
> > Can you check again after r16-1731-g08bdb6b4a32f1f?
>
> Certainly. There's no more fmaddsub-related testsuite failures, and only
>
Hi Honza,
On Sun, Jun 29, 2025 at 10:45 PM Jan Hubicka wrote:
>
> >
> >
> > > On 24 Jun 2025, at 7:43 pm, Jan Hubicka wrote:
> > >
> > > External email: Use caution opening links or attachments
> > >
> > >
> > > Hi,
> > > this pass removes early-inlining from afdo pass since all inlining
> > > s
On Mon, Jun 30, 2025 at 9:25 AM Luc Grosheintz
wrote:
> libstdc++-v3/ChangeLog:
>
> * include/std/mdspan (default_accessor): New class.
> * src/c++23/std.cc.in: Register default_accessor.
> * testsuite/23_containers/mdspan/accessors/default.cc: New test.
> * testsu
On Fri, 27 Jun 2025, Jeff Law wrote:
>
>
> On 6/27/25 12:30 PM, Andrew Pinski wrote:
> >
> >
> > On Fri, Jun 27, 2025, 11:06 AM Raphael Moreira Zinsly
> > mailto:rzin...@ventanamicro.com>> wrote:
> >
> > Hi all,
> >
> > For targets that have expensive shifts this may not get a better
On 29/06/2025 19:57, Yangyu Chen wrote:
This patch adds support for target_clones table option. The
target_clones table option allows users to specify multiple versions
of a function and select the version at runtime based on the specified
table.
The target clone table is a JSON object where fun
Hi Yangyu,
The design of this looks really good to me. Thanks for your work on it.
I really appreciate how you made the JSON structure work for all targets.
Out of curiosity, have you thought about what happens in the case of an
invalid target version string?
There will be some conflicts to
On Tue, Jun 10, 2025 at 11:41 PM David Faust wrote:
>
> The btf_decl_tag and btf_type_tag attributes provide a means to annotate
> declarations and types respectively with arbitrary user provided
> strings. These strings are recorded in debug information for
> post-compilation uses, and despite t
Hi all,
here now the version of the patch that seems to be more complete.
Regtests ok on x86_64-pc-linux-gnu / F41. Ok for mainline and later backport to
gcc-15?
Regards,
Andre
On Fri, 27 Jun 2025 15:44:20 +0200
Andre Vehreschild wrote:
> I take this patch back. It seems to be incomp
Hi,
Attached is the updated patch for the aarch64 conversion of some
mvn+shrn patterns into a mvni+subhn. Hopefully attachment fixes the tab
issues, the cover letter was updated to better explain what the patch
does, code was changed to use emit_move_insn, and testcase was cleaned
up per Richa
Hi, Richard or Jakub,
Could you please approve the Middle-end part of this patch set? (Patch #2)
(The C FE part of the patch, Patch #1 and #3 have been approved by Joseph
already;
The Middle-end part of the patch has been reviewed by Sid and Richard, I have
included
all the changes based o
Andre,
I've never built gcc for aarch64-freebsd. I was going to
suggest doing the full bootstrap, but that seems to be too
slow. On amd64, I use
../gcc/configure --prefix=$WDIR \
--enable-languages=c,c++,fortran,lto \
--enable-bootstrap \
--disable-nls \
--disable-libssp \
--disa
Hi Rainer,
> On 30 Jun 2025, at 12:58, Rainer Orth wrote:
>
> I recently noticed that libphobos isn't enable by default on 32-bit
> Darwin with the target triples determined by config.guess. E.g. on a
> Darwin 15 system the target triple is something like
> i386-apple-darwin15.6.0 while configu
> On Jun 27, 2025, at 15:24, Kees Cook wrote:
>
> On Fri, Jun 27, 2025 at 01:38:51PM +, Qing Zhao wrote:
>> The good news is: With the above simple heuristic and a simple back tracing
>> of the CFG, all the
>> current testing cases for the following PRs passed without any issue:
>>
Hi all,
attached patch fixes an ICE when in an expression with a coindex a function was
used more than once. E.g. coarray(mod( something ), mod( something else ))[i]
ICE'd because a component for aliasing the second mod() could not be created.
Regtests ok on x86_64-pc-linux-gnu / F41. Ok for main
Hi Steve,
how to you get a recent gcc compile on aarch64-freebsd-14.3 ? I am seeing
several issues in core libraries of gcc that are far away from where I touched
the compiler.
I am configuring with:
configure --disable-multilib\
--enable-stage1-languages=c,fortran,c++\
From: Ronan Desplanques
This patch slightly reorganizes Analyze_Subtype_Declaration so that the
proper Ekind of the new subtype's entity is set before anything else is
done with it. A new local subprogram is introduced in the process.
gcc/ada/ChangeLog:
* sem_ch3.adb (Analyze_Subtype_De
From: Ronan Desplanques
Before this patch, Check_Future_Keyword had hardcoded lists of what
reserved words were introduced in what versions of the Ada language
specification. This patch makes it use the classification in Snames
instead.
gcc/ada/ChangeLog:
* par-util.adb (Check_Future_Ke
From: Piotr Trojanek
This patch both makes GNAT emit warnings on unused assignments where previously
they were suppressed for obscure reasons and synchronizes routine
Get_Enclosing_Object with a similar routine in GNATprove (which differs in
handling of explicit dereferences).
gcc/ada/ChangeLog:
From: Ronan Desplanques
This patchs adds two pn-like subprograms that print entity chains.
gcc/ada/ChangeLog:
* treepr.ads (Print_Entity_Chain, pec, rpec): New subprograms.
* treepr.adb (Print_Entity_Chain, pec, rpec): Likewise.
Tested on x86_64-pc-linux-gnu, committed on maste
From: Alexandre Oliva
A vxworks-specific part of adaint.c calls isalpha without including
ctype.h. gcc-14 rejects calls of undeclared functions. Include the
required header file when compiling for vxworks.
gcc/ada/ChangeLog:
* adaint.c [__vxworks]: Include ctype.h.
Tested on x86_64-p
On 6/29/25 2:19 PM, Jason Merrill wrote:
On 6/28/25 3:08 AM, Jakub Jelinek wrote:
On Fri, Jun 27, 2025 at 06:49:12PM -0400, Jason Merrill wrote:
On 6/27/25 5:58 PM, Jakub Jelinek wrote:
The following testcase is miscompiled since the introduction of UBSan,
cp_build_array_ref COND_EXPR handling
I investigated the small case in
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120881.
Pass_final will print "call mount" after "NOTE_INSN_PROLOGUE_END", since
shrink_wrap separate doesn’t put it at the beginning of the function, the
printing position is changed.
Thanks,
Lili.
From: H.J. Lu
From: Eric Botcazou
This happens for the default expression of a controlled component when an
aggregate is used for the record type, because of a freeze node generated
for the expression within an artificial block that is needed to implement
the cleanup actions attached to the assignment of the c
From: Jose Ruiz
gcc/ada/ChangeLog:
* doc/gnat_ugn/gnat_and_program_execution.rst: Add the
documentation about using sanitizers with Ada code.
* gnat_ugn.texi: Regenerate.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/doc/gnat_ugn/gnat_and_program_exec
From: Eric Botcazou
The second condition of the conjunction is redundant with the first.
gcc/ada/ChangeLog:
* libgnat/s-valrea.adb (Integer_to_Real): Rename to...
(Integer_To_Real): ...this. Remove the second condition of the
conjunction in the test for the zero value.
From: Piotr Trojanek
When name of a called procedure involves unusual constructs, e.g. type
conversions (like in "Typ (Obj).all"), we must look at the outermost construct
to decide whether the name denotes a ghost entity.
gcc/ada/ChangeLog:
* ghost.adb (Ghost_Entity): Remove; use Get_En
Despite our best efforts, the Clang Area Team has decided *not* to
accept any of our suggestions to make this feature compatible between
Clang and GCC:
https://discourse.llvm.org/t/rfc-bounds-safety-in-c-syntax-compatibility-with-gcc/85885/65
They have also firmly rejected the idea of adding f
From: Jose Ruiz
gcc/ada/ChangeLog:
* doc/gnat_ugn/gnat_and_program_execution.rst: Add the
documentation about using sanitizers with Ada code.
* gnat_ugn.texi: Regenerate.
Tested on x86_64-pc-linux-gnu, committed on master.
---
.../gnat_ugn/gnat_and_program_execution.rs
From: Piotr Trojanek
The dead branch in routine Get_Enclosing_Object was most likely some
experiment from the early days of GNATprove. This routine is meant
to be called with the LHS of an assignment statement where an implicit
dereference is always rewritten into explicit one, regardless if code
From: Ronan Desplanques
Before this patch, Print_Node failed to honor its Prefix_Char formal
parameter when printing the Parent field. This had no consequences
because Prefix_Char was only used to print members of Nlists, and those
don't have a parent in the tree. But this patch fixes it anyway i
From: Claire Dross
Add an assertion policy to ignore the ghost predicates in
Ada.Strings.Superbounded.
gcc/ada/ChangeLog:
* libgnat/a-strsup.ads: Ignore Ghost_Predicate in the assertion policy.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/libgnat/a-strsup.ads | 9 +
From: Ronan Desplanques
The description of the Has_Exit field in Einfo makes it pretty clear
that it can only be meaningful for loop entities. It was however defined
in all entities until this patch, which restricts this field to E_Loop.
gcc/ada/ChangeLog:
* gen_il-gen-gen_entities.adb
Hi Robert,
> These changes have been shown to generate more sensible code on both
> x86_64.
>
> On x86_64-pc-linux, a bootstrap build of --enable-languages=c,c++,cobol
> succeeded.
this patch has one change (not listed in ChangeLog) that broke 32-bit
Solaris bootstrap:
diff --git a/gcc/cobol/par
On 6/30/25 1:06 PM, Jakub Jelinek wrote:
On Mon, Jun 30, 2025 at 05:14:06PM +0200, Jakub Jelinek wrote:
1) for idx being INTEGER_CST (case for which I believe the change has been
added) it keeps doing what it did
2) if both op1 and op2 are arrays with invariant address or pointers to
som
On 6/27/25 12:48 AM, Alexey Merzlyakov wrote:
Fixes incorrect SP-addresses used in CFA notes for the stack probes
unrelative to the frame's top. It applied to the RISC-V targets code
generation when the stack-clash protection is enabled.
gcc/ChangeLog:
* config/riscv/riscv.cc (riscv_
From: Ronan Desplanques
This patch remove calls to Set_Scope that have no effect because of
subsequent calls to Append_Entity, which calls Set_Scope itself.
gcc/ada/ChangeLog:
* cstand.adb (Make_Aliased_Component, Make_Formal, New_Operator,
Create_Standard): Remove useless calls
From: Steve Baird
Update GNAT RM documentation of the Size'Class aspect.
gcc/ada/ChangeLog:
* doc/gnat_rm/gnat_language_extensions.rst: Update documentation for
mutably tagged types and the Size'Class aspect.
* gnat_rm.texi: Regenerate.
Tested on x86_64-pc-linux-gnu, co
From: Steve Baird
If a type T has a partial view with a known_discriminant_part and no
user-specified Put_Image aspect specification, then the output generated
by T'Put_Image would incorrectly omit the discriminant values.
gcc/ada/ChangeLog:
* exp_put_image.adb (Build_Record_Put_Image_
From: Ronan Desplanques
This patch removes a comment that was left over when an exception
declaration was removed.
gcc/ada/ChangeLog:
* sem_ch5.adb (Analyze_Loop_Statement): Remove obsolete comment.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_ch5.adb | 4
On 6/30/25 2:18 AM, Richard Biener wrote:
On Sat, 28 Jun 2025, Jeff Law wrote:
On 6/27/25 12:20 PM, Andrew Pinski wrote:
I have been trying to most of the phiopt to over to use match and simplify
(via match.pd patterns). Is there an issue why this can't be a match pattern
instead? I
From: Piotr Trojanek
Remove duplicated and inconsistent code for detecting ghost objects on the
left-hand side of assignment statements. Fix detection in the presence of
attribute references (e.g. "X'Access.all"), function calls (e.g. "F.all"),
qualified expressions (e.g. "T'(new Integer'(0)).all
From: Piotr Trojanek
Code cleanup; semantics is unaffected.
gcc/ada/ChangeLog:
* sem_util.ads (Get_Enclosing_Object, Get_Enum_Lit_From_Pos,
Is_Universal_Numeric_Type): Reorder declarations.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_util.ads | 42
On Mon, 30 Jun 2025 at 11:48, Tomasz Kaminski wrote:
>
>
>
> On Mon, Jun 30, 2025 at 9:58 AM Tomasz Kaminski wrote:
>>
>>
>>
>> On Mon, Jun 30, 2025 at 9:25 AM Luc Grosheintz
>> wrote:
>>>
>>> libstdc++-v3/ChangeLog:
>>>
>>> * include/std/mdspan (default_accessor): New class.
>>>
From: Javier Miranda
When an array of mutably tagged class-wide types is initialized
with an array aggregate, the compiler erroneously rejects it
reporting that the type of the aggregate cannot be a
class-wide type. In addition, Program_Error is not raised at
runtime on array type or record type
From: Tonu Naks
gcc/ada/ChangeLog:
* gnatls.adb: remove -l switch
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/gnatls.adb | 39 ---
1 file changed, 39 deletions(-)
diff --git a/gcc/ada/gnatls.adb b/gcc/ada/gnatls.adb
index 6fa232
Hi!
The following testcases FAIL at -O0 -fsanitize=address. The problem is
we end up with something like
_26 = foo (x_24(D)); [must tail call]
// predicted unlikely by early return (on trees) predictor.
finally_tmp.3_27 = 0;
goto ; [INV]
...
:
# _6 = PHI <_26(3), _23(D)(4)>
# final
Christopher Bazley writes:
> The test added by r16-1671-ge7ff8e8d77df74 passed despite using
> regular expressions that would never match real assembly language
> output from the compiler. Because the regular expressions were not
> expected to match, and didn't, this was not noticeable; however,
>
From: Eric Botcazou
...in aggregates. This prevents a temporary from being created on the
primary stack to hold the result of the function calls before it is copied
to the component of the aggregate in the nonlimited by-reference case.
This requires a small tweak to Check_Function_Writable_Actu
From: Jose Ruiz
gcc/ada/ChangeLog:
* doc/gnat_ugn/gnat_and_program_execution.rst: Fix a
couple of minor formatting issues.
* gnat_ugn.texi: Regenerate.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst | 6 +++--
From: Steve Baird
Add to the previous fix for this issue to better handle cases where
GNATProve calls Einfo.Utils.Predicate_Function, passing in an Itype.
gcc/ada/ChangeLog:
* einfo-utils.adb (Predicate_Function): Look through an Itype if
that takes us to another subtype of the
From: Ronan Desplanques
This patch fixes a crash on some subprograms with anonymous
access-to-subprogram parameters by removing delayed freezing of
subprograms in some cases where it wasn't necessary. The -gnatD output
for itypes is also improved.
gcc/ada/ChangeLog:
* sem_ch6.adb (Check
From: Ronan Desplanques
gcc/ada/ChangeLog:
* atree.ads (Parent_Or_List_Containing): Fix typo.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/atree.ads | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gcc/ada/atree.ads b/gcc/ada/atree.ads
index 615d0
From: Eric Botcazou
This happens when the record type has an incomplete declaration before its
full declaration and is fixed by calling Find_Type appropriately.
gcc/ada/ChangeLog:
* sem_prag.adb (Analyze_Pragma) :
Call Find_Type on the first argument of the pragma.
Tested on x8
From: Viljar Indus
Store the Exit_Code value and use that to generate
the Exceution_Successful value in the SARIF report.
gcc/ada/ChangeLog:
* comperr.adb (Compiler_Abort): Pass the exit code in calls to
Output_Messages.
* errout.adb (Output_Messages): Add new parameter
From: Eric Botcazou
The extra digit returned by the function is supposed to be rounded, either
by Scan_Integral_Digits or by Scan_Decimal_Digits, but that is not the case
when it is the last digit read by Scan_Integral_Digits.
The problem is fixed by rounding it in Scan_Decimal_Digits in this ca
From: Piotr Trojanek
Detection of ghost entities work similarly for names of objects (in assignment
statements) and for names of subprograms (in subprogram calls). Tune routine
name and its comment to match this similarity.
gcc/ada/ChangeLog:
* sem_util.ads (Get_Enclosing_Ghost_Entity):
On Mon, 2025-06-30 at 15:24 -0400, David Malcolm wrote:
> The "json" output format for diagnostics was deprecated in GCC 15,
> with
> advice to users seeking machine-readable diagnostics from GCC to use
> SARIF instead.
>
> This patch eliminates it from GCC 16, simplifying the diagnostics
> subsys
Am 30.06.25 um 15:29 schrieb Andre Vehreschild:
Hi all,
attached patch fixes an ICE when in an expression with a coindex a function was
used more than once. E.g. coarray(mod( something ), mod( something else ))[i]
ICE'd because a component for aliasing the second mod() could not be created.
Reg
From: Alexandre Oliva
GCC 14 is stricter about type conversions. Taking the address of an
array and decaying the array to a pointer to its first element yield
the same address, but the types are no longer considered compatible.
The socket data structures want decayed pointers rather than address
From: Bob Duff
Fixes this bug: If -gnatw.o is specified, it is ignored unless
-gnatwm is also specified (either directly, or as part of a
catch-all switch like -gnatwa).
gcc/ada/ChangeLog:
* sem_warn.adb (Warn_On_Useless_Assignments):
Enable Warn_On_Useless_Assignment in the cas
From: Johannes Kliemann
The Ada coding style requires the use of short circuit forms in
if-statements. Use this form consistently for all if-statements.
gcc/ada/ChangeLog:
* libgnat/s-valuer.adb: Switch missing if-statements to
short-circuit form.
* libgnat/i-cpoint.adb:
From: Eric Botcazou
That's a regression introduced by the rewrite of the finalization machinery,
in the form of dangling references to Master_Node entities remaining in the
tree after the removal of the ignored Ghost code.
gcc/ada/ChangeLog:
* exp_ch7.adb (Process_Transient_In_Scope): B
On 29/06/2025 10:29, Filip Kastl wrote:
> The last patch of mklog.py put top-level code into function 'main()'.
> Because of this, writing to global variable 'root' has to be preceded by
> explicitly declaring 'root' as global. Otherwise the write only has a
> local effect.
>
> Without this chang
On 6/30/25 06:11, Richard Biener wrote:
>> +static void
>> +gen_btf_decl_tag_dies (tree t, dw_die_ref target, dw_die_ref context_die)
>> +{
>> + if (t == NULL_TREE || !DECL_P (t) || !target)
>> +return;
>> +
>> + tree attr = lookup_attribute ("btf_decl_tag", DECL_ATTRIBUTES (t));
>> + if
The "json" output format for diagnostics was deprecated in GCC 15, with
advice to users seeking machine-readable diagnostics from GCC to use
SARIF instead.
This patch eliminates it from GCC 16, simplifying the diagnostics
subsystem somewhat.
Note that the Ada frontend seems to have its own implem
Modernization; no functional change intended.
Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu.
Pushed to trunk as r16-1832-g5bcb841f29a861.
gcc/ChangeLog:
* diagnostic-color.cc: Use nullptr rather than NULL.
* diagnostic-format-sarif.cc: Likewise.
* diagnosti
Modernization; no functional change intended.
Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu.
Pushed to trunk as r16-1831-g8ac43bfa380b5c.
gcc/analyzer/ChangeLog:
* checker-event.cc (function_entry_event::get_meaning): Convert
diagnostic_event::meaning enums to enum
> On Jun 30, 2025, at 07:27, Richard Biener wrote:
>
> On Tue, Jun 10, 2025 at 5:28 PM Qing Zhao wrote:
>>
>>
>>
>>> On Jun 10, 2025, at 09:37, Richard Biener
>>> wrote:
>>>
>>> On Mon, Jun 9, 2025 at 8:06 PM Qing Zhao wrote:
> On Jun 6, 2025, at 03:31, Richard Bie
> On Jun 30, 2025, at 07:33, Richard Biener wrote:
>
> On Fri, Jun 27, 2025 at 3:39 PM Qing Zhao wrote:
>>
>> Hi,
>>
>> A status update on this patch: (Actually a good news!)
>>
>>> On Jun 10, 2025, at 11:32, Qing Zhao wrote:
>>>
>>>
>>>
>>
>
> It's difficult to do any me
On Mon, 30 Jun 2025, Richard Biener wrote:
> > * gcc.target/i386/pr116979.c
> >
> > Here we check that FMA is used for complex multiplication. This is a case
> > where use of FMA is detrimental for accuracy, but I guess we can choose
> > to preserve the status quo. I can look into teaching
> > e
On Mon, Jun 30, 2025 at 05:14:06PM +0200, Jakub Jelinek wrote:
> 1) for idx being INTEGER_CST (case for which I believe the change has been
>added) it keeps doing what it did
> 2) if both op1 and op2 are arrays with invariant address or pointers to
>something with invariant address, it uses
From: Eric Botcazou
It exposed a small loophole in the Backend_Processing_Possible predicate.
gcc/ada/ChangeLog:
* exp_aggr.adb (Backend_Processing_Possible.Component_Check): Return
False for delayed conditional expressions.
Tested on x86_64-pc-linux-gnu, committed on master.
From: Steve Baird
Clean up problematic interactions between Itype subtypes and predicates,
which were causing required predicate checks to be (incorrectly) omitted.
gcc/ada/ChangeLog:
* einfo-utils.adb (Predicate_Function): Improve handling of a case
where a predicate specified
On 6/28/25 7:00 AM, H.J. Lu wrote:
Since a backend may ignore user type alignment for arguments passed on
stack, check backend for argument alignment on stack when evaluating
__alignof.
I assume that's reflected in DECL_ALIGN, so could we just add PARM_DECL to
else if (VAR_OR_FUNCTION_DECL_
> Hi Honza,
>
> On Sun, Jun 29, 2025 at 10:45 PM Jan Hubicka wrote:
> >
> > >
> > >
> > > > On 24 Jun 2025, at 7:43 pm, Jan Hubicka wrote:
> > > >
> > > > External email: Use caution opening links or attachments
> > > >
> > > >
> > > > Hi,
> > > > this pass removes early-inlining from afdo pass
From: Bob Duff
Max_Size_In_Storage_Elements is supposed to return a value greater or
equal to what is passed for any heap allocation for an object of the
type. For a tagged type T, we don't know the allocation size for
descendants; therefore T'Class'Max_Size_In_Storage_Elements should
return a hu
From: Gary Dismukes
The initial set of changes for doing proper mapping of calls to primitive
functions in Pre/Post'Class aspects inherited by derived types was not
handling some cases (such as when formals are referenced as part of
dereferences, certain aspects such as 'Old and 'Access, and cond
On Mon, Jun 30, 2025 at 10:51:38AM -0400, Jason Merrill wrote:
> > > So, kill the optimization unless idx is INTEGER_CST (am not sure
> > > TREE_SIDE_EFFECTS is sufficient because it could be e.g. reading
> > > from some
> > > VAR_DECL),
> >
> > !TREE_SIDE_EFFECTS && tree_invariant_p?
>
> Or perh
OK for trunk and backports.
On Fri, 27 Jun 2025 at 03:51, Patrick Palka wrote:
>
> PR libstdc++/120789
>
> libstdc++-v3/ChangeLog:
>
> * include/bits/ranges_algo.h (__remove_if_fn::operator()): Use
> ranges::iter_move(iter) instead of std::move(*iter).
> * testsuit
On Fri, 27 Jun 2025 at 03:44, Patrick Palka wrote:
>
> Tested on x86_64-pc-linux-gnu, does this look OK for trunk and perhaps
> 15/14?
Yes for trunk and backports.
>
> -- >8 --
>
> PR libstdc++/120789
>
> libstdc++-v3/ChangeLog:
>
> * include/bits/ranges_algo.h (__unique_fn::oper
When -fauto-profile-inlining was added it was documented, but
common.opt.urls wasn't regenerated.
Fixes: aaf55e09b3d9 ("Add -fauto-profile-inlining")
gcc/ChangeLog:
* common.opt.urls: Regenerate.
---
gcc/common.opt.urls | 3 +++
1 file changed, 3 insertions(+)
diff --git a/gcc/common.o
Hi!
On 2025-06-05T10:42:00+0200, Tobias Burnus wrote:
> Currently, using the ISO version of C and C++ will disable the
> OpenMP and OpenACC intrinsics, which is rather surprising. The
> reason is that those imply -fno-nonansi-builtins and the
> OpenMP/OpenACC are marked as non-ansi builtins.
>
>
On Mon, 2025-06-30 at 16:47 +, Qing Zhao wrote:
[...snip...]
> The output with -fdiagnostics-show-context=1 is:
>
> /home/opc/Work/GCC/latest-gcc-
> write/gcc/testsuite/gcc.dg/pr109071_7.c: In function ‘foo’:
> /home/opc/Work/GCC/latest-gcc-
> write/gcc/testsuite/gcc.dg/pr109071_7.c:12:6: wa
On Mon, Jun 30, 2025 at 03:55:46PM -0400, Jason Merrill wrote:
> Might go with my earlier !TREE_SIDE_EFFECTS && tree_invariant_p suggestion?
If you mean the following, it passes the 2 testcases and I can surely
bootstrap/regtest it tonight.
2025-06-30 Jakub Jelinek
PR c++/120471
On Sat, 28 Jun 2025, Jason Merrill wrote:
> + if (!flag_use_cxa_atexit != !DEFAULT_USE_CXA_ATEXIT)
> +{
> + const char *opt, *copt;
> + if (flag_use_cxa_atexit)
> + opt = "-fuse-cxa-atexit", copt = "--enable-__cxa_atexit";
> + else
> + opt = "-fno-use-cxa-atexit", copt
1 - 100 of 123 matches
Mail list logo
