diff options
-rw-r--r-- | gcc/ada/spark_xrefs.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index 88a34c5..ffd7268 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -57,7 +57,8 @@ package SPARK_Xrefs is Heap : Entity_Id := Empty; -- A special entity which denotes the heap object; it should be considered -- constant, but needs to be variable, because it can only be initialized - -- after the node tables are created. + -- after the node tables are created. Also, it is only created if there is + -- an actual need for it, and remains Empty otherwise. ----------------- -- Subprograms -- |