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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,37415139d1da44b0,start
X-Google-Attributes: gid103376,public
From: njt@minster.york.ac.uk (Nigel J. Tracey)
Subject: Gnatf Compilation
Date: 1996/11/27
Message-ID: <849094824.4@cs.york.ac.uk>#1/1
X-Deja-AN: 201224349
organization: Dept. Computer Science, University of York.
newsgroups: comp.lang.ada
Date: 1996-11-27T00:00:00+00:00
List-Id: <comp.lang.ada>


I am trying to compile a version of gnatf which I can then
modify to use as the front-end anaylsis tool for an
automated test-case data generator for Ada programs,
but I am having a few problems. The source I'm using
is for gnat 3.07 and I'm compiling with gnat 3.07,
gcc 2.7.2 (also tried gcc 2.7.2.1) on linux 2.0.26.

I can compile gnatf fine when I combine it with the
gcc source and follow the instructions on how to build
gnat. I have copied all the various files which are
needed by the gnatfdrv.adb from the gnat distribution
except the oncs which are part of the ada library (e.g.
ada.ads a-charac.ads, etc as these are identical
to those in by /usr/adainclude) to a new directory.

I then compiled this with gnatmake -c gnatdrv.adb
which works fine compiling all the various source files.
I then run the binder and linker adding the few c object
files which are needed.

This all works find and produces the executable
gnatfdrv. Which if I run it outputs the same usage
information as gnatf. However running my version
of gnatfdrv on a ada source file causes it to
raise a constraint and output a message indicating that
a bug has been found (which I know it hasn't because
the real gnatf works fine!)

Using gdb I have found that the error is a constraint
error raised in sem_ch8.new_scope on line 3026.
Can anybody give any help as to why this problem is
occuring or suggest another way in which I might obtain
a abstract syntax tree of the ada source (with all the
semantic information) which I can then walk around
as part of my testing tool.

Any information would be a really big help, I've tried
all I can think of to sort out this problem.
Thanks very much for any help or advice.

Nigel

--------------------
Nigel J. Tracey MEng, Research Associate (High Integrity Systems Group).
Department of Computer Science,   Office: X/D016
University of York,               Tel   : [0|+44]1904 432769
York, England.                    E-Mail: njt@minster.york.ac.uk
YO1 5DD.                          URL   : http://sv1pc161.cs.york.ac.uk/~njt