diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/aggr13.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/aggr13.adb | 23 |
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" } } |