diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-06-16 18:24:42 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-06-16 18:24:42 +0200 |
| commit | e1578ff354a8d03c4c46eaef6825d0b77885d6a3 (patch) | |
| tree | 87cd5971eecf2514feac771b289edf1011fd3459 | |
| parent | 3f165ff29a1aec939b43a498b1899b21bc50366b (diff) | |
| download | gcc-e1578ff354a8d03c4c46eaef6825d0b77885d6a3.zip gcc-e1578ff354a8d03c4c46eaef6825d0b77885d6a3.tar.gz gcc-e1578ff354a8d03c4c46eaef6825d0b77885d6a3.tar.bz2 | |
Complete previous change.
From-SVN: r160848
| -rw-r--r-- | gcc/ada/sem_warn.adb | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index 7a5414f..7fc0804 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -3507,16 +3507,26 @@ package body Sem_Warn is and then Is_Known_Branch then declare + Start : Source_Ptr; + Dummy : Source_Ptr; + Typ : Character; Atrue : Boolean; begin + Sloc_Range (Orig, Start, Dummy); Atrue := Test_Result; if Present (Parent (C)) and then Nkind (Parent (C)) = N_Op_Not then Atrue := not Atrue; end if; - Set_SCO_Condition (Orig, Atrue); + if Atrue then + Typ := 't'; + else + Typ := 'f'; + end if; + + Set_SCO_Condition (Start, Typ); end; end if; |