@@ -132,10 +132,14 @@ ASTValidation::visit (AST::Function &function)
rust_error_at (function.get_locus (), "free function without a body");
}
- if (function.is_variadic ())
- rust_error_at (
- function.get_function_params ().back ()->get_locus (),
- "only foreign or %<unsafe extern \"C\"%> functions may be C-variadic");
+ auto &function_params = function.get_function_params ();
+ for (auto it = function_params.begin (); it != function_params.end (); it++)
+ {
+ if (it->get ()->is_variadic ())
+ rust_error_at (it->get ()->get_locus (),
+ "only foreign or %<unsafe extern \"C\"%> functions may "
+ "be C-variadic");
+ }
AST::ContextualASTVisitor::visit (function);
}
new file mode 100644
@@ -0,0 +1,17 @@
+fn myfun0(...,_:i32) {}
+// { dg-error "only foreign or .unsafe extern \"C\". functions may be C-variadic" "" { target *-*-* } .-1 }
+
+fn myfun1(a:i32,...,_:i32) {}
+// { dg-error "only foreign or .unsafe extern \"C\". functions may be C-variadic" "" { target *-*-* } .-1 }
+
+struct z {
+ x: f64,
+ y: f64,
+}
+
+impl z {
+ fn new(x: f64, ..., y: f64) -> z {
+ // { dg-error "only foreign or .unsafe extern \"C\". functions may be C-variadic" "" { target *-*-* } .-1 }
+ z { x: x, y: y }
+ }
+}
\ No newline at end of file