diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-10 16:16:30 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-07 05:26:53 -0400 |
| commit | 62226c35545bcda44ae97630658d1ad8129ab0c6 (patch) | |
| tree | bb1043dd112ccecc93d9ac50a95651a780577704 | |
| parent | db290a9e3745e79710d836c955588845baa2bb6b (diff) | |
| download | gcc-62226c35545bcda44ae97630658d1ad8129ab0c6.zip gcc-62226c35545bcda44ae97630658d1ad8129ab0c6.tar.gz gcc-62226c35545bcda44ae97630658d1ad8129ab0c6.tar.bz2 | |
[Ada] Minor cleanup with Is_Assignable
gcc/ada/
* sem_ch5.adb (Analyze_Assignment): Reuse Is_Assignable.
| -rw-r--r-- | gcc/ada/sem_ch5.adb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index 8cce5df..4028d02 100644 --- a/gcc/ada/sem_ch5.adb +++ b/gcc/ada/sem_ch5.adb @@ -822,9 +822,7 @@ package body Sem_Ch5 is -- that of the target mutable object. if Is_Entity_Name (Lhs) - and then Ekind_In (Entity (Lhs), E_In_Out_Parameter, - E_Out_Parameter, - E_Variable) + and then Is_Assignable (Entity (Lhs)) and then Is_Composite_Type (T1) and then not Is_Constrained (Etype (Entity (Lhs))) and then Nkind_In (Rhs, N_If_Expression, N_Case_Expression) |