[Ada] Fix PR ada/121885

2025-09-20 Thread Eric Botcazou
be dropped on the C side, leaving it at just 256 enumeration values. This fixes both issues, i.e. ensures that the number of enumeration values is the same on both sides and bumps the size of the C type to 16 bits. Tested on x86-64/Linux, applied on the mainline. 2025-09-10 Eric Botcazou

Re: [PATCH] Preserve TREE_THIS_NOTRAP during inlining in more cases

2025-09-20 Thread Eric Botcazou
le store on an object that is a read-only memory, then execution is erroneous. Note that the doc of TREE_THIS_NOTRAP suggests that it is orthogonal to readonly considerations. > The issue is that TREE_THIS_NOTRAP is "global" and not flow-sensitive. Yes, that's the reason for all this game. -- Eric Botcazou

Re: [PATCH] sparc: Compile TLS LD tests with -fPIC

2025-09-17 Thread Eric Botcazou
gcc.target/sparc/tls-ld-int64.c: Likewise. > * gcc.target/sparc/tls-ld-int8.c: Likewise. > * gcc.target/sparc/tls-ld-uint16.c: Likewise. > * gcc.target/sparc/tls-ld-uint32.c: Likewise. > * gcc.target/sparc/tls-ld-uint8.c: Likewise. OK, thanks! -- Eric Botcazou

Re: [Ada] Fix PR ada/121532

2025-09-17 Thread Eric Botcazou
> This PR is about spurious failures of the ACATS-4 test cxai033, which uses > tasking. This tentatively applies the same tweak as in other similar cases. Applied to cxai03[4-6] as well. PR ada/121532 * ada/acats-4/tests/cxa/cxai034.a: Use Long_Switch_To_New_Task constan

Re: [PATCH] Preserve TREE_THIS_NOTRAP during inlining in more cases

2025-09-16 Thread Eric Botcazou
NLY tell us? If it doesn't have TREE_THIS_NOTRAP set, > same question. Given the aforementioned usage of TREE_READONLY, you cannot set it if the value may change so, if we want to do something about this affair, I think that we should work on TREE_THIS_NOTRAP and leave TREE_READONLY alone. -- Eric Botcazou

Re: [PATCH] Ada, libgnarl: Fix Ada bootstrap for Darwin.

2025-09-16 Thread Eric Botcazou
en Ada is enabled. > > Fixed thus. > > gcc/ada/ChangeLog: > > * libgnarl/s-osinte__darwin.adb: Ensure that > Interfaces.C is referenced. Please add PR ada/114065 above the line and "and remove clause for Interfaces.C.Extensions" at the end. -- Eric Botcazou

Re: [PATCH] Preserve TREE_THIS_NOTRAP during inlining in more cases

2025-09-15 Thread Eric Botcazou
rees? Do you mean TREE_READONLY or TREE_THIS_NOTRAP is a useless flag? In my view they mean different and orthogonal things. We do propagate TREE_READONLY in the inliner and the tree rewriting routines too. -- Eric Botcazou

Re: [PATCH] Preserve TREE_THIS_NOTRAP during inlining in more cases

2025-09-15 Thread Eric Botcazou
g edges in the CFG in this context; at least adding an additional test on type_contains_placeholder_p in the change to the inliner will rule it out since it does not use PLACEHOLDER_EXPRs. -- Eric Botcazou

Re: [PATCH] Preserve TREE_THIS_NOTRAP during inlining in more cases

2025-09-15 Thread Eric Botcazou
eadonly decl? I think there is no possible such check in Ada and that you cannot invoke a subprogram that contains a store on a readonly object without invoking a (bounded) erroneous execution in the program. -- Eric Botcazou

[PATCH] Preserve TREE_THIS_NOTRAP during inlining in more cases

2025-09-14 Thread Eric Botcazou
idered as trapping in the case where the nominal subtype of DECL is self-referential. Bootstrapped/regtested on x86-64/Linux, OK for the mainline? 2025-09-15 Eric Botcazou * tree-inline.cc (maybe_copy_this_notrap): New function. Copy the TREE_THIS_NOTRAP flag for paramete

[PATCH] Minor tweaks to ipa-pure-const.cc

2025-09-12 Thread Eric Botcazou
Tested on x86-64/Linux, applied to mainline as obvious. 2025-09-12 Eric Botcazou * ipa-pure-const.cc (check_stmt): Minor formatting tweaks. (pass_data_nothrow): Fix pasto in description. -- Eric Botcazoudiff --git a/gcc/ipa-pure-const.cc b/gcc/ipa-pure-const.cc index

[Ada] Fix PR ada/121532

2025-09-08 Thread Eric Botcazou
This PR is about spurious failures of the ACATS-4 test cxai033, which uses tasking. This tentatively applies the same tweak as in other similar cases. Tested on x86-64/Linux, applied on the mainline. 2025-09-08 Eric Botcazou PR ada/121532 * ada/acats-4/tests/cxa/cxai033.a

[c-family] Fix PR ada/121544

2025-09-08 Thread Eric Botcazou
This is about -fdump-ada-spec not generating the definition of the structure for pointers to anonymous structure as structure elements. Tested on x86-64/Linux, applied on the mainline. 2025-09-08 Eric Botcazou PR ada/121544 * c-ada-spec.cc (dump_ada_node) : Dump the name of

Re: [COMMITTED 26/30] ada: Do not install the support files of 128-bit types on 32-bit targets

2025-09-03 Thread Eric Botcazou
> They both point to s-atopri__32.ads. Thanks. Do you have any patches on top of the pristine sources that touch PowerPC multilib settings? -- Eric Botcazou

Re: [COMMITTED 26/30] ada: Do not install the support files of 128-bit types on 32-bit targets

2025-09-02 Thread Eric Botcazou
o remove only the former and not the latter... What does the s-atopri.ads file point to in the 2 directories? -- Eric Botcazou

Re: [COMMITTED 26/30] ada: Do not install the support files of 128-bit types on 32-bit targets

2025-09-02 Thread Eric Botcazou
gt; '--with-long-double-128' 'build_alias=powerpc64-suse-linux' > '--enable-languages=c,ada,c++,d,fortran,go,lto,m2,objc'" Strange, we had successful builds on PowerPC64 since then (20250804), see for example PR middle-end/121530. Can you try without the build_alias setting? -- Eric Botcazou

[Ada] Fix PR ada/120440

2025-07-31 Thread Eric Botcazou
mainline and 15 branch. Thanks to Sam for the relentless investigation. 2025-07-31 Eric Botcazou PR ada/120440 * gcc-interface/Makefile.in (GNATLINK_OBJS): Add s-excmac.o. (GNATMAKE_OBJS): Likewise. -- Eric Botcazou diff --git a/gcc/ada/gcc-interface/Makefile.in b/gcc/ada

Re: [PATCH] Default to -mcpu=ultrasparc3 on Solaris/SPARC

2025-07-22 Thread Eric Botcazou
, 4P-1. In the end, it doesn't matter anyway since > libc.so.1 already has both flags, so the resulting executables and > shared objects will too, anyway. > > I mean to commit this in the next couple of days unless Eric has > concerns or objections. Nope, thanks for tackling this! -- Eric Botcazou

[Ada] Fix PR ada/121184

2025-07-21 Thread Eric Botcazou
This fixes an old issue whereby violations of the style check -gnatyc are sometimes reported as violations of -gnatyt instead. Tested on x86-64/Linux, applied on the mainline and 15 branch. 2025-07-21 Eric Botcazou PR ada/121184 * styleg.adb (Check_Comment): Use consistent

[Ada] Fix PR ada/121056

2025-07-14 Thread Eric Botcazou
This adds a missing guard before accessing the Underlying_Record_View field. Tested on x86-64/Linux, applied on the mainline. 2025-07-14 Eric Botcazou PR ada/121056 * sem_ch4.adb (Try_Object_Operation.Try_Primitive_Operation): Add test on Is_Record_Type before

[Ada] Reapply tweaks to delay statements in ACATS 3&4 testsuites

2025-07-07 Thread Eric Botcazou
They had originally been applied to the ACATS 2 testsuite and I forgot to reapply them to the ACATS 4 testsuite altogether. Tested on x86-64/Linux, applied on the mainline. 2025-07-07 Eric Botcazou * ada/acats-3/tests/c9/c94001c.ada: Tweak delay statements. * ada/acats-4

[Ada] Switch from ACATS 2.6 to ACATS 4.2 testsuite

2025-07-04 Thread Eric Botcazou
This effectively adds 250 new tests, i.e. around 10% more tests. Tested on x86-64/Linux, applied on the mainline. 2025-07-04 Eric Botcazou * gcc-interface/Make-lang.in (ACATSDIR): Change to acats-4. -- Eric Botcazoudiff --git a/gcc/ada/gcc-interface/Make-lang.in b/gcc/ada/gcc

[Ada] Remove left-overs of front-end exception mechanism

2025-07-03 Thread Eric Botcazou
Tested on x86-64/Linux, applied on the mainline. 2025-07-03 Eric Botcazou * gcc-interface/Makefile.in (gnatlib-sjlj): Delete. (gnatlib-zcx): Do not modify Frontend_Exceptions constant. * libgnat/system-linux-loongarch.ads (Frontend_Exceptions): Delete. -- Eric

[Ada] Fix PR ada/120705

2025-07-01 Thread Eric Botcazou
This fixes an assertion failure for the Finalizable aspect applied on a tagged type with discriminant-dependent component. Tested on x86-64/Linux, applied on the mainline and 15 branch. 2025-07-01 Eric Botcazou PR ada/120705 * exp_ch6.adb (Needs_BIP_Collection): Always

[Ada] Fix PR ada/120854

2025-06-28 Thread Eric Botcazou
This fixes an error recovery issue, whereby the compilation of a string concatenation with an illegal character constant hangs. Tested on x86-64/Linux, applied on the mainline and 15 branch. 2025-06-28 Eric Botcazou PR ada/120854 * sem_eval.adb (Get_String_Val): Be prepared

[PATCH] Fix misoptimization of CONSTRUCTOR with reverse SSO

2025-06-26 Thread Eric Botcazou
than gcc-13. Tested on x86-64/Linux, OK for mainline down to the gcc-13 branch? 2025-06-26 Eric Botcazou * gimple-fold.cc (fold_const_aggregate_ref_1) : Bail out immediately if the reference has reverse storage order. * tree-ssa-sccvn.cc (fully_constant_vn_refere

[Ada] Fix PR ada/120665

2025-06-17 Thread Eric Botcazou
This is an assertion failure on code using a container aggregate in the primitives referenced by the Aggregate aspect, which cannot work. Tested on x86-64/Linux, applied on the mainline. 2025-06-17 Eric Botcazou PR ada/120665 * sem_aggr.adb (Resolve_Container_Aggregate

Re: [PATCH] Fix questionable optimization of short-circuit operators

2025-06-11 Thread Eric Botcazou
d_gimple_cond case only applies to defs that > have uses in a gcond *. I can restrict the change to the single-use-within-a-gcond case then. -- Eric Botcazou

[PATCH] Fix questionable optimization of short-circuit operators

2025-06-10 Thread Eric Botcazou
jumps for conjunctions and disjunctions to Ada for targets where they are cheap. Tested on x86-64/Linux, OK for the mainline? 2025-06-10 Eric Botcazou * cfgexpand.cc (has_cheap_jumps_and_no_conditional_compare): New predicate. (expand_gimple_cond): Call it. Emit

[PATCH] Fix assertion failure on small array constructor

2025-06-06 Thread Eric Botcazou
instead of the static one for negative indices. Bootstrapped/regtested on x86-64/Linux, OK for the mainline? 2025-06-06 Eric Botcazou * expr.cc (store_constructor) : Perform the static host-based arithmetics on offsets in (unsigned) sizetype. 2025-06-06 Eric Botcazou

Re: [PATCH] Fix crash with constant initializer caused by IPA

2025-06-01 Thread Eric Botcazou
es (once they reopen)? * tree-vect-data-refs.cc (vect_can_force_dr_alignment_p): Return false if the variable has no symtab node. -- Eric Botcazou diff --git a/gcc/tree-vect-data-refs.cc b/gcc/tree-vect-data-refs.cc index 9fd1ef29650..6e35f549a8c 100644 --- a/gcc/tree-vect-data-refs.cc +++

[PATCH] Fix crash with constant initializer caused by IPA

2025-05-29 Thread Eric Botcazou
at introduces a regression for g++.dg/ipa/devirt-39.C, because the vtable is preserved and in turn forces the method to be preserved, hence the special case for vtables. The test also renames the first process_references function in ipa.cc to clear the confusion with the second function in the

[Ada] Install ACATS 4.2 testsuite in acats-4 directory

2025-05-24 Thread Eric Botcazou
2578 # of unexpected failures0 Native configuration is x86_64-suse-linux-gnu Applied on the mainline. 2025-05-24 Eric Botcazou testsuite/ * ada/acats-4: Add ACATS 4.2 testsuite. -- Eric Botcazou

[Ada] Install ACATS 3.1 testsuite in acats-3 directory

2025-05-24 Thread Eric Botcazou
=== # of expected passes2421 # of unexpected failures0 Applied on the mainline. 2025-05-24 Eric Botcazou testsuite/ * ada/acats-3: Add ACATS 3.1 testsuite. -- Eric Botcazou

[Ada] Move ACATS 2.6 testsuite to acats-2 directory

2025-05-24 Thread Eric Botcazou
This is in preparation for the installation of the ACATS 4.2 testsuite. Tested on x86-64/Linux, applied on the mainline. 2025-05-24 Eric Botcazou ada/ * gcc-interface/Make-lang.in (ACATSDIR): Use acats-2 directory. testsuite/ * ada/acats/*: Rename into ada/acats-2

[testsuite] Remove obsolete ada/acats/overflow.lst file

2025-05-22 Thread Eric Botcazou
It is used to specify which files are compiled with -gnato, but the switch has been the default for at least a decade. Tested on x86-64/Linux, applied on the mainline. 2025-05-22 Eric Botcazou * ada/acats/overflow.lst: Delete. * ada/acats/run_all.sh: Do not process

[PATCH] Fix IPA-SRA issue with reverse SSO on specific pattern

2025-05-21 Thread Eric Botcazou
but the pattern is so specific, even in Ada, that patching earlier branches does not seem worth the hassle. 2025-05-21 Eric Botcazou * ipa-sra.cc (scan_expr_access): Also disqualify storage order barriers from splitting. * tree.h (storage_order_barrier_p): Al

Re: [PATCH] sparc: Avoid operandN variables in .md files

2025-05-21 Thread Eric Botcazou
> gcc/ > * config/sparc/sparc.md (zero_extendhisi2, zero_extendhidi2) > (extendhisi2, extendqihi2, extendqisi2, extendqidi2) > (extendhidi2): Use operands[0] and operands[1] instead of > operand0 and operand1. OK, thanks. -- Eric Botcazou

Re: [PATCH] Partially lift restriction from loc_list_from_tree_1

2025-05-18 Thread Eric Botcazou
> OK. Thanks. > Btw, can we try to add a "guality" for gnat.dg? Or are you making sure to > add coverage to the gdb testsuite? Yes, the GDB testsuite will get a testcase. -- Eric Botcazou

Re: [PATCH 1/4]middle-end: document pragma unroll n [PR116140]

2025-05-13 Thread Eric Botcazou
-funroll-loops either augment or use a multiple of the specified factor? -- Eric Botcazou

[PATCH] Partially lift restriction from loc_list_from_tree_1

2025-05-12 Thread Eric Botcazou
second part of the restriction, which helps for obscure cases of packed discriminated record types in Ada, although this requires the latest GDB sources. Tested on x86-64/Linux, OK for the mainline? 2025-05-12 Eric Botcazou * dwarf2out.cc (loc_list_from_tree_1) : Do not bail

[PATCH] Fix wrong optimization of complex boolean expression

2025-05-09 Thread Eric Botcazou
of vr-values.cc, leading to the same problematic outcome. Tested on x86-64/Linux, OK for the mainline, 15 and 14 branches? 2025-05-09 Eric Botcazou * vr-values.cc (simplify_using_ranges::simplify) : Do not call simplify_bit_ops_using_ranges for boolean types whos

[Ada] Fix PR ada/120104

2025-05-05 Thread Eric Botcazou
. 2025-05-05 Eric Botcazou PR ada/120104 * exp_ch3.adb (Expand_Freeze_Record_Type): For a controlled tagged type, freeze only the controlled primitives that are present. 2025-05-05 Eric Botcazou * gnat.dg/specs/finalizable1.ads: New test. -- Eric Botcazoudiff

[Ada] Fix PR ada/112958

2025-04-30 Thread Eric Botcazou
This fixes the long-standing build failure of GNAT for x86/FreeBSD. Applied on all active branches. 2025-04-30 Eric Botcazou PR ada/112958 * Makefile.rtl (LIBGNAT_TARGET_PAIRS) [x86 FreeBSD]: Add specific version of s-dorepr.adb. * libgnat/s

Re: [PATCH] gcc: For Windows x86-32, always attempt to realign stack regardless of SSE

2025-04-27 Thread Eric Botcazou
t; * config/i386/cygming.h (STACK_REALIGN_DEFAULT): Copy from sol2.h. FWIW looks good to me. -- Eric Botcazou

Re: [PATCH] Fix wrong optimization of conditional expression with enumeration type

2025-04-18 Thread Eric Botcazou
> I'd reword this to > > "Similarly, TYPE_UNSIGNED is false for components of vector masks and > possibly for boolean types in languages other than C." > > That is, the C/middle-end boolean_type_node is always unsigned. OK, thanks, I have installed the attached patch. -- Eric Botcazoudiff --gi

Re: [PATCH] Fix wrong optimization of conditional expression with enumeration type

2025-04-17 Thread Eric Botcazou
ents of vector masks, + although it is believed to be true for all boolean types built in the + front-ends of the various languages. */ DEFTREECODE (BOOLEAN_TYPE, "boolean_type", tcc_type, 0) /* Integer types in all languages, including char in C. -- Eric Botcazou

Re: [PATCH] Fix wrong optimization of conditional expression with enumeration type

2025-04-17 Thread Eric Botcazou
tcc_type, 0) /* Integer types in all languages, including char in C. -- Eric Botcazou

[PATCH] Fix wrong optimization of conditional expression with enumeration type

2025-04-16 Thread Eric Botcazou
Botcazou * tree-ssa-phiopt.cc (factor_out_conditional_operation): Do not bypass the int_fits_type_p test for boolean types whose precision is not 1. 2025-04-15 Eric Botcazou * gnat.dg/opt105.adb: New test. * gnat.dg/opt105_pkg.ads, gnat.dg/opt105_pkg.adb

Fix PR lto/119792

2025-04-14 Thread Eric Botcazou
branch), where the change is equally problematic, until a way out is devised for Ada. Tested on x86-64/Linux, applied on the 14 branch. 2025-04-14 Eric Botcazou PR lto/119792 Revert Backported from master: 2024-12-12 Martin Uecker PR c/113688

[Ada] Fix PR ada/119643

2025-04-12 Thread Eric Botcazou
to the wrong conclusion that it does not. Tested on x86-64/Linux, applied on the mainline. 2025-04-12 Eric Botcazou PR ada/119643 * sem_ch8.adb (Inherit_Renamed_Profile): Add guard against the peculiarities of Natural and Positive. 2025-04-12 Eric Botcazou

[PATCH] Fix PR target/119673

2025-04-11 Thread Eric Botcazou
Hi, this applies the same magic to config/i386/gthr-win32.h that was applied to gthr-posix.h (https://gcc.gnu.org/cgit/gcc/commit/?id=6a4d1c374eed17) for the sake of C++ modules (thanks to Andrew for the pointer!). Built for {i686,x86_64}-w64-mingw32, OK for the mainline? 2025-04-11 Eric

Re: [COMMITTED] gcc-15/changes: Document Ada changes

2025-04-08 Thread Eric Botcazou
> Thanks Fernando, Seconded. > I've pushed the attached changes. I have made a few subsequent tweaks (attached). -- Eric Botcazou diff --git a/htdocs/gcc-15/changes.html b/htdocs/gcc-15/changes.html index 8220d130..e29fca9d 100644 --- a/htdocs/gcc-15/changes.html +++ b/ht

[Ada] Fix wrong 'Access to aliased constrained array of controlled type

2025-04-07 Thread Eric Botcazou
ys is pointer-to-constrained-array and, therefore, its value must designate the array itself and not the bounds. Tested on x86-64/Linux, applied on the mainline (branches are not affected). 2025-04-07 Eric Botcazou ada/ * gcc-interface/utils.cc (convert) : Use fold_convert

Re: [PATCH] Further use of mod_scope in modified_type_die

2025-04-05 Thread Eric Botcazou
> Let's involve Eric here, I have no idea what was intended here. We discussed it with Tom internally and he makes the final decisions here. -- Eric Botcazou

Re: [PATCH] cse: Fix up delete_trivially_dead_insns [PR119594]

2025-04-04 Thread Eric Botcazou
if there is no previous use of REG: case REG: if (x == dest) { if (incr > 0 && counts[REGNO (x)] != 0) counts[REGNO (x)] += incr; } else counts[REGNO (x)] += incr; return; IIUC this would both fix the bug and preserve the deletion if insn 26 and 27 are swapped. -- Eric Botcazou

Re: [PATCH] cse: Fix up delete_trivially_dead_insns [PR119594]

2025-04-04 Thread Eric Botcazou
in the RTL stream, which is precisely the case that we may lead to wrong code. -- Eric Botcazou

[Ada] Fix thinko in Eigensystem for complex Hermitian matrices

2025-04-04 Thread Eric Botcazou
throughout the implementation, mostly in the commentary and without functional changes. Tested on x86-64/Linux, applied on all active branches. 2025-04-04 Eric Botcazou ada/ * libgnat/a-ngcoar.adb (Eigensystem): Adjust notation and fix the layout of the real symmetric matrix in

Fix too late initialization of tasking runtime with standalone library

2025-03-27 Thread Eric Botcazou
is idempotent. Tested on x86-64/Linux, applied on the mainline (branches are not affected). 2025-03-27 Eric Botcazou ada/ * libgnarl/s-tasini.adb (Tasking_Runtime_Initialize): Add pragma Linker_Constructor for the procedure. -- Eric Botcazoudiff --git a/gcc/ada

[Ada] Fix formatting of version message for gnat driver

2025-03-19 Thread Eric Botcazou
Like the main driver (as well as gccgo, gccrs, gcov, etc) the gnat driver prints the standard version message in response to the --version switch, but it is not properly formatted. Tested on x86-64/Linux, applied on the mainline. 2025-03-19 Eric Botcazou * gnatvsn.adb

[Ada] Fix misoptimization at -O2 in LTO mode

2025-03-19 Thread Eric Botcazou
mainline, 14 and 13 branches. 2025-03-19 Eric Botcazou * gcc-interface/decl.cc (gnat_to_gnu_entity) : Set the may_alias attribute if a specific GCC type is built. -- Eric Botcazoudiff --git a/gcc/ada/gcc-interface/decl.cc b/gcc/ada/gcc-interface/decl.cc index 1854c587543

[Ada] Fix spurious visibility error with partially parameterized formal package

2025-03-19 Thread Eric Botcazou
internal to Instantiate_Formal_Package, where a specific construct (the abbreviated instance) built for the nested formal package discombobulates the processing done for the outer formal package. Tested on x86-64/Linux, applied on the mainline, 14 and 13 branches. 2025-03-19 Eric Botcazou

[c-family] Fix PR ada/119265

2025-03-13 Thread Eric Botcazou
This plugs a small loophole in the pattern matching done by -fdump-ada-spec. Tested on x86-64/Linux, applied on mainline, 14 and 13 branches. 2025-03-13 Eric Botcazou PR ada/119265 * c-ada-spec.cc (dump_ada_node) : Deal with typedefs of unsigned __int128. -- Eric

Re: [PATCH] ifcvt: Fix ICE with (fix:SI (fix:DF (reg:DF))) [PR117712]

2025-02-28 Thread Eric Botcazou
tophe > tested this on arm, ok for trunk? > > 2025-02-27 Jakub Jelinek > > PR rtl-optimization/117712 > * expr.cc (force_operand): Handle {,UNSIGNED_}FIX with > FIX operand using expand_fix on the inner FIX operand. > > * gcc.dg/pr117712.c: New test. Looks good to me, thanks. -- Eric Botcazou

Re: [PATCH] arm: Remove inner 'fix:HF/SF/DF' from fixed-point patterns (PR 117712)

2025-02-19 Thread Eric Botcazou
from the middle-end change and papering over it in various back-ends should be the very last resort solution. -- Eric Botcazou

Re: [PATCH] i386: Change RTL representation of bt[lq] [PR118623]

2025-02-10 Thread Eric Botcazou
es the former variant with the CCC & CCXC modes. -- Eric Botcazou

Re: [PATCH] [testsuite] [sparc] select ultrasparc for fsmuld test

2025-02-06 Thread Eric Botcazou
also tested with gcc-14 targeting > leon3-elf with -mfix-ut699. Ok to install? > > > for gcc/testsuite/ChangeLog > > * gcc.target/sparc/vis3move-3.c: Select ultrasparc. Skip with > -mfix-ut699. OK. -- Eric Botcazou

Re: [PATCH] [testsuite] [sparc] skip sparc-ret-1 with -mfix-ut699

2025-02-06 Thread Eric Botcazou
99. Ok to install? > > > for gcc/testsuite/ChangeLog > > * gcc.target/sparc/sparc-ret-1.c: Skip on -mfix-ut699. OK. -- Eric Botcazou

Re: [PATCH] [testsuite] [sparc] skip tls tests if emulated

2025-02-06 Thread Eric Botcazou
* gcc.target/sparc/tls-ld-uint32.c: Likewise. > * gcc.target/sparc/tls-ld-uint8.c: Likewise. OK. -- Eric Botcazou

Re: [PATCH] [testsuite] [sparc] use -mtune in alignment tuning test

2025-02-06 Thread Eric Botcazou
gara7-align.c: Use -mtune. OK. -- Eric Botcazou

[Ada] Fix PR ada/118731

2025-02-04 Thread Eric Botcazou
It's just a missing test for the presence of a nonempty parameter. Tested on x86-64/Linux, applied on the mainline. 2025-02-04 Eric Botcazou PR ada/118731 * sem_aggr.adb (Resolve_Iterated_Association): Add missing guard. -- Eric Botcazoudiff --git a/gcc/ada/sem_aggr.

[Ada] Fix PR ada/118712

2025-02-01 Thread Eric Botcazou
branches. 2025-02-01 Eric Botcazou PR ada/118712 * sem_warn.adb (Check_References): Deal with small adjustments of references. 2025-02-01 Eric Botcazou * gnat.dg/warn33.adb: New test. * gnat.dg/warn33_pkg.ads: New helper. -- Eric Botcazoudiff --git a

Re: [PATCH 28/61] Fix wrong instruction in the delay slot

2025-02-01 Thread Eric Botcazou
n't ignore the empty > block when searching for the next active instruction. -- Eric Botcazou

[Ada] Fix wrong elaboration for allocator at library level of dynamic library

2025-01-31 Thread Eric Botcazou
The problem was preexisting for class-wide allocators, but now occurs for allocators of controlled types on the mainline, because of the recent overhaul of the finalization machinery. Tested on x86-64/Linux, applied on the mainline. 2025-01-31 Eric Botcazou * gcc-interface

Re: [COMMITTED] Regenerate sparc.opt.urls

2025-01-20 Thread Eric Botcazou
> things up. Indeed, I did not notice that the bot's outcome was "failed", thanks. -- Eric Botcazou

Re: [COMMITTED] Regenerate sparc.opt.urls

2025-01-19 Thread Eric Botcazou
> sparc added a -mvis3b option, but the sparc.opt.url file wasn't > regenerated. > > Fixes: d309844d6fe0 ("Fix bootstrap failure on SPARC with -O3 > -mcpu=niagara4") Thanks, but how is one supposed to detect this? Everything worked fine. -- Eric Botcazou

[Ada] Fix PR ada/118459

2025-01-14 Thread Eric Botcazou
This adds the missing support for the S/390 and RISC-V architectures to the object file reader present in the run-time library, fixing the regression. Tested on x86-64/Linux, applied on the mainline. 2025-01-13 Eric Botcazou PR ada/118459 * libgnat/s-objrea.ads (Object_Arch

Re: [PATCH] dwarf2out: Emit DWARF 6 DW_AT_language_{name,version}

2025-01-08 Thread Eric Botcazou
salvage the non-obsoleted parts of the above change? -- Eric Botcazou

Re: [Ada] Fix PR ada/118247

2025-01-07 Thread Eric Botcazou
eak something, so the simpler, the better. -- Eric Botcazou

[Ada] Fix PR ada/118247

2025-01-06 Thread Eric Botcazou
This is a regression introduced by https://gcc.gnu.org/pipermail/gcc-cvs/2024-July/405522.html in the form of a spurious relinking of the gnatbind executable for the install target of cross Ada compilers. Tested on x86-64/Linux, applied on the mainline. 2025-01-06 Eric Botcazou

[Ada] Fix PR ada/117936

2025-01-05 Thread Eric Botcazou
This just aligns the documentation with the code. Tested with 'make doc', applied on the mainline. 2025-01-06 Eric Botcazou PR ada/117936 * doc/gnat_rm/implementation_defined_pragmas.rst (Unimplemented_Unit): Adjust the description of the err

Re: [PATCH] Ada: Fix build for dummy s-taprop

2025-01-05 Thread Eric Botcazou
ful for bringing up a new target. Thanks, patch applied on all active branches although it lacks a Changelog: * libgnarl/s-taprop__dummy.adb: Remove use clause for System.Parameters. (Unlock): Remove Global_Lock formal parameter. (Write_Lock): Likewise. -- Eric Botcazou

Re: [PATCH 2/2] Ada: Fix GNU/Hurd maximum priority

2024-12-22 Thread Eric Botcazou
> gcc/ada/ChangeLog: > > * libgnat/system-gnu.ads: Set Max_Priority to 60. Likewise. -- Eric Botcazou

Re: [PATCH 1/2] Ada: Add GNU/Hurd glibc api bits

2024-12-22 Thread Eric Botcazou
_sigset. > [__GNU__]: Define PTHREAD_*SIZE Thanks, applied. -- Eric Botcazou

[SPARC] Fix PR target/118096

2024-12-18 Thread Eric Botcazou
This replaces the use of FAIL in the new vec_cmp[u] expanders by that of a predicate for the operator, which is (apparently) required for the optabs machinery to properly compute the set of supported vector comparisons. Tested on SPARC64/Solaris 11.4, applied on the mainline. 2024-12-18 Eric

Re: [PATCH v3] ada: PR target/117538 Traceback includes load address if executable is PIE.

2024-12-18 Thread Eric Botcazou
gt; > gcc/ada/Changelog: > > PR target/117538 > * libgnat/s-trasym.adb: Returns the traceback, with the program load address > if available. This is OK, thanks. Do you want me to apply it? -- Eric Botcazou

[Ada] Fix PR ada/117996

2024-12-12 Thread Eric Botcazou
This fixes a precondition failure triggered when the Eigenvalues routine of Ada.Numerics.Generic_Real_Arrays is instantiated with -gnata, beause it calls Sort_Eigensystem on an empty vector. Tested on x86-64/Linux, applied on all active branches. 2024-12-12 Eric Botcazou PR ada

Re: [PATCHv4 0/3] ada: Add GNU/Hurd x86_64 support

2024-12-11 Thread Eric Botcazou
> Yes, please, I don't have commit access. OK, done. -- Eric Botcazou

Re: [PATCHv4 0/3] ada: Add GNU/Hurd x86_64 support

2024-12-11 Thread Eric Botcazou
> Difference with v3: Refresh > > Samuel Thibault (3): > ada: Factorize bsd signal definitions > ada: Fix GNU/Hurd priority range > ada: Add GNU/Hurd x86_64 support Thanks, this looks good to me. Do you need me to merge it? -- Eric Botcazou

Re: [PATCHv3 3/3] ada: Add GNU/Hurd x86_64 support

2024-12-10 Thread Eric Botcazou
NIX_PAIRS) and the associated $(TRASYM_DWARF_UNIX_OBJS). -- Eric Botcazou

[SPARC] Add functional comments for VIS4B instructions

2024-12-07 Thread Eric Botcazou
Applied on the mainline. 2024-12-07 Eric Botcazou * config/sparc/sparc.md (VIS4B instructions): Add comments. -- Eric Botcazoudiff --git a/gcc/config/sparc/sparc.md b/gcc/config/sparc/sparc.md index 5fd18b3ca27..159518d4b8f 100644 --- a/gcc/config/sparc/sparc.md +++ b/gcc/config

Re: [PATCH v6 2/7] Drop targetm.promote_prototypes from C, C++ and Ada frontends

2024-12-06 Thread Eric Botcazou
> I'm conditionally approving this unless FE maintainers complain before > holidays (the effect of the hook is re-instantiated during RTL expansion in > 1/7). FWIW I'm all for removing this piece of code from FEs. -- Eric Botcazou

[SPARC] Fix PR target/117715

2024-11-24 Thread Eric Botcazou
the mnemonics to the version documented in the Oracle SPARC architecture 2015. Bootstrapped/regtested on SPARC64/Solaris 10.4, applied on the mainline. 2024-11-24 Eric Botcazou PR target/117715 * config/sparc/sparc-protos.h (sparc_expand_vcond): Rename to

Re: Ping [PATCH] ada: PR target/117538 Traceback includes load address if executable is PIE.

2024-11-23 Thread Eric Botcazou
t please remove the part fiddling with zeros and just concentrate on printing the load address. -- Eric Botcazou

[PATCH] Adjust error message for initialized variable in .bss

2024-11-22 Thread Eric Botcazou
default setting in Ada is -fno-zero-initialized-in-bss instead of -fzero-initialized-in-bss. Tested on x86-64/Linux, OK for the mainline? 2024-11-22 Eric Botcazou * doc/invoke.texi (-fno-zero-initialized-in-bss): Adjust for Ada. * arasm.cc (get_variable_section): Adjust t

[Ada] Enable symbolic backtraces on more Linux and BSD ports

2024-11-19 Thread Eric Botcazou
This enables symbolic backtraces on the ports listed in the Changelog. Applied on the mainline. 2024-11-19 Eric Botcazou PR ada/117538 * Makefile.rtl (GNU Hurd): Add $(TRASYM_DWARF_UNIX_OBJS). (x86-64 kfreebsd): Likewise. (aarch64 FreeBSD): Likewise

Re: [PATCH] ipa-cp: Fix constant dumping

2024-11-14 Thread Eric Botcazou
what was) an > print_ipcp_constant_value overload for polymorphic contexts which are > constructible from trees, so the source compiles, but of course are not > what we want. Another misfeature of C++ indeed! Thanks for fixing the problem. -- Eric Botcazou

[Ada] Backport fix for internal compiler error

2024-11-04 Thread Eric Botcazou
backported it onto the active release branches. -- Eric Botcazou

Re: [PATCH] match: Fix `a != 0 ? a - 1 : 0` pattern [PR117363]

2024-11-03 Thread Eric Botcazou
> --- a/gcc/match.pd > +++ b/gcc/match.pd > @@ -3396,10 +3396,11 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) > simplify (X != 0 ? X + ~0 : 0) to (X - X != 0). */ The rightmost ( in the comment should be moved 2 tokens right. -- Eric Botcazou

Re: [PATCH] function: Call do_pending_stack_adjust in assign_parms [PR117296]

2024-10-30 Thread Eric Botcazou
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk? > > 2024-10-30 Jakub Jelinek > > PR target/117296 > * function.cc (assign_parms): Call do_pending_stack_adjust. > > * gcc.target/i386/pr117296.c: New test. Looks good to me. -- Eric Botcazou

  1   2   3   4   5   6   7   8   9   10   >