Next: No_Implicit_Protected_Object_Allocations, Previous: No_Implicit_Dynamic_Code, Up: Partition-Wide Restrictions [Contents][Index]
[RM D.7] No constructs are allowed to cause implicit heap allocation.