Re: [PATCH v8] ada: fix timeval timespec on 32 bits archs with 64 bits time_t [PR114065]

2024-05-15 Thread Arnaud Charlet
Nicolas, Thank you for such a large and delicate change! This looks generally good, except for the first parts: we cannot change documented/user packages, meaning that GNAT.Calendar, System.OS_Lib (via the documented GNAT.OS_Lib) and Ada.Calendar.Conversion cannot be changed: we need to keep

Re: [PATCH] ada: Fix Ada bootstrap on Solaris

2023-12-04 Thread Arnaud Charlet
> The recent warning patches broke Ada bootstrap on Solaris: > > adaint.c: In function '__gnat_kill': > adaint.c:3597:3: error: implicit declaration of function 'kill' > [-Wimplicit-function-declaration] > 3597 | kill (pid, sig); > | ^~~~ > > expect.c: In function

Re: [PATCH] Fix PR ada/111909 On Darwin, determine filesystem case sensitivity at runtime

2023-11-22 Thread Arnaud Charlet
> >> #if defined (__APPLE__) > >> -#include > > > > If removing unistd.h is intentional (i.e. you determined that it’s no longer > > needed for Darwin), then we should make that a separate patch. > > I thought that I’d had to include unistd.h for the first patch in this > thread; clearly not!

Re: [PATCH] Fix PR ada/111909 On Darwin, determine filesystem case sensitivity at runtime

2023-11-17 Thread Arnaud Charlet
> OK so then the following is sufficient for our needs: > > #elif defined (__APPLE__) >/* By default, macOS volumes are case-insensitive, iOS > volumes are case-sensitive. */ > #if TARGET_OS_IOS > file_names_case_sensitive_cache = 1; > #else >

Re: [PATCH] Fix PR ada/111909 On Darwin, determine filesystem case sensitivity at runtime

2023-11-17 Thread Arnaud Charlet
> Apple’s naming is definitely confusing in this area! > > In current SDKs, TARGET_OS_MAC means code is being generated for a Mac OS X > variant, > which covers OSX, IOS, Watch … ; to determine which kind of device, you have > to check the > specific define for that device - OSX corresponds

Re: [PATCH] Fix PR ada/111909 On Darwin, determine filesystem case sensitivity at runtime

2023-11-17 Thread Arnaud Charlet
> > Please simplify the above to (untested): > > > > #elif defined (__APPLE__) > >/* By default, macOS volumes are case-insensitive, iOS > > volumes are case-sensitive. */ > > #if TARGET_OS_MAC/* macOS, in older SDK. */ > > file_names_case_sensitive_cache = 0; > >

Re: [PATCH] Fix PR ada/111909 On Darwin, determine filesystem case sensitivity at runtime

2023-11-17 Thread Arnaud Charlet
> Also, should the test code below (between %%%) be included in the > testsuite? It would be good but tests shouldn't output anything, they should be self testing, and you will need to deal with making the test portable to all targets. Given that the compiler itself uses this feature, I don't

Re: [PATCH] Fix PR ada/111909 On Darwin, determine filesystem case sensitivity at runtime

2023-11-13 Thread Arnaud Charlet
> >>> OK, I thought there would be some defines that we could use for that, too > >>> bad if there isn't > >>> and indeed we might need to perform another runtime check then as > >>> suggested by Iain. > >> > >> I can see a possible interface, operatingSystemVersion in NSProcessInfo.h > >> -

Re: [PATCH] Fix PR ada/111813 (Inconsistent limit in Ada.Calendar.Formatting)

2023-11-09 Thread Arnaud Charlet
Marc, can you please take care of it when you get a chance? On Thu, Nov 09, 2023 at 11:22:21AM +, Simon Wright wrote: > On 24 Oct 2023, at 10:49, Arnaud Charlet wrote: > > > > This change is OK, thank you. > > Can it be committed, then, please? > > >> Th

Re: [PATCH] Fix PR ada/111909 On Darwin, determine filesystem case sensitivity at runtime

2023-11-06 Thread Arnaud Charlet
> > So without changing fundamentally the model, you can't decide dynamically > > for the whole > > system. Making the choice based on the current directory is pretty random, > > since the current > > directory isn't well defined at program's start up and could be pretty much > > any

Re: [PATCH] Fix PR ada/111909 On Darwin, determine filesystem case sensitivity at runtime

2023-11-03 Thread Arnaud Charlet
Hi Simon, In addition to the non portable issues already mentioned, this change isn't OK also for other reasons. Basically this function is global and decides once for all on the case sensitivity, while the case sensitiviy is on a per filsystem basis as you noted. So without changing

Re: [PATCH] Fix PR ada/111813 (Inconsistent limit in Ada.Calendar.Formatting)

2023-10-24 Thread Arnaud Charlet
This change is OK, thank you. > The description of the second Value function (returning Duration) (ARM > 9.6.1(87) > doesn't place any limitation on the Elapsed_Time parameter's value, beyond > "Constraint_Error is raised if the string is not formatted as described for > Image, or > the

Re: [PATCH] Fix PR ada/111813 (Inconsistent limit in Ada.Calendar.Formatting)

2023-10-19 Thread Arnaud Charlet
Hi Simon, > Pierre-Marie, I’ve CC’d you hoping you’re an appropriate person to ping on > this one. > If not, who would be for this sort of change? > > I should have said, tested by > - add test case, make -C gcc check-gnat: error reported > - make -C gcc gnatlib_and_tools; make install > - make

Re: [RFC] GCC Security policy

2023-09-20 Thread Arnaud Charlet
This is a great initiative I think. See reference to AdaCore's security email below (among Debian, Red Hat, SUSE) On Mon, Aug 7, 2023 at 7:30 PM David Edelsohn via Gcc-patches < gcc-patches@gcc.gnu.org> wrote: > FOSS Best Practices recommends that projects have an official Security > policy

Re: [PATCH 2/2 v3] Ada: Finalization of constrained subtypes of unconstrained synchronized private extensions

2023-09-18 Thread Arnaud Charlet via Gcc-patches
> Thanks for finding that! I have made the recommended change and attached the > revised patch, which is also rebased on trunk. > > Additionally, I have added the “Signed-off-by” tag for legal compliance to > the patch, as well as the change log entry as follows: Thank you, patch is therefore

Re: [PATCH 1/2 v2] Ada: Synchronized private extensions are always limited

2023-09-13 Thread Arnaud Charlet via Gcc-patches
> No worries, and sorry for the trouble. I’m going to try using a different > client for the gcc mailing list, it doesn’t seem to like Outlook. Thanks for > catching that mistake! > > Please advise how I can get this patch actually applied, given my lack of > commit privilege. You first need

Re: [PATCH v2] LoongArch: initial ada support on linux

2023-09-04 Thread Arnaud Charlet via Gcc-patches
OK, thanks. > gcc/ChangeLog: > > * ada/Makefile.rtl: Add LoongArch support. > * ada/libgnarl/s-linux__loongarch.ads: New. > * ada/libgnat/system-linux-loongarch.ads: New. > * config/loongarch/loongarch.h: mark normalized options > passed from driver to gnat1 as

Re: [PING][PATCH] LoongArch: initial ada support on linux

2023-09-01 Thread Arnaud Charlet via Gcc-patches
> gcc/ChangeLog: > > * ada/Makefile.rtl: Add LoongArch support. > * ada/libgnarl/s-linux__loongarch.ads: New. > * ada/libgnat/system-linux-loongarch.ads: New. > * config/loongarch/loongarch.h: mark normalized options > passed from driver to gnat1 as explicit for

Re: [PATCH][Ada] Fix syntax errors in expect.c

2023-09-01 Thread Arnaud Charlet via Gcc-patches
Change is OK, thanks! > Noticed trivial syntax errors in gcc/ada/expect.c when tried to compile gcc > 13.2 as cross-compiler for target i686-pc-msdosdjgpp. > > Errors were there since > > Tiedostossa, joka sisällytettiin kohdasta expect.c:54: > expect.c:Funktio ”__gnat_waitpid”: >

Re: [PING][PATCH 1/2] Ada: Synchronized private extensions are always limited

2023-09-01 Thread Arnaud Charlet via Gcc-patches
> For some reason, your email is endeing up in a strange format, I almost > missed the .patch file attached, making the review harder. Never mind, I was on vacation earlier this month and then busy with a seminar last week, so I started looking at your ping email before the original email which

Re: [PING][PATCH 1/2] Ada: Synchronized private extensions are always limited

2023-09-01 Thread Arnaud Charlet via Gcc-patches
a synchronized interface (see RM-7.3(6/2)). the -> that does not derive... OK with this change. > From: Richard Wai > Sent: Thursday, August 10, 2023 12:55 AM > To: 'gcc-patches@gcc.gnu.org' > Cc: 'Eric Botcazou' ; 'Arnaud Charlet' > ; 'Stephen Baird' > Subject: [PATCH 1

Re: [wwwdocs] Add Ada's GCC13 changelog entry

2023-03-27 Thread Arnaud Charlet via Gcc-patches
OK, thanks. > Hi all, > > a bit belated but just like last year, I've made a patch for the Ada > entry in the changelog. You can find the patch attached to this email. > > If I have forgotten anything relevant or if I have done something > incorrectly, please, say so. > > Best regards, >

Re: [PATCH] ada: Fix musl build on Linux

2023-02-08 Thread Arnaud Charlet via Gcc-patches
> The commit "ada: Add PIE support to backtraces on Linux" [1] use > _r_debug under Linux unconditionally. It is incorrect since musl[2] > libc not defined _r_debug like glibc [3]: > > extern struct r_debug _r_debug; > > As far as I know, only glibc and uClibc [4] define the global variable >

Re: [PATCH] ada: Respect GNATMAKE

2023-01-17 Thread Arnaud Charlet via Gcc-patches
> Use the GNATMAKE variables consistently. > Avoids failures when bootstraping with a custom GNATMAKE value. > > gcc/ada/ChangeLog: > >* Make-generated.in: Use GNATMAKE. >* gcc-interface/Makefile.in: Ditto. Ok, thanks. > Signed-off-by: Peter Foley > --- > gcc/ada/Make-generated.in

Re: [PATCH] Ada, Darwin: Do not link libgcc statically on Darwin [PR108202].

2023-01-02 Thread Arnaud Charlet via Gcc-patches
> I would like to revise this patch to be more conservative (only applying to > Darwin 8 and 9). This is OK, thanks (and Happy New Year!) > > On 24 Dec 2022, at 19:00, Iain Sandoe via Gcc-patches > > wrote: > > > > Tested on i686, x86-64 darwin, x86_64-linux (with a 32b multilib). > > OK for

Re: [11/13] ada: don't map NULL decl to locus

2022-12-27 Thread Arnaud Charlet via Gcc-patches
>> When decl is NULL, don't record its mapping in the >> decl_to_instance_map. >> Regstrapped on x86_64-linux-gnu. Ok to install? >> for gcc/ada/ChangeLog >>* gcc-interface/trans.cc (Sloc_to_locus): Don't map NULL decl. > OK assuming that a NULL "decl" is valid -- you're in a much better

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-13 Thread Arnaud Charlet via Gcc-patches
> Sorry for the breakage. However, I contacted you (and your colleague) > and haven't received > any feedback for a couple of weeks. > >>> > >>> Right although I did give you feedback that what you sent wasn’t in a > >>> suitable form for review wrt Ada. > >> > >> Sure, but

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-13 Thread Arnaud Charlet via Gcc-patches
> >> Sorry for the breakage. However, I contacted you (and your colleague) and > >> haven't received > >> any feedback for a couple of weeks. > > > > Right although I did give you feedback that what you sent wasn’t in a > > suitable form for review wrt Ada. > > Sure, but sending a patch set to

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-13 Thread Arnaud Charlet via Gcc-patches
> Sorry for the breakage. However, I contacted you (and your colleague) and > haven't received > any feedback for a couple of weeks. Right although I did give you feedback that what you sent wasn’t in a suitable form for review wrt Ada. Arno

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-11 Thread Arnaud Charlet via Gcc-patches
> Similarly to other manuals, we should include the page > in HTML builder. > > What Ada folks think about it? The latest changes have broken our build of the Ada doc at AdaCore so until further notice, please do not make any additional changes to the Ada doc while we review in details all

Re: [ada, patch] fix libgnat build on x86_64-linux-gnux32 with glibc <= 2.31

2022-11-07 Thread Arnaud Charlet via Gcc-patches
> This was introduced with the fix and backports of PR103530 on > x86_64-linux-gnux32 with older glibc versions (checked with 2.31), where > dladdr is still in the libdl.so library, and not included in libc.so as in > newer glibc versions. > Linking of libgnat.so fails with > > [...] >

Re: [Ada PATCH] Update configure to check for a recent gnat Ada compiler.

2022-08-01 Thread Arnaud Charlet via Gcc-patches
> GCC fails to bootstrap when configured with --enable-languages=all on > machines that have older versions of GNAT installed as the system Ada > compiler. In configure, it's not sufficient to check whether gnat is > available, but whether a sufficiently recent version of GNAT is > installed.

Re: [Ada] Fix typos in comments

2022-07-18 Thread Arnaud Charlet via Gcc-patches
OK, thanks.

Re: [Ada] Remove useless pragma Warnings Off from runtime units

2022-06-28 Thread Arnaud Charlet via Gcc-patches
> IIRC, this latter requirement is particularly important for canadian > crosses, but it applies as a general recommendation, and GNAT often > takes advantage of that to use features that will be disregarded by > stage1 (no optimization, no fatal warnings, limited runtime, etc), but > that must be

Re: [PATCH v2 5/7] testsuite: stop using obsoleted egrep

2022-06-27 Thread Arnaud Charlet via Gcc-patches
> egrep has been deprecated in favor of grep -E for a long time, and the > next grep release (3.8 or 4.0) will print a warning of egrep is used. > Stop using egrep so we won't see the warning. > > However, simply replacing egrep with grep -E will break build on some > systems (notably Solaris)

Re: [PATCH 7/8] testsuite: use grep -E instead of egrep

2022-06-24 Thread Arnaud Charlet via Gcc-patches
> egrep has been deprecated in favor of grep -E for a long time, and the > next grep release (3.8 or 4.0) will print a warning of egrep is used. > Stop using egrep so we won't see the warning. Ada part is OK, thanks. > gcc/testsuite/ChangeLog: > > * ada/acats/run_all.sh: Use grep -E

Re: [gcc r12-6398] [Ada] Reduce runtime dependencies on stage1

2022-05-30 Thread Arnaud Charlet via Gcc-patches
> > In order to build GNAT, the Ada compiler, you need a working GNAT > > -compiler (GCC version 4.7 or later). > > +compiler (GCC version 5.1 or later). > > > > This includes GNAT tools such as @command{gnatmake} and > > @command{gnatlink}, since the Ada front end is written in Ada and > >

Re: [PATCH] Replace PTR with 'void *' in compiler.

2022-05-10 Thread Arnaud Charlet via Gcc-patches
> > Similarly in GCC itself. I've built all FEs with the patch. > > > > Patch can bootstrap on x86_64-linux-gnu and survives regression tests. > > > > Ready to be installed? > > OK for the middle-end parts. and OK for the Ada parts.

Re: [PATCH] Use more ARRAY_SIZE.

2022-05-09 Thread Arnaud Charlet via Gcc-patches
> > So I don't see how your patch can work, can you clarify? > > Sorry for that, fixed in the updated version. Assuming you're getting a successful Ada build, the Ada part is OK. > From 5ad8fe059d3419446647eadf8785c768b647d15b Mon Sep 17 00:00:00 2001 > From: Martin Liska > Date: Thu, 13 Jan

Re: [PATCH] Use more ARRAY_SIZE.

2022-05-09 Thread Arnaud Charlet via Gcc-patches
> Patch can bootstrap on x86_64-linux-gnu and survives regression tests. > > Ready to be installed? > Thanks, > Martin > > gcc/ada/ChangeLog: > > * locales.c (iso_639_1_to_639_3): Use ARRAY_SIZE. > (language_name_to_639_3): Likewise. > (country_name_to_3166): Likewise. Can

Re: [PATCH] ada: Fix build for RTEMS

2022-04-27 Thread Arnaud Charlet via Gcc-patches
This patch is OK, thank you and sorry for the breakage! Arno > Commit 621cccba3f8b0cd2757feda171e66e3820b55c2c broke the Ada build for all > RTEMS targets except aarch64. > > gcc/ada/ > >* tracebak.c: Add support for ARM RTEMS. Add support for RTEMS to PPC >ELF. Add support for RTEMS

Re: [wwwdocs] Add Ada's changelog entry

2022-04-11 Thread Arnaud Charlet via Gcc-patches
> Thank you all for your feedback and guidance. I have taken Eric's > feedback and deleted the relevant entry. > > Since I do not have write access, I cannot add myself to the > MAINTAINERS file. Therefore, I want to explicitly state that I am > submitting these patches under the DCO. I have read

Re: [wwwdocs] Add Ada's changelog entry

2022-04-05 Thread Arnaud Charlet via Gcc-patches
> Thank you for the feedback. Should I remove it and resuply the patch or > can you/GCC maintainers do the modification before merging? Can you please resubmit it? I'll let others comment on the need to sign a contributor agreement, my understanding is that this is unavoidable, whether you're

Re: PING [PATCH] Avoid a warning of overflow

2022-03-21 Thread Arnaud Charlet via Gcc-patches
> This warning will become ERROR in stage2 of bootstrap when use > " make BOOT_CFLAGS='-O0' BOOT_CXXFLAGS='-O0' " command. > So it is better to fix this warning. > There are other similar warnings. I will submit patches one by one. > > Tested on x86_64. OK for trunk? This is OK (pretty much

Re: [PATCH] ada/104861 - use target_noncanonial for Target_Name

2022-03-10 Thread Arnaud Charlet via Gcc-patches
> The following arranges for s-oscons.ads to record target_noncanonical > for Target_Name, matching the install directory layout and what > gcc -dumpmachine says. This fixes build issues with gprbuild. > > Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed as > approved in bugzilla. >

Re: [PATCH] [Ada] PR ada/98724: Alpha/Linux/libada: Use wraplf for Aux_Long_Long_Float

2022-02-13 Thread Arnaud Charlet via Gcc-patches
> Use the Long Long Float wrapper in terms of Long Float for Alpha/Linux > targets as well, fixing gnatlib compilation errors: > > a-nallfl.ads:48:13: warning: intrinsic binding type mismatch on result > [enabledby default] > a-nallfl.ads:48:13: warning: intrinsic binding type mismatch on

Re: [PATCH 2/2] [Ada] Set target_cpu to x32 for x86_64-linux-gnux32

2022-01-19 Thread Arnaud Charlet via Gcc-patches
> > OK, thanks. > > OK for backports? Yes.

Re: [PATCH 1/2] [Ada] Compile s-mmap and 128bit on x86_64-linux-gnux32

2022-01-19 Thread Arnaud Charlet via Gcc-patches
> OK for backports? Yes.

Re: [PATCH 2/2] [Ada] Set target_cpu to x32 for x86_64-linux-gnux32

2022-01-19 Thread Arnaud Charlet via Gcc-patches
OK, thanks. > Since the x86_64-linux-gnux32 compiler is actually an x32 compiler, set > target_cpu to x32 for x86_64-linux-gnux32. > > PR ada/103538 > * gcc-interface/Makefile.in (target_cpu): Set to x32 for > x86_64-linux-gnux32. > --- > gcc/ada/gcc-interface/Makefile.in | 7

Re: [PATCH 1/2] [Ada] Compile s-mmap and 128bit on x86_64-linux-gnux32

2022-01-19 Thread Arnaud Charlet via Gcc-patches
OK, thanks. > PR ada/103538 > * Makefile.rtl (LIBGNAT_TARGET_PAIRS): Add > $(TRASYM_DWARF_UNIX_PAIRS), > s-tsmona.adb $(GNATRTL_128BIT_PAIRS). > (EXTRA_GNATRTL_NONTASKING_OBJS): Add $(TRASYM_DWARF_UNIX_OBJS) > and $(GNATRTL_128BIT_OBJS). > --- >

Re: [gcc r12-6398] [Ada] Reduce runtime dependencies on stage1

2022-01-18 Thread Arnaud Charlet via Gcc-patches
> Unfortunately it's not OK, these are the most annoying/delicate dependencies, > so > we'd rather not reintroduce them. I'll instead update prerequisites to > document that GCC 5.1 or later is required to build GNAT. Now pushed on master: Update prerequisites for GNAT *

Re: [gcc r12-6398] [Ada] Reduce runtime dependencies on stage1

2022-01-18 Thread Arnaud Charlet via Gcc-patches
Thomas, > OK to push (after more testing) the attached > 'Revert parts of "[Ada] Reduce runtime dependencies on stage1"', for the > reason detailed therein? Should the comment before 'GNAT1_C_OBJS' be > re-instated/adjusted, too? Would appreciate a careful review, as I don't > really know what

Re: [PATCH 4/4] Darwin, Ada : Add loader path as a default rpath.

2021-11-17 Thread Arnaud Charlet via Gcc-patches
> Allow the Ada runtimes to find GCC runtimes relative to their non- > standard install positions. > > gcc/ada/ > * gcc-interface/Makefile.in: Add @loader_path runpaths to the > libgnat and libgnarl shared library builds. OK, thanks.

Re: [PATCH] Ada, Darwin : Use DSYMUTIL_FOR_TARGET in libgnat/gnarl builds.

2021-11-14 Thread Arnaud Charlet via Gcc-patches
> Most of the time we get away with using the dsymutil that is > installed with the latest Xcode, however for some cross-compilation > cases that does not work. > > We now have the ability to specify the correct dsymutil to use for > the toolchain (--with-dsymutil=) and we should use that

Re: [PATCH] Combine malloc + memset to calloc

2021-11-12 Thread Arnaud Charlet via Gcc-patches
> I apologize this is the diff I meant to send: Thanks for sending this diff. Note that in order to allow a review (and approval) of your change, you need to send also an explanation of your change, as well as the corresponding commit log. Thanks in advance! Arno

Re: [PATCH] Darwin, Arm64 : Ada fixes for hosted tools.

2021-11-05 Thread Arnaud Charlet via Gcc-patches
> No, I just managed to delete it when adding the post-notes to the email > header ;-) … and then didn’t notice when git send-emailing it … OK! > Signed-off-by: Iain Sandoe > > gcc/ada/ChangeLog: should be gcc/ada/ > * gcc-interface/Make-lang.in: Use ios signal trampoline code >

Re: [PATCH] Darwin, Arm64 : Ada fixes for hosted tools.

2021-11-05 Thread Arnaud Charlet via Gcc-patches
> This is host-only support (target support will come later). > > This will allow someone (with an existing Ada compiler on the > platform - which can be provided by the experimental aarch64-darwin > branch) - to build the host tools (gnatmake and friends) for a > non-native cross. > > The

Re: GCC documentation: porting to Sphinx

2021-06-29 Thread Arnaud Charlet
> >In particular can you explain the motivation behind all the changes in the > >gcc/ada/doc directory? > > Sure: > 1) All Sphinx manuals live in a directory where index page is called > index.rst. That's why > I moved e.g. this: gcc/ada/doc/{gnat_rm.rst => gnat_rm/index.rst} > 2) I moved

Re: GCC documentation: porting to Sphinx

2021-06-28 Thread Arnaud Charlet
> I've got something that is very close to be a patch candidate that can be > eventually merged. Right now, the patches are available here: > https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;a=log;h=refs/users/marxin/heads/sphinx-v3 FWIW I would prefer to review the changes posted here directly with

Re: Unable to build Ada on fedora

2021-06-17 Thread Arnaud Charlet
> >I've now committed it blindly (can't make things worse), let me know if the > >problem is fully solved or if not, what output you are now getting. > > That is looking pretty good, thanks. Great, thanks for confirming, and sorry again for the breakage on this delicate change! Arno

Re: Unable to build Ada on fedora

2021-06-16 Thread Arnaud Charlet
now getting. -- commit 452321a9514a0ab4c01c0aba2a37de794cf69ef8 Author: Arnaud Charlet Date: Wed Jun 16 03:55:17 2021 -0400 [Ada] Use runtime from base compiler during stage1 (continued) gcc/ada/ * gcc-interface/Make-lang.in: Use libgnat.so if libgnat.a cannot be fo

Re: [Ada] Use runtime from base compiler during stage1

2021-06-16 Thread Arnaud Charlet
> > gcc/ada/ > > > > * Make-generated.in: Add rule to copy runtime files needed > > during stage1. > > * raise.c: Remove obsolete symbols used during bootstrap. > > * gcc-interface/Make-lang.in: Do not use libgnat sources during > > stage1. > > (GNAT_ADA_OBJS,

Re: [PATCH] Fix sphinx-build warning.

2021-05-25 Thread Arnaud Charlet
> RemovedInSphinx40Warning: app.add_lexer() API changed; Please give lexer > class instead of instance > > Ready for master? Yes, thanks (incidentally we just made the same change in our internal tree today). > Thanks, > Martin > > gcc/ada/ChangeLog: > > * doc/share/conf.py: Fix Sphinx

Re: [PATCH] Port gnat-style to Sphinx.

2021-05-14 Thread Arnaud Charlet
> Right now, 2/3 of Ada manuals are both in .texi and .rst. I would like to port > a small gnat-style manual based on [1]. > > Ready for master? OK, thanks. > [1] https://github.com/davidmalcolm/texi2rst > > gcc/ada/ChangeLog: > > * doc/Makefile: Add gnat-style target. > *

Re: [PATCH] ada: do not use binary mode in conf.py

2021-05-12 Thread Arnaud Charlet
> It's about more porting to Python3. > > Ready for master? OK, thanks. > gcc/ada/ChangeLog: > > * doc/share/conf.py: Do not use binary mode. > Do not use u' literals as Python3 uses unicode by default.

Re: [PATCH 1/3] Come up with startswith function.

2021-04-25 Thread Arnaud Charlet
> Thank you for a quick reply. > There's an updated version of the patch. The Ada part is OK now, thanks.

Re: [PATCH 0/3] Come up with startswith function

2021-04-21 Thread Arnaud Charlet
> The patchset is tested on x86_64-linux-gnu and I was able to build > all cross-compilers. > > Ready to be installed to master once GCC 11.1 is released? Not for the Ada part as just mentioned under your 1/3 email.

Re: [PATCH 1/3] Come up with startswith function.

2021-04-21 Thread Arnaud Charlet
> gcc/ada/ChangeLog: > > * adadecode.c (has_prefix): Remove has_prefix and replace it > with startswith. > (__gnat_decode): Likewise. This change is not OK: adadecode.c is also a runtime file and as such cannot include compiler include files. > * gcc-interface/utils.c

Re: [committed] ada: Avoid invalid "up" link in manual

2021-04-11 Thread Arnaud Charlet
> >> With this patch the bottom navigation of the page at > >> https://gcc.gnu.org/onlinedocs/gnat_ugn/index.html > >> changes from > >> Next: About This Guide, Up: (dir) [Contents][Index] > >> to > >> Next: About This Guide [Contents][Index] > >> and the invalid "(dir)" link that pointed

Re: [committed] ada: Avoid invalid "up" link in manual

2021-04-11 Thread Arnaud Charlet
> This is something I have been noticing for a while, and a hint by > Sandra in a somewhat similar context taught me how to avoid it. > > With this patch the bottom navigation of the page at > https://gcc.gnu.org/onlinedocs/gnat_ugn/index.html > changes from > Next: About This Guide, Up:

Re: [PATCH] ada/adaint.c (__gnat_copy_attribs): RTEMS should use utime()

2021-04-08 Thread Arnaud Charlet
> Change the preprocessor logic so RTEMS uses utime(). > gcc/ada/ > * adaint.c (__gnat_copy_attribs): RTEMS should use utime(). This change is OK. > --- > gcc/ada/adaint.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/gcc/ada/adaint.c b/gcc/ada/adaint.c >

Re: [PATCH] Ada: hashed container Cursor type predefined equality non-conformance

2021-03-10 Thread Arnaud Charlet
> I'm not sure I correctly understand you here, but my interpretation is that > I should no longer submit Changelog entries, rather just the patch, and then Right. > a commit message (a-la git), and then presumably the Changelong entries will > be generated automatically. From what I can see,

Re: [PATCH] Ada: hashed container Cursor type predefined equality non-conformance

2021-03-10 Thread Arnaud Charlet
> I appologise for making a mess of this final step. I have leared the errors > of my ways. Can you please submit everything self contained (the final final code changes along with the commit log) so that we are sure the proper patch is reviewed and approved? > Below are the change log entries

Re: [PATCH] Ada: hashed container Cursor type predefined equality non-conformance

2021-03-09 Thread Arnaud Charlet
> Oops, I wrote "effected" when I meant "affected". Of course, despite reading > it several times before sending, I only noticed it after sending. > > Edited version: > > --- > > * libgnat/a-cohase.ads, libgnat/a-cohase.adb, libgnat/a-cohama.ads, > libgnat/a-cohama.adb, libgnat/a-cihama.ads,

Re: [PATCH] Ada: hashed container Cursor type predefined equality non-conformance

2021-03-09 Thread Arnaud Charlet
Richard, Your patch is missing a corresponding commit log. Can you please add it to your submission? Otherwise your test and patch look good so far, thanks! Arno > We discovered an issue with the GNAT implementation of the hashed container > types.

Re: [PATCH v2] fix Ada bootstrap on Cygwin64 (PR bootstrap/94918)

2021-03-07 Thread Arnaud Charlet
> > > > This fixes a compilation error preventing bootstrap with Ada on > > > > x86_64-pc-cygwin. See PR bootstrap/94918 for details. > > > > > > > > Compared to the initial patch sent in May 2020, this v2 patch places > > > > the fix in Ada's raise-gcc.c instead of the shared unwind-generic.h, >

Re: [PATCH v3 2/2] ada: add 128bit operation to MIPS N32 and N64

2021-02-23 Thread Arnaud Charlet
>>> I did generate the ChangeLog by contrib/mklog.py by: >>> contrib/mklog.py 0002_MY_PATCH.patch >>> and get an empty ChangeLog template. >>> >>> gcc/ada/ChangeLog: >>> >>>* ChangeLog: >>>* Makefile.rtl: >>> >>> So, should I keep it as is? >> >> The ChangeLog file is

Re: [PATCH v3 2/2] ada: add 128bit operation to MIPS N32 and N64

2021-02-23 Thread Arnaud Charlet
> > > For MIPS N64 and N32: > > > add GNATRTL_128BIT_PAIRS to LIBGNAT_TARGET_PAIRS > > > add GNATRTL_128BIT_OBJS to EXTRA_GNATRTL_NONTASKING_OBJS > > > > > > gcc/ada/ChangeLog: > > > PR ada/98996 > > > * Makefile.rtl: add 128Bit operation file to MIPS > > > N64 and N32

Re: [PATCH v3 2/2] ada: add 128bit operation to MIPS N32 and N64

2021-02-23 Thread Arnaud Charlet
> For MIPS N64 and N32: > add GNATRTL_128BIT_PAIRS to LIBGNAT_TARGET_PAIRS > add GNATRTL_128BIT_OBJS to EXTRA_GNATRTL_NONTASKING_OBJS > > gcc/ada/ChangeLog: > PR ada/98996 > * Makefile.rtl: add 128Bit operation file to MIPS > N64 and N32 (LIBGNAT_TARGET_PAIRS,

Re: [PATCH v2 2/2] ada: add 128bit operation to MIPS N32 and N64

2021-02-18 Thread Arnaud Charlet
> > > For MIPS N64 and N32: > > > add GNATRTL_128BIT_PAIRS to LIBGNAT_TARGET_PAIRS > > > add GNATRTL_128BIT_OBJS to EXTRA_GNATRTL_NONTASKING_OBJS > > > > > > gcc/ada/ChangeLog: > > > PR ada/98996 > > > * Makefile.rtl (LIBGNAT_TARGET_PAIRS, EXTRA_GNATRTL_NONTASKING_OBJS) > > >

Re: [PATCH v2 2/2] ada: add 128bit operation to MIPS N32 and N64

2021-02-17 Thread Arnaud Charlet
+ : add 128Bit operation file to MIPS N64 and N32. > + > 2021-02-12 Arnaud Charlet > > * repinfo.ads, repinfo.adb (*SO_Ref*): Restore. > diff --git a/gcc/ada/Makefile.rtl b/gcc/ada/Makefile.rtl > index 35faf13ea46..d86eb8acbf3 100644 > --- a/gcc/ada/Makefile

Re: [PATCH] Fix Ada bootstrap failure on Cygwin since switch to C++11 (PR98590)

2021-02-05 Thread Arnaud Charlet
> > We'd rather not have PR references in the source files, so please remove it > > (it will be there as part of the commit log and git annotate). > > > > OK with the comment updated. > > Thanks, here's the revised patch. OK, thanks. > gcc/ada/ > > 2021-02-05 Mikael Pettersson > >

Re: [PATCH] Fix Ada bootstrap failure on Cygwin since switch to C++11 (PR98590)

2021-02-05 Thread Arnaud Charlet
> This fixes the bootstrap failure with Ada on Cygwin since the switch > to C++11. The configure checks detect that fileno_unlocked () is > present, but when Ada's cstreams.c is compiled in C++11 mode, > does not declare it, causing a hard error. > > Fixed by defining _GNU_SOURCE before

Re: [PATCH] RTEMS: Fix Ada build for riscv

2021-01-14 Thread Arnaud Charlet
This is OK, thanks. > gcc/ada/ > > PR ada/98595 > Makefile.rtl (LIBGNAT_TARGET_PAIRS) : Use > wraplf version of Aux_Long_Long_Float. > --- > gcc/ada/Makefile.rtl | 5 + > 1 file changed, 5 insertions(+) > > diff --git a/gcc/ada/Makefile.rtl b/gcc/ada/Makefile.rtl > index

Re: [committed] wwwdocs: ada: Tweak link to GNAT: The GNU Ada Compiler.

2021-01-14 Thread Arnaud Charlet
Gerald, Really sorry for the long delay on this one: > > I spoke too fast, that was a 404 page. > > > > > -> > href="https://www2.adacore.com/gap-static/GNAT_Book/html/;>GNAT: > > > + https://www.adacore.com/gap-static/GNAT_Book/html/;>GNAT: > > > > Arnaud, Eric, Pierre-Marie, what do

Re: [PATCH v2] fix Ada bootstrap on Cygwin64 (PR bootstrap/94918)

2021-01-10 Thread Arnaud Charlet
> This fixes a compilation error preventing bootstrap with Ada on > x86_64-pc-cygwin. See PR bootstrap/94918 for details. > > Compared to the initial patch sent in May 2020, this v2 patch places > the fix in Ada's raise-gcc.c instead of the shared unwind-generic.h, > which should hopefully

Re: [patch] [ada] Fix PR ada/97504 for mips*-linux

2020-12-07 Thread Arnaud Charlet
> Fix PR ada/97504 for mips*-linux, the bootstrap works again on mips*-linux. > Ok for the trunk? OK, thanks. > gcc/ada/ > PR ada/97504 > * Makefile.rtl (LIBGNAT_TARGET_PAIRS) : Use wraplf > version of Aux_Long_Long_Float. > > --- a/gcc/ada/Makefile.rtl > +++

Re: [PATCH] ada: c++: Get rid of libposix4, librt on Solaris

2020-11-17 Thread Arnaud Charlet
> I recently noticed that neither libposix4 nor librt are needed on > Solaris 11 any longer: > > * libposix4 was renamed to librt in Solaris 7 back in 1998. > > * librt was folded into libc in the OpenSolaris timeframe, leaving librt > only as a filter on libc. Thus, it's no longer needed on

Re: [PATCH 2/2] libada: Check for the presence of _SC_NPROCESSORS_ONLN

2020-11-15 Thread Arnaud Charlet
> gcc/ada/ > * adaint.c (__gnat_number_of_cpus): Check for the presence of > _SC_NPROCESSORS_ONLN before using it. > --- > NB we could probably replace the list of OS #ifdefs with just a check for > _SC_NPROCESSORS_ONLN, making use of it automagically with any new OS that >

Re: [pushed] Ada : Fix bootstrap after r11-4793.

2020-11-09 Thread Arnaud Charlet
> Iain, thank you for catching and fixing this. As you know (but > others don't), ada is harder for me as I can't build that on my > usual machine. > > Eric, Iain does bootstraps of the modules branch on darwin include > Ada, and I have done so for linux (a few months back). I will make > sure

Re: [PATCH] Ada, Darwin, PowerPC : Fix bootstrap after 128 int changes.

2020-10-25 Thread Arnaud Charlet
> Three bootstrap breaks in one week must be close to a record, even for > powerpc-darwin ;) Indeed, sorry about that! > tested on powerpc-darwin9 (m32/m64), > OK for master? OK, thanks. > P.S. There are some apparent regressions/new GNAT fails for the m64 multilib > but these will be

Re: [Ada] Improve precision of Ada.Directories.Modification_Time

2020-10-23 Thread Arnaud Charlet
> > For future reference, TRT for this kind of problem is to > > autoconf for the right struct field name, using AC_CHECK_MEMBER > > or AC_CHECK_MEMBERS (then use e.g. #if HAVE_STAT_ST_MTIM / #if > > HAVE_STAT_ST_MTIMESPEC, definitely not #if __APPLE__). > > I'm not diasgreeing with your

Re: [Ada] Improve precision of Ada.Directories.Modification_Time

2020-10-21 Thread Arnaud Charlet
> >What about instead putting above extern long long __gnat_file_time the > >following: > > > >#if __APPLE__ > >#define st_mtim st_mtimespec > >#define st_atim st_atimespec > >#endif > > > >To avoid having the two (nested) #if __APPLE__ and keep the code easier two => three :-) > >to follow? >

Re: [Ada] Improve precision of Ada.Directories.Modification_Time

2020-10-21 Thread Arnaud Charlet
> This patch breaks bootstrap on Darwin platforms. > > Pierre-Marie de Rodat wrote: > > > The modification file time precision now defined by OS. > > > > Tested on x86_64-pc-linux-gnu, committed on trunk > > > > gcc/ada/ > > > > * adaint.c (__gnat_file_time): New routine. > >

[Ada] Look at fullest view when checking for static types in unnesting

2020-09-03 Thread Arnaud Charlet
When seeing if any bound involved in a type is an uplevel reference, we must look at the fullest view of a type, since that's what the backends will do. Similarly for private types. We introduce Get_Fullest_View for that purpose. Tested on x86_64-pc-linux-gnu, committed on master

[Ada] Stub CUDA_Execute and CUDA_Global pragmas

2020-07-23 Thread Arnaud Charlet
This commit adds CUDA_Execute and CUDA_Global to the list of allowed pragmas. It also implements basic validation of said pragmas. gcc/ada/ * aspects.ads: Declare CUDA_Global as aspect. * einfo.ads: Use Flag118 for the Is_CUDA_Kernel flag. (Set_Is_CUDA_Kernel):

[Ada] Ada2020: AI12-0027 Access values and unaliased component

2020-07-23 Thread Arnaud Charlet
Access values should never designate unaliased components. This new feature is documented in AI12-0027-1. gcc/ada/ * sem_ch13.ads (Same_Representation): Renamed as Has_Compatible_Representation because now the order of the arguments are taken into account; its formals are

[Ada] Add push/pop capability in Output

2020-07-23 Thread Arnaud Charlet
Add the capability to use the Write_* procedures in an environment where you want to write debugging info but still use them to write to other files (such a C source files). [changelog] * output.ads (Push_Output, Pop_Output): New procedures. * output.adb (FD_Array, FD_Stack,

[Ada] Ability to build the GNAT runtime with project files

2020-05-30 Thread Arnaud Charlet
This change adds project files to provide the ability to rebuild the runtime with gprbuild after setup-rts is called. Tested on x86_64-linux-gnu, committed on master gcc/ada/ * Makefile.rtl (ADA_INCLUDE_SRCS): Replace Makefile.adalib by libada.gpr and associated

Re: [PATCH] Ada: Bump version to 11.

2020-05-27 Thread Arnaud Charlet
> I'm packaging a new gcc11 package and I noticed this needs to be bumped. > > Ready for master? Yes, thanks. > gcc/ada/ChangeLog: > > * gnatvsn.ads: Bump Library_Version to 11. > --- > gcc/ada/gnatvsn.ads | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git

  1   2   3   4   5   6   7   8   9   10   >