]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b0f70b) | patch
ada: Refactor checks for Refined_Depends in generic instances
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 8 Apr 2024 16:00:05 +0000 (18:00 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 10 Jun 2024 09:03:57 +0000 (11:03 +0200)
commit7ec7b5ae9f1d9ade520bc9e658eae5f1d6e75055
treedb89be7680b5b8ddabbe3a26f59fdebe594dabf8tree
parent9b0f70bf9391d5cc200e8122f54bc0297d4362b8commit | diff
ada: Refactor checks for Refined_Depends in generic instances

Code cleanup; semantics is unaffected.

gcc/ada/

* sem_prag.adb (Check_Dependency_Clause, Check_Output_States,
Report_Extra_Clauses): Remove multiple checks for being inside
an instance.
(Analyze_Refined_Depends_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