From e386872e9c949297b76172c6a7c703117f8026d0 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Thu, 12 Dec 2019 23:19:46 +0100 Subject: [PATCH] [Ada] Use new API when creating a special SPARK heap entity 2020-06-02 Piotr Trojanek gcc/ada/ * lib-xref-spark_specific.adb (Create_Heap): use a new variant of Name_Enter to directly converts String to Make_Id. --- 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); -- 2.30.2