11 lines
334 B
Ada
11 lines
334 B
Ada
-- { dg-do compile }
|
|
|
|
procedure Warn27 is
|
|
Dummy : Boolean;
|
|
|
|
pragma Compile_Time_Warning (Dummy, "warning"); -- { dg-warning "condition is not known at compile time" }
|
|
pragma Compile_Time_Error (Dummy, "error"); -- { dg-warning "condition is not known at compile time" }
|
|
begin
|
|
pragma Unreferenced (Dummy);
|
|
end Warn27;
|