From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1059) id E67943952000; Thu, 11 Jun 2020 13:03:10 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E67943952000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1591880590; bh=f7i5329IB5zAk0JXDhih1TQ3LZ+fEXW30ODQejzt0tI=; h=From:To:Subject:Date:From; b=tBUUpqL4dfaOdtNpQHv4Ia5JGLivaNrhBm+b0WK/x/8PkeV3lFFvLW+fnUAGqowz4 6KiQTvZeZjFaiZlwsgcpz/E2j3IZDEPMXsE3yeBsAsKaM8FyBGZ2v2IBLFqMilsbwJ q3j91NUgrMvNIrHrlfraA7tWJTCV+LGwTyHnE0fs= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Nathan Sidwell To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/c++-modules] [Ada] Use new API when creating a special SPARK heap entity X-Act-Checkin: gcc X-Git-Author: Piotr Trojanek X-Git-Refname: refs/heads/devel/c++-modules X-Git-Oldrev: dab8e60838bf68a159046082607fc7a1a04329f6 X-Git-Newrev: e386872e9c949297b76172c6a7c703117f8026d0 Message-Id: <20200611130310.E67943952000@sourceware.org> Date: Thu, 11 Jun 2020 13:03:10 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 11 Jun 2020 13:03:11 -0000 https://gcc.gnu.org/g:e386872e9c949297b76172c6a7c703117f8026d0 commit e386872e9c949297b76172c6a7c703117f8026d0 Author: Piotr Trojanek 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 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);