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-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-3.2 required=3.0 tests=BAYES_00,NICE_REPLY_A,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!2.eu.feeder.erje.net!feeder.erje.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Weird error emanating from GNAT binder: duplicat "gnatS"
Date: Wed, 22 Feb 2023 07:53:29 +0200
Organization: Tidorum Ltd
Message-ID: <k5loupF7kt3U1@mid.individual.net>
References: <365f84cf-29ae-4857-8dfe-e3bfa2191f9dn@googlegroups.com>
 <022bbc8b-8764-4562-900a-7143fabd394cn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net jeGMjohcN5YR6T1lUoAK4APVbGXl74YvyYE5kesrKaAOH4ziWI
Cancel-Lock: sha1:rIBwr4vbKNvdfYeqqEa+R+roqq4=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:102.0)
 Gecko/20100101 Thunderbird/102.6.1
Content-Language: en-US
In-Reply-To: <022bbc8b-8764-4562-900a-7143fabd394cn@googlegroups.com>
Xref: reader01.eternal-september.org comp.lang.ada:64952
List-Id: <comp.lang.ada>

On 2023-02-22 0:59, Jerry wrote:
> On Monday, February 20, 2023 at 5:11:41 PM UTC-7, Jerry wrote:
>> I have the following program...
> 
> Please let me summarize my problem: I have an Ada program which GNAT
> indicates has no errors but which it refuses to compile.
> 
> Jerry


Well, as you have shown only a part of the source code, it becomes a 
guessing game for us others... but, since the compiler is pointing to an 
error in a compiler-generated file, it seems likely that there is some 
kind of compiler bug here. This bug seems to be activated by the 
"limited with", if that is the main thing that you have changed since 
the program last compiled successfully.

The compiler bug could be in the generation of the compiler-generated 
file, or it could be a bug in checking the source code, with the effect 
of not detecting or not reporting some error (illegality) in your source 
code, which then somehow propagates within the compiler and makes the 
compiler generate the faulty compiler-generated file.

You might report the bug to AdaCore, and/or try other versions of GNAT, 
or othe Ada compilers. But the quickest way to continue is probably to 
find a work-around, for example change the architecture so that you do 
not need the "limited with" that seems to be triggering the problem.