diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-04-08 13:54:22 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-10 11:03:57 +0200 |
| commit | 9b0f70bf9391d5cc200e8122f54bc0297d4362b8 (patch) | |
| tree | a6bd3febde70b4c35e9fcc7f4593f374388a621c /gcc/ada/debug.adb | |
| parent | 21fd8c67ad297212e3cb885883cc8df8611f3040 (diff) | |
| download | gcc-9b0f70bf9391d5cc200e8122f54bc0297d4362b8.zip gcc-9b0f70bf9391d5cc200e8122f54bc0297d4362b8.tar.gz gcc-9b0f70bf9391d5cc200e8122f54bc0297d4362b8.tar.bz2 | |
ada: Refactor checks for Refined_Global in generic instances
Code cleanup; semantics is unaffected.
gcc/ada/
* sem_prag.adb (Check_In_Out_States, Check_Input_States,
Check_Output_States, Check_Proof_In_States,
Check_Refined_Global_List, Report_Extra_Constituents,
Report_Missing_Items): Remove multiple checks for being inside
an instance.
(Analyze_Refined_Global_In_Decl_Part): Add single check for
being inside an instance.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions