void f() { return 0; }          // { dg-error "return-statement" }