gcc/testsuite/gnat.dg/warn27.adb

   1 --  { dg-do compile }
   2
   3 procedure Warn27 is
   4    Dummy : Boolean;
   5
   6    pragma Compile_Time_Warning (Dummy, "warning");  --  { dg-warning "condition is not known at compile time" }
   7    pragma Compile_Time_Error (Dummy, "error");  --  { dg-warning "condition is not known at compile time" }
   8 begin
   9    pragma Unreferenced (Dummy);
  10 end Warn27;