ada: Improve accessibility check generation
authorJustin Squirek <squirek@adacore.com>
Tue, 6 Sep 2022 15:59:59 +0000 (15:59 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 26 Sep 2022 09:02:30 +0000 (11:02 +0200)
commit63055635797e98d9cc67e53c3de44bae2f4c9939
tree2654e515ace9165363ccf9093e7266fa3fff14f0
parent9677984d7b230f4fbf22e5cd1f14ca4c976ab1ec
ada: Improve accessibility check generation

Improve accessibility check generation by more precisely identifying cases in
which an Original_Node call is needed.

Instead of grabbing the Original_Node of a prefix in all cases (since this
can cause issues where unanalyzed instance names get referenced) we only
obtain the original node when said prefix comes as a result of expanding
function calls.

gcc/ada/

* sem_util.adb
(Accessibility_Level): Modify indexed and selected components case
by reducing the scope where Original_Node gets used.
gcc/ada/sem_util.adb