comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: GCC updated in NetBSD!
Date: Fri, 22 Oct 2021 11:16:36 +0100	[thread overview]
Message-ID: <lyk0i51i0r.fsf@pushface.org> (raw)
In-Reply-To: lyr1cehk14.fsf@pushface.org

Simon Wright <simon@pushface.org> writes:

> "Randy Brukardt" <randy@rrsoftware.com> writes:
>
>> "Simon Wright" <simon@pushface.org> wrote in message 
>> news:lyzgr3h0t2.fsf@pushface.org...
>> ...
>>> *** FAILURES: c250002 c324006 c35503d c35503f c415001 c611a04 cxaib05
>>> cxaib08 cxd1003 cxd1004 cxd1005 cxd2006 cxd3001 cxd3002
>>>
>> ...
>>> C35503D GCC 11 supports 128-bit integers
>>> C35503F likewise
>>
>> These two are "macro" tests, such that one is supposed to modify the
>> values in the Macro.Dfs file and regenerate these tests with the
>> correct values. If the compiler supports 128-bit integers, then those
>> values would be different (and a lot longer) than the values for
>> 64-bit integers. They could of course fail for some other reason, but
>> getting those values wrong in the original substitution is bad.
>
> Yes; what happens in the GCC version is that MACRO.DFS gets regenerated
> from a template version during setup.
>
> I missed a change made 14 months ago, i.e. in preparaton for GCC 11, in
> which (for 64-bit targets) the expected max/min_int are set to 128-bit
> values.

Now fixed (for GCC 11+), tag acats-4.1x.

GCC 10 doesn't support 128-bit integers; not sure how to retain
compatibility and also abide by the spirit of the GCC version of ACATS.
I see that GCC introduced a support program Impbit, which reports the
compiler's System.Address'Size'Img; a program Imp_Max_Int which reports
the compiler's System.Max_Int, and using the result to check
System.Max_Int, seems a tad incestuous.

Fernando, you're using GCC 10? I've tagged the previous release with
acats-4.1w.

  reply	other threads:[~2021-10-22 10:16 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-10-19 21:47 GCC updated in NetBSD! Fernando Oleo Blanco
2021-10-20  5:01 ` Richard Iswara
2021-10-20  6:43   ` Emmanuel Briot
2021-10-20 18:44     ` Fernando Oleo Blanco
2021-10-20 13:01 ` Simon Wright
2021-10-20 14:16   ` Fernando Oleo Blanco
2021-10-20 20:57 ` Simon Wright
2021-10-21  6:04   ` Randy Brukardt
2021-10-21  8:14     ` Simon Wright
2021-10-22 10:16       ` Simon Wright [this message]
2021-10-21 12:47   ` Fernando Oleo Blanco
2021-10-24 21:08   ` Simon Wright
2021-10-30 16:06     ` Fernando Oleo Blanco
2021-10-30 17:38       ` Simon Wright
2021-11-02 20:32         ` Fernando Oleo Blanco
2021-11-06 17:32           ` Fernando Oleo Blanco
2021-11-06 21:02             ` Simon Wright
2021-11-07  8:22               ` Fernando Oleo Blanco
2021-12-23 11:52                 ` Fernando Oleo Blanco
2021-12-23 13:15                   ` Kevin Chadwick
2021-12-23 16:37                     ` Fernando Oleo Blanco
2022-02-10 19:21                       ` Fernando Oleo Blanco
2022-03-14 21:21                         ` Fernando Oleo Blanco
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox