PR tree-optimization/81303
[official-gcc.git] / gcc / testsuite / gnat.dg / warn13.adb
blob2a9c4e392ccf891ae6e12e06dedda0d834437294
1 -- { dg-compile }
3 procedure Warn13 is
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" }
9 begin
10 null;
11 end;