diff options
Diffstat (limited to 'src/areapools.adb')
| -rw-r--r-- | src/areapools.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/areapools.adb b/src/areapools.adb index 6b49b2d64..7081e8c1b 100644 --- a/src/areapools.adb +++ b/src/areapools.adb @@ -128,6 +128,11 @@ package body Areapools is return Pool.Last = null; end Is_Empty; + function Is_At_Mark (Pool : Areapool; M : Mark_Type) return Boolean is + begin + return Pool.Last = M.Last and Pool.Next_Use = M.Next_Use; + end Is_At_Mark; + function Alloc_On_Pool_Addr (Pool : Areapool_Acc; Val : T) return System.Address is |