Re: Gnatf Compilation

[njt@minster.york.ac.uk (Nigel J. Tracey)]

Nigel J. Tracey (njt@minster.york.ac.uk) wrote:
: 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.
: <DELETED...>
: 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.
: 
: Nigel

I seem to have sorted the above problem by compiling
with the flags -gnatpg and -gnata. It still seems
to have a problem though. In the version I have compiled
if it run it with -dt -df to display the full syntax tree
it will get so far and then bomb out with a fatal error:
disk full in one of the Write_XXX commands output.adb
which in turn calls write from gnat.os_lib. I believe that
it is the write from gnat.os_lib which causes the problem.

The point at which this occurs seems to vary and it doesn't
seem to happen as often from a console as when in an xterm.
I think the write function is in libc (is this correct?)
- if so I'm using libc.so.5.4.7 if that helps any.

Without the -dt and -df flags it seems to work okay. Also
the version compiled as part of the complete gnat and
the binary version both seem to function perfectly (which
makes me think that it not a bug in by libc, but again
I'm not sure!)
Again any help would be appreciated.

Thanks,

	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