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=-0.5 required=3.0 tests=BAYES_05,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:a0c:8c46:0:b0:571:efc8:ee06 with SMTP id o6-20020a0c8c46000000b00571efc8ee06mr609482qvb.24.1677055822293; Wed, 22 Feb 2023 00:50:22 -0800 (PST) X-Received: by 2002:a05:6808:1484:b0:378:5c05:16e3 with SMTP id e4-20020a056808148400b003785c0516e3mr35335oiw.171.1677055821966; Wed, 22 Feb 2023 00:50:21 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 22 Feb 2023 00:50:21 -0800 (PST) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=184.98.162.11; posting-account=x5rpZwoAAABMN2XPwcebPWPkebpwQNJG NNTP-Posting-Host: 184.98.162.11 References: <365f84cf-29ae-4857-8dfe-e3bfa2191f9dn@googlegroups.com> <022bbc8b-8764-4562-900a-7143fabd394cn@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Weird error emanating from GNAT binder: duplicat "gnatS" From: Jerry Injection-Date: Wed, 22 Feb 2023 08:50:22 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:64953 List-Id: On Tuesday, February 21, 2023 at 10:53:33 PM UTC-7, Niklas Holsti wrote: > On 2023-02-22 0:59, Jerry wrote:=20 > > On Monday, February 20, 2023 at 5:11:41 PM UTC-7, Jerry wrote:=20 > >> I have the following program...=20 > >=20 > > Please let me summarize my problem: I have an Ada program which GNAT=20 > > indicates has no errors but which it refuses to compile.=20 > >=20 > > Jerry > Well, as you have shown only a part of the source code, it becomes a=20 > guessing game for us others... but, since the compiler is pointing to an= =20 > error in a compiler-generated file, it seems likely that there is some=20 > kind of compiler bug here. This bug seems to be activated by the=20 > "limited with", if that is the main thing that you have changed since=20 > the program last compiled successfully.=20 >=20 > The compiler bug could be in the generation of the compiler-generated=20 > file, or it could be a bug in checking the source code, with the effect= =20 > of not detecting or not reporting some error (illegality) in your source= =20 > code, which then somehow propagates within the compiler and makes the=20 > compiler generate the faulty compiler-generated file.=20 >=20 > You might report the bug to AdaCore, and/or try other versions of GNAT,= =20 > or othe Ada compilers. But the quickest way to continue is probably to=20 > find a work-around, for example change the architecture so that you do=20 > not need the "limited with" that seems to be triggering the problem. Since my most recent post, and before I read this note from Niklas, I * Removed the circular dependency between packages common and signal_proces= sing and consequently was able to remove the "limited with" clause. * Reinstalled the compiler. Neither of these had any effect--the problem remains. To NIklas's note: * I would be happy to supply all of the code but it is very long, thousands= of lines across several packages. * Yes, a possible compiler hiccup; but I have no clue or power to figure ou= t what is wrong, since it is not pointing to my code. * The "limited with" has been in the code for a few years; the problem that= I am reporting has begun only about 2-3 days ago. At that point, I was add= ing a function to common.adb and common.ads; upon recompiling, the bug appe= ared. When I restored those files from backup, the problem remained. To be = clear, the "limited with" has been present for a long time with successful = compilation until 2-3 days ago. * As far as I know, which is pretty far, the source code hasn't changed. As= we all know, those are famous last words. :-| But the compiler isn't point= to my code. * As I wrote above, I re-wrote the code and removed the "limited with." I am an individual researcher with no resources outside of bothering people= such as those on this list, and at this point my work has come to a screec= hing halt. Jerry