Re: Gnat GPL 2010 available soon

["lekktu@gmail.com" <lekktu@gmail.com>]

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.