summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/aggr13.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gnat.dg/aggr13.adb')
-rw-r--r--gcc/testsuite/gnat.dg/aggr13.adb23
1 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/aggr13.adb b/gcc/testsuite/gnat.dg/aggr13.adb
new file mode 100644
index 000000000..add223c0b
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/aggr13.adb
@@ -0,0 +1,23 @@
+-- { dg-do compile }
+-- { dg-options "-fdump-tree-gimple" }
+
+procedure Aggr13 is
+
+ type A is array (Integer range 1 .. 3) of Short_Short_Integer;
+
+ X : A := (1, 2, 3);
+
+ function F return A is
+ begin
+ if X /= (1, 2, 3) then
+ raise Program_Error;
+ end if;
+ return (1, 1, 1);
+ end;
+
+begin
+ X := F;
+end;
+
+-- { dg-final { scan-tree-dump-not "= {}" "gimple" } }
+-- { dg-final { cleanup-tree-dump "gimple" } }