aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/inline.adb
diff options
context:
space:
mode:
authorYannick Moy <moy@adacore.com>2024-04-26 17:08:08 +0200
committerMarc Poulhiès <poulhies@adacore.com>2024-06-13 15:30:32 +0200
commit047135cfed8c4c3950bda207dc87d33ca4c154ea (patch)
treed430cc7171d8bb1b82e27e82c95f2c0953e75cde /gcc/ada/inline.adb
parent5c45881bf57fa1ae593b5cab8f4db67506470ff9 (diff)
downloadgcc-047135cfed8c4c3950bda207dc87d33ca4c154ea.zip
gcc-047135cfed8c4c3950bda207dc87d33ca4c154ea.tar.gz
gcc-047135cfed8c4c3950bda207dc87d33ca4c154ea.tar.bz2
ada: List subprogram body entities in scopes
Add entities of kind E_Subprogram_Body to the list of entities associated to a given scope. This ensures that representation information is correctly output for object and type declarations inside these subprogram bodies. This is useful for outputing that information fron the compiler with the switch -gnatR, as well as for getting precise representation information inside GNATprove. Remove ad-hoc code inside repinfo.adb that retrieved this information in only some cases. gcc/ada/ * exp_ch5.adb (Expand_Iterator_Loop_Over_Container): Skip entities of kind E_Subprogram_Body. * repinfo.adb (List_Entities): Remove special case for subprogram bodies. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): List subprogram body entities in the enclosing scope.
Diffstat (limited to 'gcc/ada/inline.adb')
0 files changed, 0 insertions, 0 deletions