search

Ada-Rapporteur-Group / User-Community-Input

Ada User Community Input Working Group - Github Mirror Prototype
27 stars 1 forks source link

Ada.Unchecked_Deallocate_Subpool needs Preelaborate aspect #20

Closed sttaft closed 1 year ago

sttaft commented 2 years ago

It would be useful if the Preelaborate aspect were set to True for Ada.Unchecked_Deallocate_Subpool (Ada RM 13.11.5). The package System.Storage.Subpools has Preelaborate True, so there seems no reason that this procedure shouldn't as well.

Maxim Reznik | reznikmm@gmail.com | 8/16/2022 13:35:12

ARG-Editor commented 1 year ago

This seems like an oversight. I've made AI22-0050-1 for this issue.

ARG-Editor commented 1 year ago

AI22-0050-1 was approved at the ARG's November 2022 meeting.