diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-12-12 23:19:46 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-02 04:58:03 -0400 |
| commit | e386872e9c949297b76172c6a7c703117f8026d0 (patch) | |
| tree | a97e9387f655d36ea74dd679cffcff6ce61bfdb7 /gcc | |
| parent | dab8e60838bf68a159046082607fc7a1a04329f6 (diff) | |
| download | gcc-e386872e9c949297b76172c6a7c703117f8026d0.zip gcc-e386872e9c949297b76172c6a7c703117f8026d0.tar.gz gcc-e386872e9c949297b76172c6a7c703117f8026d0.tar.bz2 | |
[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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index 0ad7044..460752d 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); |