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: a07f3367d7,28f9da0e028af98b,start
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!postnews.google.com!f15g2000yqf.googlegroups.com!not-for-mail
From: Julian Leyh <julian@vgai.de>
Newsgroups: comp.lang.ada
Subject: Is the Ada compiler of Polyspace invalid?
Date: Fri, 18 Feb 2011 00:58:39 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <0c1168ed-e09e-4555-a77e-40620dd80628@f15g2000yqf.googlegroups.com>
NNTP-Posting-Host: 194.156.172.86
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1298019519 25937 127.0.0.1 (18 Feb 2011 08:58:39
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 18 Feb 2011 08:58:39 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: f15g2000yqf.googlegroups.com; posting-host=194.156.172.86;
 posting-account=4IMjSwoAAABghF4GBOy5ozdaZM8EkGwR
User-Agent: G2/1.0
X-HTTP-Via: 1.0 localhost (squid/3.1.3)
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; de; rv:1.9.2.8)
 Gecko/20100722 Firefox/3.6.8,gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:17411
Date: 2011-02-18T00:58:39-08:00
List-Id: <comp.lang.ada>

Hi,

I have some Ada code, which I would like to try Polyspace on.

It contains something like this (simplified):

foo.ads:
procedure foo;

foo.adb:
procedure foo is
...
end foo;

somewhere else:
with foo;
...
foo;
...

The Polyspace compiler doesn't seem to like this..

In my understanding, the above should be completely valid Ada code -
even should have been valid Ada83 code (I use Ada95 standard for my
project).

Is the Polyspace compiler wrong? That would mean, it is no valid Ada
compiler.. Or is there a way to make Polyspace understand it?

Greetings,
Julian