From: Steve Baird <baird@adacore.com>
Date: Wed, 18 Sep 2019 08:32:05 +0000 (+0000)
Subject: [Ada] No Storage_Error for an oversized disabled ghost array object
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dcbe49a6c41e586e961664512726799a540757ee;p=gcc.git

[Ada] No Storage_Error for an oversized disabled ghost array object

In some cases where the size computation for an object declaration will
unconditionally overflow, the FE generates code to raise Storage_Error
at the point of the object declaration (and may generate an associated
warning). Don't do this if the object declaration is an ignored (i.e.,
disabled) ghost declaration.

2019-09-18  Steve Baird  <baird@adacore.com>

gcc/ada/

	* freeze.adb (Freeze_Object_Declaration): Do not call
	Check_Large_Modular_Array when the object declaration being
	frozen is an ignored ghost entity.

gcc/testsuite/

	* gnat.dg/ghost7.adb, gnat.dg/ghost7.ads: New testcase.

From-SVN: r275845
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index c13fa24ae9a..0c1c554f62b 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2019-09-18  Steve Baird  <baird@adacore.com>
+
+	* freeze.adb (Freeze_Object_Declaration): Do not call
+	Check_Large_Modular_Array when the object declaration being
+	frozen is an ignored ghost entity.
+
 2019-09-18  Tom Tromey  <tromey@adacore.com>
 
 	* make.adb (Initialize): Fix typo.
diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index bb17e429020..93e91b2a9ba 100644
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -3569,7 +3569,8 @@ package body Freeze is
             Error_Msg_N ("\??use explicit size clause to set size", E);
          end if;
 
-         if Is_Array_Type (Typ) then
+         --  Declaring a too-big array in disabled ghost code is OK
+         if Is_Array_Type (Typ) and then not Is_Ignored_Ghost_Entity (E) then
             Check_Large_Modular_Array (Typ);
          end if;
       end Freeze_Object_Declaration;
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1db62e26097..c3f82a5f1a8 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2019-09-18  Steve Baird  <baird@adacore.com>
+
+	* gnat.dg/ghost7.adb, gnat.dg/ghost7.ads: New testcase.
+
 2019-09-18  Olivier Hainque  <hainque@adacore.com>
 
 	* gnat.dg/system_info1.adb: New testcase.
diff --git a/gcc/testsuite/gnat.dg/ghost7.adb b/gcc/testsuite/gnat.dg/ghost7.adb
new file mode 100644
index 00000000000..977cdd2db20
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/ghost7.adb
@@ -0,0 +1,6 @@
+--  { dg-do compile }
+--  { dg-options "-gnatwa" }
+
+package body Ghost7 is
+   procedure Dummy is null;
+end Ghost7;
diff --git a/gcc/testsuite/gnat.dg/ghost7.ads b/gcc/testsuite/gnat.dg/ghost7.ads
new file mode 100644
index 00000000000..4042aa33a94
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/ghost7.ads
@@ -0,0 +1,8 @@
+pragma Restrictions (No_Exception_Propagation);
+
+package Ghost7 is
+   type Word64 is mod 2**64;
+   type My_Array_Type is array (Word64) of Boolean;
+   My_Array : My_Array_Type with Ghost;
+   procedure Dummy;
+end Ghost7;
\ No newline at end of file