gcc/testsuite/gnat.dg/cond_expr2.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnat12" }
   3
   4 package body Cond_Expr2 is
   5
   6   function F (X : integer) return String is
   7   begin
   8     return (if X > 0 then "positive" else "negative");
   9   end;
  10
  11 end Cond_Expr2;