diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 12:16:44 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 12:16:44 +0100 |
| commit | 5fde9688e077411aa90e1067b8fb9c1d743e4e7f (patch) | |
| tree | f21b0d91a33cad9b9a346ca381e6543fa540445a /gcc/ada/sem_res.adb | |
| parent | 6c802906a388f6816ba641f8ec83ef812ffe8fbd (diff) | |
| download | gcc-5fde9688e077411aa90e1067b8fb9c1d743e4e7f.zip gcc-5fde9688e077411aa90e1067b8fb9c1d743e4e7f.tar.gz gcc-5fde9688e077411aa90e1067b8fb9c1d743e4e7f.tar.bz2 | |
[multiple changes]
2014-11-20 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Implemented): In ASIS
(compile-only) mode, use original type declaration to determine
whether protected type implements an interface.
2014-11-20 Yannick Moy <moy@adacore.com>
* a-cfdlli.adb, a-cfdlli.ads, a-cfinve.adb, a-cfinve.ads,
* a-cofove.adb, a-cofove.ads: Mark spec as SPARK_Mode, and private
part/body as SPARK_Mode Off.
* a-cfhama.adb, a-cfhama.ads, a-cfhase.adb, a-cfhase.ads,
* a-cforma.adb, a-cforma.ads, a-cforse.adb, a-cforse.ads: Use
aspect instead of pragma for uniformity.
2014-11-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb (Is_EVF_Expression): Include
attributes 'Loop_Entry, 'Old and 'Update to the logic.
2014-11-20 Bob Duff <duff@adacore.com>
* sem_res.adb (Make_Call_Into_Operator): Don't
call Left_Opnd in the case of unary operators, because they only
have Right.
From-SVN: r217838
Diffstat (limited to 'gcc/ada/sem_res.adb')
| -rw-r--r-- | gcc/ada/sem_res.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 71f480f..90311ca 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -1794,7 +1794,7 @@ package body Sem_Res is and then Nkind (Original_Node (N)) = N_Function_Call then declare - L : constant Node_Id := Left_Opnd (N); + L : Node_Id; R : constant Node_Id := Right_Opnd (N); Old_First : constant Node_Id := @@ -1803,7 +1803,8 @@ package body Sem_Res is begin if Is_Binary then - Old_Sec := Next (Old_First); + L := Left_Opnd (N); + Old_Sec := Next (Old_First); -- If the original call has named associations, replace the -- explicit actual parameter in the association with the proper |