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 X-Google-Attributes: gid103376,public From: njt@minster.york.ac.uk (Nigel J. Tracey) Subject: Re: Gnatf Compilation Date: 1996/11/27 Message-ID: <849113227.7@cs.york.ac.uk>#1/1 X-Deja-AN: 201224357 references: <849094824.4@cs.york.ac.uk> organization: Dept. Computer Science, University of York. newsgroups: comp.lang.ada Date: 1996-11-27T00:00:00+00:00 List-Id: 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. : : 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