diff options
author | Tristan Gingold <tgingold@free.fr> | 2022-07-25 05:12:24 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2022-07-25 05:12:24 +0200 |
commit | 4030d67a73d4b5254912c586b6638ca3851855d6 (patch) | |
tree | 4922d6f35cf9160291eba352ee5f0b2254d41342 /src/tables.ads | |
parent | 88a4798285037a18cb7d27057474d52eca819520 (diff) | |
download | ghdl-4030d67a73d4b5254912c586b6638ca3851855d6.tar.gz ghdl-4030d67a73d4b5254912c586b6638ca3851855d6.tar.bz2 ghdl-4030d67a73d4b5254912c586b6638ca3851855d6.zip |
dyn_tables,tables: add Reserve. For #2139
Diffstat (limited to 'src/tables.ads')
-rw-r--r-- | src/tables.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/tables.ads b/src/tables.ads index 9a506d871..a76398d2f 100644 --- a/src/tables.ads +++ b/src/tables.ads @@ -79,4 +79,8 @@ package Tables is -- of Last + 1. function Allocate (Num : Natural := 1) return Table_Index_Type; pragma Inline (Allocate); + + -- Reserve memory for NUM extra elements. + procedure Reserve (Num : Natural := 1); + pragma Inline (Reserve); end Tables; |