Simon Wright

I see exactly the same, with GCC’s 12.2.0, 13.1.0, 13.2.0, 14.0.0, x86_64 (Rosetta) or aarch64. Not sure whether the problem is in the GNAT RTS’s use of pthreads, or macOS’s...

It turns out that 80,000 loops is OK, 90,000 fails. That’s 240,000 .. 270,000 tasks; cf 262144 ports. I vaguely remember back in the day that we had an issue...

> Found 'em... in gcc/ada/libgnarl/ right? Yes! To get an idea of what’s used how, you can e.g. `gnatmake tt.adb -c -u -f -gnatG` -- it spits out an approximation...

Yes, the workround works: the acats tests look good, ``` === acats Summary === # of expected passes 2325 # of unexpected failures 3 *** FAILURES: cb1010a cb1010d c250002 ```...

> As for character set issues, that test is either skipped or passes on earlier/x86_64 Darwin versions, so we might want to poke a bit at what is going wrong...

On 8 Sep 2023, at 20:58, Iain Sandoe ***@***.***> wrote: > As for character set issues, that test is either skipped or passes on earlier/x86_64 Darwin versions, so we might...

I just dug out my K&R C. Running this code ``` C #include int main() { char name[] = "c250002_x.ads"; name[8] = 0xe1; // Latin 1 lower-case a acute printf("name:...

> > I just dug out my K&R C. > > heh.. you mean you do not have a build of GCC ? Distracted by the 200-point C on the...

I had no trouble building the compiler and tools on aarch64-apple-darwin, but then none of the sources use upper-case (or international characters) in filenames so I wouldn’t expect any. I...

> I would report this to the Ada maintainers: whether the system is case-sensitive is not a property of the OS at all, it will depend on the filesystem. That...