[gcc/devel/c++-modules] [Ada] Use new API when creating a special SPARK heap entity

[gcc/devel/c++-modules] [Ada] Use new API when creating a special SPARK heap entity

[Nathan Sidwell]

https://gcc.gnu.org/g:e386872e9c949297b76172c6a7c703117f8026d0

commit e386872e9c949297b76172c6a7c703117f8026d0
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Thu Dec 12 23:19:46 2019 +0100

    [Ada] Use new API when creating a special SPARK heap entity
    
    2020-06-02  Piotr Trojanek  <trojanek@adacore.com>
    
    gcc/ada/
    
            * lib-xref-spark_specific.adb (Create_Heap): use a new variant
            of Name_Enter to directly converts String to Make_Id.

Diff:
---
 gcc/ada/lib-xref-spark_specific.adb | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb
index 0ad704454f4..460752d4c7e 100644
--- a/gcc/ada/lib-xref-spark_specific.adb
+++ b/gcc/ada/lib-xref-spark_specific.adb
@@ -291,10 +291,10 @@ package body SPARK_Specific is
 
       procedure Create_Heap is
       begin
-         Name_Len := Name_Of_Heap_Variable'Length;
-         Name_Buffer (1 .. Name_Len) := Name_Of_Heap_Variable;
-
-         Heap := Make_Defining_Identifier (Standard_Location, Name_Enter);
+         Heap :=
+           Make_Defining_Identifier
+             (Standard_Location,
+              Name_Enter (Name_Of_Heap_Variable));
 
          Set_Ekind       (Heap, E_Variable);
          Set_Is_Internal (Heap, True);