1-- { dg-do compile } 2with System.Pool_Global; 3package Storage is 4 x1: System.Pool_Global.Unbounded_No_Reclaim_Pool; 5 type T1 is access integer; 6 for T1'Storage_Pool use (x1); -- { dg-error "must be a variable" } 7 type T2 is access Integer; 8 for T2'Storage_Pool use x1; 9end Storage; 10 11