From: Piotr Trojanek <trojanek@adacore.com>
Date: Thu, 12 Dec 2019 22:19:46 +0000 (+0100)
Subject: [Ada] Use new API when creating a special SPARK heap entity
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e386872e9c949297b76172c6a7c703117f8026d0;p=gcc.git

[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 --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);