diff options
| author | Yannick Moy <moy@adacore.com> | 2024-06-17 11:57:55 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-07-02 15:20:34 +0200 |
| commit | 487c9df60263baf92c121b986ce19259a8c769d1 (patch) | |
| tree | 2249f5cd1a4b60375437d187d44a723d01ade64b /gcc/dwarf2ctf.cc | |
| parent | 693985f4d83c38a59967b98a9c700aaccd07e245 (diff) | |
| download | gcc-487c9df60263baf92c121b986ce19259a8c769d1.zip gcc-487c9df60263baf92c121b986ce19259a8c769d1.tar.gz gcc-487c9df60263baf92c121b986ce19259a8c769d1.tar.bz2 | |
ada: Fix analysis of Extensions_Visible
Pragma/aspect Extensions_Visible should be analyzed before any
pre/post contracts on a subprogram, as the legality of conversions
of formal parameters to classwide type depends on the value of
Extensions_Visible. Now fixed.
gcc/ada/
* contracts.adb (Analyze_Pragmas_In_Declarations): Analyze
pragmas in two iterations over the list of declarations in
order to analyze some pragmas before others.
* einfo-utils.ads (Get_Pragma): Fix comment.
* sem_prag.ads (Pragma_Significant_To_Subprograms): Fix.
(Pragma_Significant_To_Subprograms_Analyzed_First): Add new
global array to identify these pragmas which should be analyzed
first, which concerns only Extensions_Visible for now.
Diffstat (limited to 'gcc/dwarf2ctf.cc')
0 files changed, 0 insertions, 0 deletions