aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2014-05-18 21:02:59 +0000
committerEric Botcazou <ebotcazou@gcc.gnu.org>2014-05-18 21:02:59 +0000
commit4aecc2f8e416fc1e77147f5f0084443fa4eb566e (patch)
tree4055a929917460b23b15b54f79d110c7118953cb /gcc/testsuite/gnat.dg
parent08b8b90cff5b5626b2a240a18e63e917e2e19a20 (diff)
downloadgcc-4aecc2f8e416fc1e77147f5f0084443fa4eb566e.zip
gcc-4aecc2f8e416fc1e77147f5f0084443fa4eb566e.tar.gz
gcc-4aecc2f8e416fc1e77147f5f0084443fa4eb566e.tar.bz2
decl.c (change_qualified_type): New static function.
* gcc-interface/decl.c (change_qualified_type): New static function. (gnat_to_gnu_entity): Use it throughout to add qualifiers on types. <E_Array_Type>: Set TYPE_VOLATILE on the array type directly. <E_Array_Subtype>: Likewise. Do not set flags on an UNCONSTRAINED_ARRAY_TYPE directly. (gnat_to_gnu_component_type): Likewise. (gnat_to_gnu_param): Likewise. From-SVN: r210588
Diffstat (limited to 'gcc/testsuite/gnat.dg')
-rw-r--r--gcc/testsuite/gnat.dg/volatile12.adb7
-rw-r--r--gcc/testsuite/gnat.dg/volatile12.ads7
2 files changed, 14 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/volatile12.adb b/gcc/testsuite/gnat.dg/volatile12.adb
new file mode 100644
index 0000000..91f3831
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/volatile12.adb
@@ -0,0 +1,7 @@
+-- { dg-do compile }
+
+package body Volatile12 is
+
+ procedure Proc (A : Arr) is begin null; end;
+
+end Volatile12;
diff --git a/gcc/testsuite/gnat.dg/volatile12.ads b/gcc/testsuite/gnat.dg/volatile12.ads
new file mode 100644
index 0000000..c37d249
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/volatile12.ads
@@ -0,0 +1,7 @@
+package Volatile12 is
+
+ type Arr is array (Integer range <>) of Integer with Volatile;
+
+ procedure Proc (A : Arr);
+
+end Volatile12;