diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2020-09-25 10:43:27 +0200 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-07 09:36:32 +0100 |
commit | 8f077c4d05876bf952c86131e477d21dc5d4492b (patch) | |
tree | a0a1ff0b0855c48d0e44929b186cd3e4fc452dcf /ar-lib | |
parent | f073f3355643587073ce224563f509332043c381 (diff) | |
download | gcc-8f077c4d05876bf952c86131e477d21dc5d4492b.zip gcc-8f077c4d05876bf952c86131e477d21dc5d4492b.tar.gz gcc-8f077c4d05876bf952c86131e477d21dc5d4492b.tar.bz2 |
ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprove
Move routine Enclosing_Declaration_Or_Statement from body of Sem_Res to spec
of Sem_Util, so it can be reused. In particular, GNATprove needs this
functionality to climb from an arbitrary subexpression with target_name (@)
to the enclosing assignment statement. Behaviour of the compiler is
unaffected.
gcc/ada/
* sem_res.adb (Enclosing_Declaration_Or_Statement): Moved to
Sem_Util.
* sem_util.ads (Enclosing_Declaration_Or_Statement): Moved from
Sem_Res.
* sem_util.adb (Enclosing_Declaration_Or_Statement): Likewise.
Diffstat (limited to 'ar-lib')
0 files changed, 0 insertions, 0 deletions