2009-06-22 Jerome Lambourg <lambourg@adacore.com>

	* freeze.adb: Add comments.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@148779 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 214bd78..ff2e306 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2009-06-22  Jerome Lambourg  <lambourg@adacore.com>
+
+       * freeze.adb: Add comments.
+
 2009-06-21  Thomas Quinot  <quinot@adacore.com>
 
        * exp_ch3.adb, exp_prag.adb, exp_util.adb, exp_util.ads, freeze.adb,

diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index 406db64..5fc02c3 100644 (file)
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -2600,6 +2600,10 @@ package body Freeze is
                         end if;
                      end if;
 
+                     --  VM functions returning unconstrained arrays are
+                     --  correctly handled with the .NET/JVM compilers. Don't
+                     --  display this warning in those cases.
+
                      if Is_Array_Type (R_Type)
                        and then not Is_Constrained (R_Type)
                        and then not Is_Imported (E)
@@ -5043,6 +5047,10 @@ package body Freeze is
             elsif Is_Generic_Type (Etype (E)) then
                null;
 
+            --  VM functions returning unconstrained arrays are
+            --  correctly handled with the .NET/JVM compilers. Don't
+            --  display this warning in those cases.
+
             elsif Is_Array_Type (Retype)
               and then not Is_Constrained (Retype)
               and then Mechanism (E) not in Descriptor_Codes