]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21fd8c6) | patch
ada: Refactor checks for Refined_Global in generic instances
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 8 Apr 2024 11:54:22 +0000 (13:54 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 10 Jun 2024 09:03:57 +0000 (11:03 +0200)
commit9b0f70bf9391d5cc200e8122f54bc0297d4362b8
treea6bd3febde70b4c35e9fcc7f4593f374388a621ctree
parent21fd8c67ad297212e3cb885883cc8df8611f3040commit | diff
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.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git