[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 28 Apr 2017 13:25:02 +0000 (15:25 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 28 Apr 2017 13:25:02 +0000 (15:25 +0200)
2017-04-27  Gary Dismukes  <dismukes@adacore.com>

* exp_util.adb: Minor reformatting.

2017-04-27  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb: Fix copy/pasto.

From-SVN: r247381

gcc/ada/ChangeLog
gcc/ada/exp_util.adb
gcc/ada/sem_ch4.adb

index 3bab80e278890f2767880de9615a9de4b143daa4..ce8aa6fbdadc392cef55812d86371b74a8ae0f5b 100644 (file)
@@ -1,3 +1,11 @@
+2017-04-27  Gary Dismukes  <dismukes@adacore.com>
+
+       * exp_util.adb: Minor reformatting.
+
+2017-04-27  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch4.adb: Fix copy/pasto.
+
 2017-04-27  Tristan Gingold  <gingold@adacore.com>
 
        * gcc-interface/Make-lang.in: Define EH_MECHANISM while building
index 056a034078eb353464f7f15b9e936d0d173b5fca..0430d6475587076f1992127c5c5d145d8355ec5d 100644 (file)
@@ -1118,7 +1118,7 @@ package body Exp_Util is
                --  GNATprove mode, we must build a wrapper for the current
                --  inherited operation. If the reference is the prefix of an
                --  attribute such as 'Result (or others ???) there is no need
-               --  for a wrapper: the condition is just  rewritten in terms of
+               --  for a wrapper: the condition is just rewritten in terms of
                --  the inherited subprogram.
 
                if Is_Subprogram (New_E)
index 41e6ca5a10a881070da0d5da2cc4f1e3ff989d64..21ab45478aecda6e9f5f63b19dbbaf5dc74a0d50 100644 (file)
@@ -7373,7 +7373,7 @@ package body Sem_Ch4 is
                   if Nkind (Right_Opnd (N)) = N_Integer_Literal then
                      Remove_Address_Interpretations (Second_Op);
 
-                  elsif Nkind (Right_Opnd (N)) = N_Integer_Literal then
+                  elsif Nkind (Left_Opnd (N)) = N_Integer_Literal then
                      Remove_Address_Interpretations (First_Op);
                   end if;
                end if;