diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-09-10 09:47:02 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-09-10 18:45:58 +0200 |
| commit | ff1ef30e8d370f89294e2d6e82fb1a15cdcd519c (patch) | |
| tree | 5e6184d1e4c3220a2d2f006027c0f9cf5b4af45f /src/areapools.ads | |
| parent | 3d50ceb1772ec529ed168579d3d0b5603df96493 (diff) | |
| download | ghdl-ff1ef30e8d370f89294e2d6e82fb1a15cdcd519c.tar.gz ghdl-ff1ef30e8d370f89294e2d6e82fb1a15cdcd519c.tar.bz2 ghdl-ff1ef30e8d370f89294e2d6e82fb1a15cdcd519c.zip | |
synth: fix and add checks for memory management.
Diffstat (limited to 'src/areapools.ads')
| -rw-r--r-- | src/areapools.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/areapools.ads b/src/areapools.ads index f1e4276c9..026bb0483 100644 --- a/src/areapools.ads +++ b/src/areapools.ads @@ -49,6 +49,10 @@ package Areapools is procedure Release (M : Mark_Type; Pool : in out Areapool); + -- Return True iff POOL is at the mark level (ie, calling Relase will be + -- a no-op). + function Is_At_Mark (Pool : Areapool; M : Mark_Type) return Boolean; + Empty_Marker : constant Mark_Type; private -- Minimal size of allocation. |