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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Georg Bauhaus <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: GNAT stuck, any idea on how to diagnose it?
Date: Sun, 14 Sep 2014 13:59:06 +0200
Organization: A noiseless patient Spider
Message-ID: <lv3vub$htt$1@dont-email.me>
References: <slrnm1anga.nrc.lithiumcat@nat.rebma.instinctive.eu>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 14 Sep 2014 11:59:07 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="f61b92751dddb818dd285f502b13f2a9";
 logging-data="18365"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX1/Ykf7MHHGxRHAOgbHb1RQ5c+RJIhlF1+s="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
In-Reply-To: <slrnm1anga.nrc.lithiumcat@nat.rebma.instinctive.eu>
Cancel-Lock: sha1:joWvNWQJi5rEmyDzvkvUZpK7orQ=
Xref: number.nntp.dca.giganews.com comp.lang.ada:188998
Date: 2014-09-14T13:59:06+02:00
List-Id: <comp.lang.ada>

On 14.09.14 11:21, Natasha Kerensikova wrote:

> /usr/local/gcc-aux/libexec/gcc/x86_64-aux-freebsd9.2/4.9.0/gnat1 -I
> --quiet -dumpbase natools-s_expressions-templates-integers.ads -auxbase
> natools-s_expressions-templates-integers -O3 -fstack-check=specific
> -gnatez -gnatea -gnatec=/home/nat/code/natools/obj/GNAT-TEMP-000004.TMP
> -gnatafnovy -gnateE -gnatwae -gnatA
> -gnatem=/home/nat/code/natools/obj/GNAT-TEMP-000005.TMP -gnatez
> -mtune=generic -march=x86-64
> /home/nat/code/natools/src/natools-s_expressions-templates-integers.ads
> -o /tmp//ccd4TDPm.s
>
> Would you know what is this `gnat1`?

The GNAT User's Guide says this in "3.1 Compiling Programs":

    `gcc' is actually a driver program that looks at the extensions of
the file arguments and loads the appropriate compiler. For example, the
GNU C compiler is `cc1', and the Ada compiler is `gnat1'.

The User's Guide is included with the compiler, in any formats the user
may likely prefer.

> What kind of tool can I used to help answer those questions?

My first attempt would be to obtain access to one of the platforms that
have receive more extensive support for the Ada part of GCC, for example
one of the platforms supported by GPL GNAT, or Debian/GNU. This should
help with excluding issues that may need to be attributed to GNAT on FreeBSD.

Then, also, some OS tracing facility may hint at loops.
Another option is to run the translation process from a debugger.