diff options
| author | Steve Baird <baird@adacore.com> | 2019-12-12 10:03:43 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-12 10:03:43 +0000 |
| commit | 97b2ffb81fdef1f0c2dc3ec337a9d9a61f3b98fc (patch) | |
| tree | 8cb96956fab8552d2c8f818becd4a78fc56d7484 /gcc/tree-vectorizer.h | |
| parent | 93350089be1a068328192eb1a89f232099d0f0c7 (diff) | |
| download | gcc-97b2ffb81fdef1f0c2dc3ec337a9d9a61f3b98fc.zip gcc-97b2ffb81fdef1f0c2dc3ec337a9d9a61f3b98fc.tar.gz gcc-97b2ffb81fdef1f0c2dc3ec337a9d9a61f3b98fc.tar.bz2 | |
[Ada] Tighten up semantic checking for protected subprogram declarations
2019-12-12 Steve Baird <baird@adacore.com>
gcc/ada/
* sem_ch6.adb
(New_Overloaded_Entity.Check_Conforming_Paramters): Add new
Conformance_Type parameter. With the value of
Subtype_Conformant, the behavior of Check_Conforming_Parameters
is unchanged. The call in Matching_Entry_Or_Subprogram to
instead passes in Type_Conformant. This corresponds to the use
of "type conformant" in Ada RM 9.4(11.4/3).
(New_Overloaded_Entity.Has_Matching_Entry_Or_Subprogram): Add
new Normalized_First_Parameter_Type function to help in ignoring
the distinction between protected and access-to-protected first
parameters when checking prefixed-view profile matching. Replace
computations of the type of the first parameter with calls to
this function as appropriate.
From-SVN: r279303
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions