gcc/testsuite/gnat.dg/cond_expr2.ads

package Cond_Expr2 is

  function F (X : integer) return String;

end Cond_Expr2;