2 // { dg-options "-ftime-report" }
3 // { dg-allow-blank-lines-in-output 1 }
4 // { dg-prune-output "wall" }
5 // { dg-prune-output "times" }
6 // { dg-prune-output "TOTAL" }
7 // { dg-prune-output "checks" }
12 goto lab; // { dg-error "not defined" }