diff options
| author | Robert Dewar <dewar@adacore.com> | 2011-08-01 15:59:50 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-01 17:59:50 +0200 |
| commit | 8d606a78a331b91295e7ce1e27bf12e419084093 (patch) | |
| tree | 7d4732f0abe2b223aae59d11f570aaab5a66bdf0 /gcc/ada/sem_ch4.adb | |
| parent | 1982d5a85436cb4798d3b58a6f306b33c996ff24 (diff) | |
| download | gcc-8d606a78a331b91295e7ce1e27bf12e419084093.zip gcc-8d606a78a331b91295e7ce1e27bf12e419084093.tar.gz gcc-8d606a78a331b91295e7ce1e27bf12e419084093.tar.bz2 | |
sem_ch3.adb, [...]: Minor reformatting
2011-08-01 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, prj-part.adb, par-ch4.adb,
sem_util.adb, sem_ch4.adb, sem_ch6.adb, sem_ch6.ads, sem_ch8.adb,
sem_ch8.ads, sem_ch13.ads, par-ch5.adb, prj-env.ads: Minor reformatting
From-SVN: r177055
Diffstat (limited to 'gcc/ada/sem_ch4.adb')
| -rw-r--r-- | gcc/ada/sem_ch4.adb | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 76a308d..cd247cb 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -1494,17 +1494,23 @@ package body Sem_Ch4 is begin Set_Etype (N, Any_Type); + + -- Shouldn't the following statement be down in the ELSE of the + -- following loop? ??? + Get_First_Interp (Then_Expr, I, It); - if No (Else_Expr) then - -- if no else_expression the conditional must be boolean. + -- if no Else_Expression the conditional must be boolean + + if No (Else_Expr) then Set_Etype (N, Standard_Boolean); - else - while Present (It.Nam) loop - -- For each possible intepretation of the Then Expression, - -- add it only if the else expression has a compatible type. + -- Else_Expression Present. For each possible intepretation of + -- the Then_Expression, add it only if the Else_Expression has + -- a compatible type. + else + while Present (It.Nam) loop if Has_Compatible_Type (Else_Expr, It.Typ) then Add_One_Interp (N, It.Typ, It.Typ); end if; |