blob: 298d0d524d1008c3e3d21e202a802b7ff8167026 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
-- Copyright 2018-2022 Free Software Foundation, Inc.
--
-- This program is free software; you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation; either version 3 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-- GNU General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program. If not, see <http://www.gnu.org/licenses/>.
with Pck; use Pck;
with System;
with Unchecked_Conversion;
procedure VsizeLim is
Small : String := Ident ("1234567890");
Larger : String := Ident ("1234567890|1234567890|1234567890");
type String_Ptr is access all String;
type Big_String_Ptr is access all String (Positive);
function To_Ptr is
new Unchecked_Conversion (System.Address, Big_String_Ptr);
Name_Str : String_Ptr := new String'(Larger);
Name : Big_String_Ptr := To_Ptr (Name_Str.all'Address);
type Table is array (Positive range <>) of Integer;
type Object (N : Integer) is record
Data : Table (1 .. N);
end record;
BA : Object := (N => 1_000_000, Data => (others => 0));
begin
for I in 1 .. 10 loop
BA.Data(I) := I;
end loop;
Do_Nothing (Small'Address); -- STOP
Do_Nothing (Larger'Address);
Do_Nothing (Name'Address);
Do_Nothing (BA'Address);
end VsizeLim;
|