ada: Reuse routine for getting from body entity to spec entity
commit204ecf39ca639cf77de1cc4a510a369fa2f91798
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 29 Mar 2023 14:41:44 +0000 (29 16:41 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 29 May 2023 08:23:19 +0000 (29 10:23 +0200)
tree9d5bf360204cb98731845b18a9f90508e64ddb12
parenta17e01a6ce3956d79454047bfe4a3a405e89be7f
ada: Reuse routine for getting from body entity to spec entity

Cleanup related to handling of access-to-subprogram types with Pre and
Post aspects. Behavior is unaffected.

gcc/ada/

* sem_util.adb (Check_Result_And_Post_State): Replace low-level
navigation with a high-level Unique_Entity.
gcc/ada/sem_util.adb