From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: Weird error emanating from GNAT binder: duplicat "gnatS"
Date: Wed, 22 Feb 2023 07:53:29 +0200 [thread overview]
Message-ID: <k5loupF7kt3U1@mid.individual.net> (raw)
In-Reply-To: <022bbc8b-8764-4562-900a-7143fabd394cn@googlegroups.com>
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.
next prev parent reply other threads:[~2023-02-22 5:53 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-02-21 0:11 Weird error emanating from GNAT binder: duplicat "gnatS" Jerry
2023-02-21 22:59 ` Jerry
2023-02-22 5:53 ` Niklas Holsti [this message]
2023-02-22 8:50 ` Jerry
2023-02-22 9:37 ` Jeffrey R.Carter
2023-02-22 9:49 ` Jerry
2023-02-22 14:26 ` Simon Wright
2023-02-23 6:34 ` Jerry
2023-02-23 12:57 ` Niklas Holsti
2023-02-24 20:22 ` Jeffrey R.Carter
2023-02-22 9:39 ` Jerry
2023-02-23 13:16 ` Simon Wright
2023-02-23 19:33 ` Jerry
2023-02-24 0:28 ` Jerry
2023-02-24 0:34 ` Jerry
2023-02-24 8:07 ` R R
2023-02-26 5:30 ` Jerry
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox