From 545d3e65ad4b45dc1ad7991a18e99b755ce9cbbf Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Thu, 23 Jan 2014 16:53:34 +0000 Subject: gnatlink.adb (Gnatlink): Check for suspicious executable file names on windows. 2014-01-23 Robert Dewar * gnatlink.adb (Gnatlink): Check for suspicious executable file names on windows. 2014-01-23 Robert Dewar * a-ngelfu.ads: Remove bad uses of AND which should be AND THEN. * sem_res.adb (Check_No_Direct_Boolean_Operators): Don't give style errors in instances. * g-dynhta.ads (Static_HTable): Comment updates. From-SVN: r206986 --- gcc/ada/a-ngelfu.ads | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'gcc/ada/a-ngelfu.ads') diff --git a/gcc/ada/a-ngelfu.ads b/gcc/ada/a-ngelfu.ads index 91e1cf7cf51..0d551015711 100644 --- a/gcc/ada/a-ngelfu.ads +++ b/gcc/ada/a-ngelfu.ads @@ -103,27 +103,27 @@ package Ada.Numerics.Generic_Elementary_Functions is (Y : Float_Type'Base; X : Float_Type'Base := 1.0) return Float_Type'Base with - Post => (if X > 0.0 and Y = 0.0 then Arctan'Result = 0.0); + Post => (if X > 0.0 and then Y = 0.0 then Arctan'Result = 0.0); function Arctan (Y : Float_Type'Base; X : Float_Type'Base := 1.0; Cycle : Float_Type'Base) return Float_Type'Base with - Post => (if X > 0.0 and Y = 0.0 then Arctan'Result = 0.0); + Post => (if X > 0.0 and then Y = 0.0 then Arctan'Result = 0.0); function Arccot (X : Float_Type'Base; Y : Float_Type'Base := 1.0) return Float_Type'Base with - Post => (if X > 0.0 and Y = 0.0 then Arccot'Result = 0.0); + Post => (if X > 0.0 and then Y = 0.0 then Arccot'Result = 0.0); function Arccot (X : Float_Type'Base; Y : Float_Type'Base := 1.0; Cycle : Float_Type'Base) return Float_Type'Base with - Post => (if X > 0.0 and Y = 0.0 then Arccot'Result = 0.0); + Post => (if X > 0.0 and then Y = 0.0 then Arccot'Result = 0.0); function Sinh (X : Float_Type'Base) return Float_Type'Base with Post => (if X = 0.0 then Sinh'Result = 0.0); -- cgit v1.2.1