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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,682c6a4dc0495d48
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news.glorb.com!feeder.erje.net!feeder2.news.saunalahti.fi!fi.sn.net!newsfeed2.fi.sn.net!news.song.fi!not-for-mail
Date: Wed, 05 Nov 2008 20:50:32 +0200
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.7.8) Gecko/20060628 Debian/1.7.8-1sarge7.1
X-Accept-Language: en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Stackusage at runtime
References: 
 <bf764407-9606-4ee4-aa22-cbb6d00dd84c@d36g2000prf.googlegroups.com>
 <491068b1$1_1@glkas0286.greenlnk.net> <49109d19$1_5@news.bluewin.ch>
In-Reply-To: <49109d19$1_5@news.bluewin.ch>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4911dcd1$0$23585$4f793bc4@news.tdc.fi>
Organization: TDC Internet Services
NNTP-Posting-Host: laku61.adsl.netsonic.fi
X-Trace: 1225907409 news.tdc.fi 23585 81.17.205.61:32867
X-Complaints-To: abuse@tdcnet.fi
Xref: g2news2.google.com comp.lang.ada:8307
Date: 2008-11-05T20:50:32+02:00
List-Id: <comp.lang.ada>

Andi wrote:
> Now I can make a couple of trial to figure out how mucch is really 
> needed and than I have to do that for all the other tasks .... not my 
> favorit job ;-)

And later Andy wrote:

 > We are using Apex ... Probably we think about adacores static
 > analysis tool ...

As I understand it, AdaCore's GNATstack is coupled with GNAT, and 
uses compile-time information from GNAT; it may not be possible to 
use it with the Apex compiler. Of course, code generated by GNAT 
may not use the same amount of stack space as code generated by Apex.

The AbsInt StackAnalyzer works on the machine code alone, I 
believe, so it should in principle work with any compiler. However, 
I don't know if it handles the "secondary stack" used by some Ada 
compilers. Apex is not listed as a supported compiler on AbsInt's 
web, but it may well work.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .