Re: Help: Ada in NetBSD

[Fernando Oleo Blanco <irvise_ml@irvise.xyz>]

Here is an update. With more good news than bad ones.

Short summary:

- Personal reminder, do not run ACATS as root.
- Lower the timeout of the tests to 30s setting the global environment 
varialbe DEJAGNU_TIMEOUT to 30 (seconds). Some tests will take nearly a 
minute to time out, but it is much better than the 300 seconds default.
- Increase the stack size (ulimit -s) of the NetBSD x86_64 machine from 
4Mb to 16Mb.
- I ran ACATS twice. One with the default timeout and the other one with 
a 30 second timeout.

So, what did I get?

The bad news is that I am getting 411 unexpected failures. All of the 
failures can be reproduced up until the middle of the C9 section. The 
reason for the "middle of the C9 section" is that I killed the ACATS 
running with the default timeout after more than 18h of running.

What is the cause of failure? 95% is timeout.
What about the tests that did not fail because of timeout? One I had to 
kill because gcc got stuck. It was indeed a C* test. To be more 
specific, it was C452003.

On 30.08.21 21:23, Simon Wright wrote:

> No, very sorry (there was one test which stalled, c425-something I
> think, but only the one, and that was a while ago)

There were a couple other tests that simply just failed: tests c350a01, 
c452005, c452006, c611A04, c760a03, just failed "normally".

Same for c3a0018, but that one is strange, since it did not print what 
that test is trying to test. It just compiles and fail, no information 
about when it got started (time) and the goal of that test. Test c460015 
does the same thing.

Test c52103x failed with a r "raised STORAGE_ERROR: stack overflow or 
erroneous memory access". So I guess it succeeded? Its definition says:

```
,.,. C52103X ACATS 4.1 21-08-31 09:31:05
---- C52103X CHECK THAT IN ARRAY ASSIGNMENTS AND IN SLICE ASSIGNMENTS,
                 THE LENGTHS MUST MATCH; ALSO CHECK WHETHER
                 CONSTRAINT_ERROR OR STORAGE_ERROR ARE RAISED FOR LARGE
                 ARRAYS.
    - C52103X NO CONSTRAINT_ERROR FOR TYPE WITH 'LENGTH = INTEGER'LAST +
                 3.

raised STORAGE_ERROR : stack overflow or erroneous memory access
FAIL:   c52103x
```
Same error failure for c52104x, c52104y, c650b04 and c93007a. But their 
description leads me to believe they should not fail that way.

Tests cb1010c, cb1010d, should fail with a STORAGE_ERROR and they do, 
but they are flagged as FAIL.

cdd2b04, cxaib05, cxaib06 and cxaib08 fail because of a compilation error:
```
cdd2b04.adb:116:12: stream size for elementary type must be a power of 2 
and at least 8
gnatmake: "cdd2b04.adb" compilation error
FAIL:   cdd2b04
```
```
cxaib05_data.ads:70:04: private object not allowed in preelaborated unit
cxaib05_data.ads:70:04: would be legal if pragma 
Preelaborable_Initialization give
n for "Map" at a-coorma.ads:54, instance at line 66
cxaib05_data.ads:77:04: private object not allowed in preelaborated unit
cxaib05_data.ads:77:04: would be legal if pragma 
Preelaborable_Initialization give
n for "Map" at a-coorma.ads:54, instance at line 72
gnatmake: "cxaib05.adb" compilation error
FAIL:   cxaib05
```
```
cxaib06_data.ads:69:04: instantiation error at a-cborma.ads:351
cxaib06_data.ads:69:04: object in preelaborated unit has non-static 
default at a-crbltr.ads:74, instance at a-cborma.ads:245, instance at 
line 69
cxaib06_data.ads:75:04: instantiation error at a-cborma.ads:351
cxaib06_data.ads:75:04: object in preelaborated unit has non-static 
default at a-crbltr.ads:74, instance at a-cborma.ads:245, instance at 
line 75
gnatmake: "cxaib06.adb" compilation error
FAIL:   cxaib06
```
```
cxaib08_data.ads:69:04: instantiation error at a-cbhama.ads:450
cxaib08_data.ads:69:04: object in preelaborated unit has non-static 
default at a-cohata.ads:75, instance at a-cbhama.ads:337, instance at 
line 69
cxaib08_data.ads:77:04: instantiation error at a-cbhama.ads:450
cxaib08_data.ads:77:04: object in preelaborated unit has non-static 
default at a-cohata.ads:75, instance at a-cbhama.ads:337, instance at 
line 77
gnatmake: "cxaib08.adb" compilation error
FAIL:   cxaib08
```

ALSO! I get this error at the very beginning:
```
cannot generate code for file b~impbit.ads (package spec)
gnatmake: "b~impbit.ads" compilation error
```

But then the actual body gets compiled:
```
gcc -c -gnatws -g -O2 -gnato -gnatE b~impbit.adb
```

Okay, too much text and very little insight. So what is the insight?

I guess that there must be a couple of bad things either in the code or 
in my system that just make about 400 fail because of timeout... I will 
keep on digging. The vast majority of failures take place in the C9 
section. As per 
http://www.ada-auth.org/acats-files/4.1/docs/ACATS-UG.PDF it should be 
about section 9 of the RM. Section 9 is about... You guess it! Tasks and 
Synchronization!

So I now know where to look. However, I may need some pointers/extra tests.

So, Simon, Stephane, here I am leaving you with some goodies, should you 
want to take a look:

The pkgsrc recipe for gcc10-aux as I currently have it. Maybe the 
tasking errors only happen on my system. You may want to test this 
Stephane: https://irvise.xyz/gcc10-aux.tar.gz

The ACATS log: https://irvise.xyz/acats.tar.gz


I will keep on digging. Regards,
-- 
Fernando Oleo Blanco
https://irvise.xyz