From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: * X-Spam-Status: No, score=1.1 required=3.0 tests=BAYES_00,FROM_SUSPICIOUS_NTLD, FROM_SUSPICIOUS_NTLD_FP,PDS_OTHER_BAD_TLD,WEIRD_PORT autolearn=no autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!tmr9BI+uueYJMT3TC5a5oA.user.46.165.242.75.POSTED!not-for-mail From: Fernando Oleo Blanco Newsgroups: comp.lang.ada Subject: Re: Help: Ada in NetBSD Date: Wed, 1 Sep 2021 11:44:42 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <16242b6e-cfb6-4fb1-8f7f-566469de446an@googlegroups.com> <7b5879f1-6d8a-46d7-b761-82c9cf483984n@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: gioia.aioe.org; logging-data="49681"; posting-host="tmr9BI+uueYJMT3TC5a5oA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.0.3 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader02.eternal-september.org comp.lang.ada:62593 List-Id: 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