From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: Victor Porton <porton@narod.ru>
Newsgroups: comp.lang.ada
Subject: A really awful GNAT bug
Date: Tue, 21 Nov 2017 02:43:20 +0200
Organization: Aioe.org NNTP Server
Message-ID: <ouvsre$8il$1@gioia.aioe.org>
NNTP-Posting-Host: edFHTOfx8phAphItWrZ8cQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 7Bit
X-Complaints-To: abuse@aioe.org
User-Agent: KNode/4.14.10
X-Notice: Filtered by postfilter v. 0.8.2
Xref: feeder.eternal-september.org comp.lang.ada:49026
Date: 2017-11-21T02:43:20+02:00
List-Id: <comp.lang.ada>

I found a really awful GNAT bug. See:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027

See the minimal example minimal.tar.gz in the last comment.

I reprise the comment here:

--
I've created the minimal example reprising the bug.

The bug is actually awful: Just four innocent (doing nothing) source files 
cause the program to hang infinitely despite it was asked to do none.

Note that the bug is triggered only for dynamic libraries.

To reprise the bug unpack the attached minimal.tar.gz archive run

make all && make run

It stucks infinitely.

Now we know for sure: It is a GCC (or maybe linker) bug, not Ahven one.


-- 
Victor Porton - http://portonvictor.org