25 lines
444 B
Ada
25 lines
444 B
Ada
-- { dg-do compile }
|
|
|
|
with System;
|
|
|
|
procedure Frame_Overflow2 is -- { dg-error "total size of local objects is too large" }
|
|
|
|
type Index_T is range 1 .. 2**(System.Word_Size - 1) - 1;
|
|
|
|
type SetArray is array (Index_T) of Boolean;
|
|
|
|
type Set is record
|
|
Store: SetArray := (Others => False);
|
|
end record;
|
|
|
|
Phi: constant Set := (Store => (Others => False));
|
|
|
|
function F return Set is
|
|
begin
|
|
return Phi;
|
|
end;
|
|
|
|
begin
|
|
null;
|
|
end;
|