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

2023-11-28 Thread Simon Wright
> On 22 Nov 2023, at 15:13, Simon Wright wrote: > > > >> On 22 Nov 2023, at 15:03, Iain Sandoe wrote: >> >> >> >>> On 22 Nov 2023, at 14:48, Iain Sandoe wrote: >>> >>> >>> >>>> On 22 Nov 2023, at 1

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

2023-11-22 Thread Simon Wright
had to include unistd.h for the first patch in this >>>> thread; clearly not! >>>> >>>> What I hope will be the final version: >>> >>> OK here. >> >> also OK here, thanks > > I think this fixes https://gcc.gnu.org

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

2023-11-22 Thread Simon Wright
ild for iOS. * gcc/ada/adaint.c (__gnat_get_file_names_case_sensitive): Split out the __APPLE__ check and remove the checks for __arm__, __arm64__. For Apple, file names are by default case-insensitive unless TARGET_OS_IOS is set. Signed-off-by: Simon Wright --- gcc/ada/adaint.c | 14 +++--- 1 file chan

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

2023-11-21 Thread Simon Wright
On 21 Nov 2023, at 11:22, Iain Sandoe wrote: > > Hello Simon, Arno, > >> On 17 Nov 2023, at 13:43, Simon Wright wrote: >> >>> >>>> Apple’s naming is definitely confusing in this area! >>>> >>>> In current SDKs, TARGET

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

2023-11-17 Thread Simon Wright
> >> 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

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

2023-11-17 Thread Simon Wright
>>> 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 Simon Wright
On 17 Nov 2023, at 08:37, Arnaud Charlet wrote: > >> 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

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

2023-11-16 Thread Simon Wright
ion => C; function Get_File_Names_Case_Sensitive return C_Boolean with Import, Convention => C, External_Name => "__gnat_get_file_names_case_sensitive"; begin Ada.Text_IO.Put_Line ("GNAT thinks file names are " & (case Get_File_Names_Ca

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

2023-11-13 Thread Simon Wright
On 11 Nov 2023, at 18:10, Iain Sandoe wrote: > >> On 11 Nov 2023, at 07:47, Simon Wright wrote: >> >> On 6 Nov 2023, at 08:36, Arnaud Charlet wrote: >>> >>>>> So without changing fundamentally the model, you can't decide dynamically >>>

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

2023-11-11 Thread Simon Wright
On 6 Nov 2023, at 08:36, Arnaud Charlet wrote: > >>> 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

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

2023-11-09 Thread Simon Wright
n that case the result is implementation-defined). >> >> The current implementation of Value raises Constraint_Error if the >> Elapsed_Time >> parameter is greater than or equal to 24 hours. >> >> This patch removes the restriction, so that the Elapsed_Ti

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

2023-11-04 Thread Simon Wright
FS-case-sensitive; the example code built successfully on the >> case-sensitive volumes. >> Setting GNAT_FILE_NAME_CASE_SENSITIVE successfully overrode the choices made >> by the >> new code. >> >> gcc/ada/Changelog: >> >> 2023-10-29 Simon Wright

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

2023-10-29 Thread Simon Wright
code built successfully on the case-sensitive volumes. Setting GNAT_FILE_NAME_CASE_SENSITIVE successfully overrode the choices made by the new code. gcc/ada/Changelog: 2023-10-29 Simon Wright PR ada/111909 * gcc/ada/adaint.c (__gnat_get_file_names_case_sensitive): Remove the checks for

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

2023-10-19 Thread Simon Wright
: no error reported FSF copyright assignment RT:1016382 —S > On 16 Oct 2023, at 14:32, Simon Wright wrote: > > 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 > "Con

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

2023-10-16 Thread Simon Wright
must only be less than 100.0 hours. gcc/ada/Changelog: 2023-10-15 Simon Wright PR ada/111813 * gcc/ada/libgnat/a-calfor.adb (Value (2)): Allow values of parameter Elapsed_Time greater than or equal to 24 hours, by doing the hour calculations in Natural rather than Hour_Numbe

Re: [PATCH] Fix PR target/104871 (macosx-version-min wrong for macOS >= Big Sur (darwin20))

2022-06-11 Thread Simon Wright
On 11 Jun 2022, at 11:37, Iain Sandoe wrote: > > Hi Simon, > > thanks for the patch. > >> On 11 Jun 2022, at 10:17, Simon Wright wrote: >> >> (resent with correct address for Iain) >> >> This is the same sort of problem as in PR80204: at prese

[PATCH] Fix PR target/104871 (macosx-version-min wrong for macOS >= Big Sur (darwin20))

2022-06-11 Thread Simon Wright
c gives e.g. ld: warning: object file (null.o) was built for newer macOS version (12.2) than being linked (12.0) I propose the following patch, which works fine for me (darwin 21.3.0). gcc/ChangeLog: 2022-06-02 Simon Wright PR target/104871 * config

[PATCH] Fix PR target/104871 (macosx-version-min wrong for macOS >= Big Sur (darwin20))

2022-06-08 Thread Simon Wright
ith gcc gives e.g. ld: warning: object file (null.o) was built for newer macOS version (12.2) than being linked (12.0) I propose the following patch, which works fine for me (darwin 21.3.0). gcc/ChangeLog: 2022-06-02 Simon Wright PR target/104871 *

[PATCH] Fix PR target/104871 (macosx-version-min wrong for macOS >= Big Sur (darwin20))

2022-06-04 Thread Simon Wright
ct file (null.o) was built for newer macOS version (12.2) than being linked (12.0) I propose the following patch, which works fine for me (darwin 21.3.0). gcc/ChangeLog: 2022-06-02 Simon Wright PR target/104871 * config/darwin-dr

Re: [PATCH] PR ada/89583, GNAT.Sockets.Bind_Socket fails with IPv4 address

2019-03-20 Thread Simon Wright
Thanks, Pierre-Marie: it'd be a shame if 9.1 couldn't handle IPv4. --S > On 20 Mar 2019, at 13:31, Pierre-Marie de Rodat wrote: > > Hello Simon, > > On 3/19/19 5:02 PM, Simon Wright wrote: >> Ping? > > Sorry for the delay! Thank you for the notice; I’ll try to ge

Re: [PATCH] PR ada/89583, GNAT.Sockets.Bind_Socket fails with IPv4 address

2019-03-19 Thread Simon Wright
Ping? > On 5 Mar 2019, at 20:43, Simon Wright wrote: > > Arno, > > OK. > > --S > >> On 5 Mar 2019, at 20:38, Arnaud Charlet wrote: >> >> Simon, >> >> Thanks for the patch. >> We already have a fix pending for that in our tree tha

Re: [PATCH] PR ada/89583, GNAT.Sockets.Bind_Socket fails with IPv4 address

2019-03-05 Thread Simon Wright
Arno, OK. --S > On 5 Mar 2019, at 20:38, Arnaud Charlet wrote: > > Simon, > > Thanks for the patch. > We already have a fix pending for that in our tree that we will merge. > > Arno > >> On 4 Mar 2019, at 20:48, Simon Wright wrote: >> >> With

Re: [PATCH] PR ada/89583, GNAT.Sockets.Bind_Socket fails with IPv4 address

2019-03-05 Thread Simon Wright
On 4 Mar 2019, at 19:48, Simon Wright wrote: > With GCC9, GNAT.Sockets includes support for IPv6. Sockaddr is an > Unchecked_Union, which now includes IPv6 fields, bringing the total possible > size to 28 bytes. The code in Bind_Socket currently calculates the length of > the str

[PATCH] PR ada/89583, GNAT.Sockets.Bind_Socket fails with IPv4 address

2019-03-04 Thread Simon Wright
rate on Darwin x86_64) results in failure (EINVAL). This patch provides the required length explicitly from the socket's family. Tested by rebuilding the compiler with --disable-bootstrap and re-running the reproducer. gcc/ada/Changelog: 2019-03-04 Simon Wright PR ada/89583

Re: [PATCH] PR ada/66205 gnatbind generates invalid code when finalization is enabled in restricted runtime

2017-12-05 Thread Simon Wright
On 7 Mar 2017, at 16:20, Simon Wright <si...@pushface.org> wrote: > > On 19 Dec 2015, at 22:05, Simon Wright <si...@pushface.org> wrote: >> >> On 12 Nov 2015, at 10:02, Arnaud Charlet <char...@adacore.com> wrote: >>> >>>>&

Re: [PATCH] PR target/80556

2017-09-18 Thread Simon Wright
On 18 Sep 2017, at 21:09, Iain Sandoe <i...@codesourcery.com> wrote: > > Hi Simon, > >> On 29 Jun 2017, at 21:41, Simon Wright <si...@pushface.org> wrote: >> >> On 28 Jun 2017, at 18:40, Jeff Law <l...@redhat.com> wrote: >>> >>> O

Re: [PATCH]: PR target/80204 (Darwin macosx-version-min problem)

2017-09-04 Thread Simon Wright
On 1 Sep 2017, at 23:05, Simon Wright <si...@pushface.org> wrote: > > 2017-09-01 Simon Wright <si...@pushface.org> > > PR target/80204 > * config/darwin-driver.c (darwin_find_version_from_kernel): eliminate > calculation of the >

Re: [PATCH]: PR target/80204 (Darwin macosx-version-min problem)

2017-09-04 Thread Simon Wright
(Apologies if this is a duplicate: Mac Mail vs the list's requirement for plain text) On 4 Sep 2017, at 07:09, Jeff Law <l...@redhat.com> wrote: > > On 09/01/2017 04:05 PM, Simon Wright wrote: >> In gcc/config/darwin-driver.c, darwin_find_version_from_kernel() assumes >>

[PATCH]: PR target/80204 (Darwin macosx-version-min problem)

2017-09-01 Thread Simon Wright
n_min 10.12.0 This patch does the same. gcc/Changelog: 2017-09-01 Simon Wright <si...@pushface.org> PR target/80204 * config/darwin-driver.c (darwin_find_version_from_kernel): eliminate calculation of the minor version, always output as 0. 80204-darwin-driver

[PATCH]: PR target/80204 (Darwin macosx-version-min problem)

2017-09-01 Thread Simon Wright
n_min 10.12.0 This patch does the same. gcc/Changelog: 2017-09-01 Simon Wright <si...@pushface.org> PR target/80204 * config/darwin-driver.c (darwin_find_version_from_kernel): eliminate calculation of the minor version, always output as 0. 80204-darwin-driver

Re: [PATCH] PR target/80556

2017-09-01 Thread Simon Wright
On 29 Jun 2017, at 21:41, Simon Wright <si...@pushface.org> wrote: > > On 28 Jun 2017, at 18:40, Jeff Law <l...@redhat.com> wrote: >> >> On 06/09/2017 07:57 AM, Simon Wright wrote: >>> 2017-06-09 Simon Wright <si...@pushface.org> >>&g

Re: [PATCH] PR target/80556

2017-06-29 Thread Simon Wright
On 28 Jun 2017, at 18:40, Jeff Law <l...@redhat.com> wrote: > > On 06/09/2017 07:57 AM, Simon Wright wrote: >> 2017-06-09 Simon Wright <si...@pushface.org> >> >>PR target/80556 >>* configure.ac (stage1_ldflags): For Darwin, include

Re: [PATCH] fix PR ada/80888

2017-06-16 Thread Simon Wright
Ping If OK, can it be applied please? (patch applies cleanly to current sources) > On 27 May 2017, at 16:58, Simon Wright <si...@pushface.org> wrote: > > The GNAT reference manual says in 11.6 Wide_Text_IO > <https://gcc.gnu.org/onlinedocs/gnat_rm/Wide_005fText_005fIO.html

[PATCH] PR target/80556

2017-06-09 Thread Simon Wright
the (static) libgcc, and thus supplies the required exception unwinders. Bootstrapped on Darwin 16.6.0 and on Debian Jessie. A question: I've checked for x86_64-apple-darwin*, is this OK or should it be more restrictive? Changelog: 2017-06-09 Simon Wright <si...@pushface.org>

[PATCH] fix PR ada/80888

2017-05-27 Thread Simon Wright
Fri 26 May 2017 15:44:52 BST === gnat Summary === # of expected passes2569 # of expected failures 24 # of unsupported tests 7 /Volumes/Miscellaneous/tmp/gcc-7.1.0-build/gcc/gnatmake version 7.1.0 gcc/ada/Changelog: 2017-05-27

Re: [PATCH] PR ada/66205 gnatbind generates invalid code when finalization is enabled in restricted runtime

2017-03-07 Thread Simon Wright
On 19 Dec 2015, at 22:05, Simon Wright <si...@pushface.org> wrote: > > On 12 Nov 2015, at 10:02, Arnaud Charlet <char...@adacore.com> wrote: >> >>>> This situation arises, for example, with an embedded RTS that >>>> incorporates the >>&

Re: [Ada] Fix PR ada/78845

2017-01-10 Thread Simon Wright
anges starting at 1 and wouldn't see >> a >> problem. >> >> The same applies to Ada.Numerics.Complex_Real_Arrays.Inverse (ARM >> G.3.2(140)). > > Updated patch OK as well. > >> 2016-12-21 Simon Wright <si...@pushface.org >> <mailto:si...@pushface.org>>

[Ada] Fix PR ada/78845

2016-12-17 Thread Simon Wright
. Of course, many users would always use ranges starting at 1 and wouldn't see a problem. 2016-12-17 Simon Wright <si...@pushface.org> PR ada/78845 * a-ngrear.adb (Inverse): call Unit_Matrix with First_1 set to A'First(2) and vice versa. a-ngrear.adb.diff Descr

[PATCH] Fix PR ada/71358

2016-05-31 Thread Simon Wright
-05-31 Simon Wright <si...@pushface.org> PR ada/71358 * g-comlin.adb: bump copyright year. (Display_Section_Help): don't deference Config.Switches if it's null. (Getopt): likewise. g-comlin.adb.diff Description: Binary data

Re: [PATCH] PR ada/66205 gnatbind generates invalid code when finalization is enabled in restricted runtime

2015-12-19 Thread Simon Wright
On 12 Nov 2015, at 10:02, Arnaud Charlet wrote: > >>> This situation arises, for example, with an embedded RTS that >>> incorporates the >>> Ada 2012 generalized container iterators. >> >> I should add, this PR is the ???other half??? of PR ada/66242, which is fixed >> in

Re: [PATCH] PR ada/66205 gnatbind generates invalid code when finalization is enabled in restricted runtime

2015-11-12 Thread Simon Wright
On 11 Nov 2015, at 19:43, Simon Wright <si...@pushface.org> wrote: > This situation arises, for example, with an embedded RTS that incorporates the > Ada 2012 generalized container iterators. I should add, this PR is the “other half” of PR ada/66242, which is fixed in GCC 6; so

Re: [PATCH] PR ada/66205 gnatbind generates invalid code when finalization is enabled in restricted runtime

2015-11-11 Thread Simon Wright
finalization and one without. gcc/ada/Changelog: 2015-11-11 Simon Wright <si...@pushface.org> PR ada/66205 * bindgen.adb (Gen_Adafinal): if Configurable_Run_Time_On_Target is true, generate a null body. (Gen_Main): if Configurable_Run_Time_On_Target is true,

[PATCH] PR ada/66205 gnatbind generates invalid code when finalization is enabled in restricted runtime

2015-06-15 Thread Simon Wright
with no offset to the trunk. gcc/ada/Changelog: 2015-6-15 Simon Wright si...@pushface.org PR ada/66205 * bindgen.adb (Gen_Adafinal): if Configurable_Run_Time_On_Target is true, generate a null body. (Gen_Main): if Configurable_Run_Time_On_Target is true

[PATCH] PR ada/66242 Front-end error if exception propagation disabled

2015-06-14 Thread Simon Wright
: 2015–6-14 Simon Wright si...@pushface.org PR ada/66242 * exp_ch7.adb (Process_Transient_Objects): new constant Exceptions_OK. If exceptions aren't OK, build Fin_Block without wrapping the Stmts in an exception handler. At end, only Build_Raise_Statement

Re: [PATCH] fix PR ada/42978

2011-09-16 Thread Simon Wright
On 8 Feb 2010, at 14:18, Arnaud Charlet wrote: OK, second try. Tested on gcc version 4.5.0 20100207 (experimental) [trunk revision 156574] (GCC). 2010-02-07 Simon Wright si...@pushface.org PR ada/42978 * mlib-utl.adb (Ar): Output ranlib options if verbose. This is OK