]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dab8e60) | patch
[Ada] Use new API when creating a special SPARK heap entity
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 12 Dec 2019 22:19:46 +0000 (23:19 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 2 Jun 2020 08:58:03 +0000 (04:58 -0400)
commite386872e9c949297b76172c6a7c703117f8026d0
treea97e9387f655d36ea74dd679cffcff6ce61bfdb7tree | snapshot
parentdab8e60838bf68a159046082607fc7a1a04329f6commit | diff
[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.
gcc/ada/lib-xref-spark_specific.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git