projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e3795d) | patch
[Ada] Avoid spurious errors on Global/Depends in instantiations
authorYannick Moy <moy@adacore.com>
Fri, 13 Dec 2019 09:04:01 +0000 (09:04 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 13 Dec 2019 09:04:01 +0000 (09:04 +0000)
commit0a8ff576dbd2806fef992e52e1148a84dabebe5d
tree02d349d26f4422d550af1b392f0e1c8f5c125c20tree
parent2e3795d016a7263c82a4f64a7204f416d12a72dacommit | diff
[Ada] Avoid spurious errors on Global/Depends in instantiations

2019-12-13  Yannick Moy  <moy@adacore.com>

gcc/ada/

* sem_prag.adb (Analyze_Depends_In_Decl_Part,
Analyze_Global_In_Decl_Part,
Analyze_Refined_Depends_In_Decl_Part,
Analyze_Refined_Global_In_Decl_Part, Check_Missing_Part_Of):
Skip redundant checking involving visibility inside
instantiations.

From-SVN: r279348
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history