ada: Minor consistency tweaks in Sem_Ch4
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 20 Oct 2022 09:05:16 +0000 (11:05 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 8 Nov 2022 08:35:00 +0000 (09:35 +0100)
commit270713d3f65243a089f4cdee04cd689422a95530
tree56da8b75f7771779e7157639ec240b929314130a
parent786c6ba5a51f54c404dd491523788f7359a29a91
ada: Minor consistency tweaks in Sem_Ch4

This ensures that, during the analysis of the qualified expressions, type
conversions and unchecked type conversions, the determination of the type
of the node and the analysis of its expression are done in the same order.

No functional changes.

gcc/ada/

* sem_ch4.adb (Analyze_Qualified_Expression): Analyze the
expression only after setting the type.
(Analyze_Unchecked_Type_Conversion): Likewise.
(Analyze_Short_Circuit): Likewise for the operands.
(Analyze_Type_Conversion): Minor tweaks.
(Analyze_Unchecked_Expression): Likewise.
gcc/ada/sem_ch4.adb