diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/specs/storage.ads')
-rw-r--r-- | gcc/testsuite/gnat.dg/specs/storage.ads | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/storage.ads b/gcc/testsuite/gnat.dg/specs/storage.ads new file mode 100644 index 000000000..e54445793 --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/storage.ads @@ -0,0 +1,10 @@ +-- { dg-do compile } +with System.Pool_Global; +package Storage is + x1: System.Pool_Global.Unbounded_No_Reclaim_Pool; + type T1 is access integer; + for T1'Storage_Pool use (x1); -- { dg-error "must be a variable" } + type T2 is access Integer; + for T2'Storage_Pool use x1; +end Storage; + |