-- { dg-compile } | |
procedure Warn13 is | |
pragma Warnings ("-Wbogus"); -- { dg-warning "unknown" } | |
pragma Warnings ("-Werror"); -- { dg-warning "does not control warning" } | |
pragma Warnings ("-Wformat"); -- { dg-warning "switch not valid for Ada" } | |
begin | |
null; | |
end; |