diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-12-01 12:03:10 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-03 05:28:28 -0400 |
| commit | 94f994283846fa3f01d7b6556b59da5509a55a60 (patch) | |
| tree | d2bad10892ffa035cedbccd85f1723ca88d68687 /gcc/ada/sem_ch5.adb | |
| parent | 3bcf8298d767a39e7f5226cc9edc6f7cae2980a7 (diff) | |
| download | gcc-94f994283846fa3f01d7b6556b59da5509a55a60.zip gcc-94f994283846fa3f01d7b6556b59da5509a55a60.tar.gz gcc-94f994283846fa3f01d7b6556b59da5509a55a60.tar.bz2 | |
[Ada] Reuse a wrapper for Resolve with implicit type where possible
gcc/ada/
* sem_attr.adb (Analyze_Attribute): Reuse Resolve with implicit
type when analysing attribute Priority.
* sem_ch5.adb (Analyze_Case_Statement): Likewise for a rare case
in analysis of case statements.
(Analyze_Iterator_Specification): Likewise for non-overloaded
domain of iteration.
Diffstat (limited to 'gcc/ada/sem_ch5.adb')
| -rw-r--r-- | gcc/ada/sem_ch5.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index ccde8a5..f03467f 100644 --- a/gcc/ada/sem_ch5.adb +++ b/gcc/ada/sem_ch5.adb @@ -1509,7 +1509,7 @@ package body Sem_Ch5 is and then Present (Full_View (Etype (Exp))) and then Is_Discrete_Type (Full_View (Etype (Exp))) then - Resolve (Exp, Etype (Exp)); + Resolve (Exp); Exp_Type := Full_View (Etype (Exp)); else @@ -2360,7 +2360,7 @@ package body Sem_Ch5 is -- Domain of iteration is not overloaded else - Resolve (Iter_Name, Etype (Iter_Name)); + Resolve (Iter_Name); end if; if not Of_Present (N) then |