1 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/boolean_expr1.adb b/gcc/testsuite/gnat.dg/boolean_expr1.adb
new file mode 100644
index 000000000..ddfe32bfb
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/boolean_expr1.adb
@@ -0,0 +1,30 @@
+-- PR middle-end/36554
+-- Origin: Laurent Guerby <laurent@guerby.net>
+
+-- { dg-do compile }
+-- { dg-options "-O2" }
+
+package body Boolean_Expr1 is
+
+   function Long_Float_Is_Valid (X : in Long_Float) return Boolean is
+      Is_Nan : constant Boolean := X /= X;
+      Is_P_Inf : constant Boolean := X > Long_Float'Last;
+      Is_M_Inf : constant Boolean := X < Long_Float'First;
+      Is_Invalid : constant Boolean := Is_Nan or Is_P_Inf or Is_M_Inf;
+   begin
+      return not Is_Invalid;
+   end Long_Float_Is_Valid;
+
+   function S (V : in Long_Float) return String is
+   begin
+      if not Long_Float_Is_Valid (V) then
+         return "INVALID";
+      else
+         return "OK";
+      end if;
+   exception
+      when others =>
+         return "ERROR";
+   end S;
+
+end Boolean_Expr1;