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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,WEIRD_PORT autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,334f9012742e58fc
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!w31g2000yqb.googlegroups.com!not-for-mail
From: "lekktu@gmail.com" <lekktu@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Gnat GPL 2010 available soon
Date: Sat, 26 Jun 2010 05:04:10 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <0fa4c574-9539-492f-8514-d32c68beb22a@w31g2000yqb.googlegroups.com>
References: <2010061621145016807-sjs@essexacuk>
 <op.veihbktxnfgb3u@richard.piraten.dd>
NNTP-Posting-Host: 88.7.204.53
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1277553850 31867 127.0.0.1 (26 Jun 2010 12:04:10
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 26 Jun 2010 12:04:10 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: w31g2000yqb.googlegroups.com; posting-host=88.7.204.53;
	posting-account=R62THAoAAACcBd11BFBbpfyAY2QqVHpy
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.2.4)
	Gecko/20100611 Firefox/3.6.4,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:12906
Date: 2010-06-26T05:04:10-07:00
List-Id: <comp.lang.ada>

Well, it hasn't been hard to find the first bug.

--------------------------------------------------------------------------------
function Validate (Dir : in String) return String is
begin
   return (if Dir (Dir'Last) = '\' then Dir else Dir & '\');
end Validate;
--------------------------------------------------------------------------------

C:\test\> gnatmake -gnat12 validate.adb
gcc -c -gnat12 validate.adb
+===========================GNAT BUG
DETECTED==============================+
| GPL 2010 (20100603) (i686-pc-mingw32) GCC
error:                         |
| in mostly_copy_tree_r, at gimplify.c:
893                                 |
| Error detected around C:/gnat/lib/gcc/i686-pc-mingw32/4.3.6/
adainclude/s-stoele.ads:65|
| Please submit a bug report by email to
report@adacore.com.               |
| GAP members can alternatively use GNAT
Tracker:                          |
| http://www.adacore.com/ section 'send a
report'.                         |
| See gnatinfo.txt for full info on procedure for submitting
bugs.         |
| Use a subject line meaningful to you and us to track the
bug.            |
| Include the entire contents of this bug box in the
report.               |
| Include the exact gcc or gnatmake command that you
entered.              |
| Also include sources listed below in gnatchop
format                     |
| (concatenated together with no headers between
files).                   |
| Use plain ASCII or MIME
attachment.                                      |
+==========================================================================
+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).

validate.adb

compilation abandoned
gnatmake: "validate.adb" compilation error


I'll submit a bug report.