1-- PR middle-end/36554 2-- Origin: Laurent Guerby <laurent@guerby.net> 3 4-- { dg-do compile } 5-- { dg-options "-O2" } 6 7package body Boolean_Expr1 is 8 9 function Long_Float_Is_Valid (X : in Long_Float) return Boolean is 10 Is_Nan : constant Boolean := X /= X; 11 Is_P_Inf : constant Boolean := X > Long_Float'Last; 12 Is_M_Inf : constant Boolean := X < Long_Float'First; 13 Is_Invalid : constant Boolean := Is_Nan or Is_P_Inf or Is_M_Inf; 14 begin 15 return not Is_Invalid; 16 end Long_Float_Is_Valid; 17 18 function S (V : in Long_Float) return String is 19 begin 20 if not Long_Float_Is_Valid (V) then 21 return "INVALID"; 22 else 23 return "OK"; 24 end if; 25 exception 26 when others => 27 return "ERROR"; 28 end S; 29 30end Boolean_Expr1; 31