]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14aef59) | patch
ada: gnatbind-related cleanups
authorBob Duff <duff@adacore.com>
Thu, 7 Mar 2024 12:43:26 +0000 (07:43 -0500)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 17 May 2024 08:21:01 +0000 (10:21 +0200)
commita0c87f1bb76e8afa22e0b585441dff612b90e88f
tree4e37b9aca696d43ed23e78294992122384500560tree
parent14aef595f01707c54926788346960b909ebea3b7commit | diff
ada: gnatbind-related cleanups

This patch cleans up some things noticed while working on gnatbind.
No change in behavior yet.

gcc/ada/

* ali-util.adb (Read_Withed_ALIs): Minor reformatting.
* bindo-units.adb (Corresponding_Body): Add assert.
(Corresponding_Spec): Likewise.
* uname.adb: Clean up assertions, use available functions.
Get_Spec_Name/Get_Body_Name can assert that N obeys the
conventions for Unit_Name_Type (end in "%s" or "%b").
gcc/ada/ali-util.adb diff | blob | blame | history
gcc/ada/bindo-units.adb diff | blob | blame | history
gcc/ada/uname.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git