1-- { dg-compile }
2
3procedure Warn13 is
4
5 pragma Warnings ("-Wbogus"); -- { dg-warning "unknown" }
6 pragma Warnings ("-Werror"); -- { dg-warning "does not control warning" }
7 pragma Warnings ("-Wformat"); -- { dg-warning "switch not valid for Ada" }
8
9begin
10 null;
11end;
12