From: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
Date: Thu, 9 Nov 2023 21:51:31 +0000 (+0100)
Subject: gccrs: Add multiple check on variadics position
X-Git-Tag: basepoints/gcc-15~1992
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e92ae55feab91404581ff82e49c47abe67962ed8;p=thirdparty%2Fgcc.git

gccrs: Add multiple check on variadics position

Variadics are forbidden alone as well as non final position, this should
be checked during ast validation.

gcc/rust/ChangeLog:

	* checks/errors/rust-ast-validation.cc (ASTValidation::visit): Add
	check for additional named argument as well as variadic argument's
	position.
	* checks/errors/rust-ast-validation.h: Add visit function prototype for
	external functions.

Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
---

diff --git a/gcc/rust/checks/errors/rust-ast-validation.cc b/gcc/rust/checks/errors/rust-ast-validation.cc
index 0ba73c674150..a903297d19b8 100644
--- a/gcc/rust/checks/errors/rust-ast-validation.cc
+++ b/gcc/rust/checks/errors/rust-ast-validation.cc
@@ -62,4 +62,23 @@ ASTValidation::visit (AST::ConstantItem &const_item)
   AST::ContextualASTVisitor::visit (const_item);
 }
 
+void
+ASTValidation::visit (AST::ExternalFunctionItem &item)
+{
+  auto &params = item.get_function_params ();
+
+  if (params.size () == 1 && params[0].is_variadic ())
+    rust_error_at (
+      params[0].get_locus (),
+      "C-variadic function must be declared with at least one named argument");
+
+  for (auto it = params.begin (); it != params.end (); it++)
+    if (it->is_variadic () && it + 1 != params.end ())
+      rust_error_at (
+	it->get_locus (),
+	"%<...%> must be the last argument of a C-variadic function");
+
+  AST::ContextualASTVisitor::visit (item);
+}
+
 } // namespace Rust
diff --git a/gcc/rust/checks/errors/rust-ast-validation.h b/gcc/rust/checks/errors/rust-ast-validation.h
index a21bcc44f68b..6028b21ff006 100644
--- a/gcc/rust/checks/errors/rust-ast-validation.h
+++ b/gcc/rust/checks/errors/rust-ast-validation.h
@@ -36,6 +36,7 @@ public:
   virtual void visit (AST::ConstantItem &const_item);
   virtual void visit (AST::Lifetime &lifetime);
   virtual void visit (AST::LoopLabel &label);
+  virtual void visit (AST::ExternalFunctionItem &item);
 };
 
 } // namespace Rust