https://gcc.gnu.org/g:ca5ccfc43ce8ea8e6426ee3a664eb6cfb6a97675
commit ca5ccfc43ce8ea8e6426ee3a664eb6cfb6a97675
Author: Pierre-Emmanuel Patry <pierre-emmanuel.pa...@embecosm.com>
Date: Thu Nov 9 23:29:05 2023 +0100
Add new test for invalid variadics
Highlight invalid variadic filtering through the ast validation checker.
gcc/testsuite/ChangeLog:
* rust/compile/invalid_variadics.rs: New test.
Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.pa...@embecosm.com>
Diff:
---
gcc/testsuite/rust/compile/invalid_variadics.rs | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/testsuite/rust/compile/invalid_variadics.rs
b/gcc/testsuite/rust/compile/invalid_variadics.rs
new file mode 100644
index 000000000000..5706b673791b
--- /dev/null
+++ b/gcc/testsuite/rust/compile/invalid_variadics.rs
@@ -0,0 +1,6 @@
+extern "C" {
+ pub fn dog(b: i32, a: ..., c: i32);
+ // { dg-error "..... must be the last argument of a C-variadic function"
"" { target *-*-* } .-1 }
+ pub fn cat(a: ...);
+ // { dg-error "C-variadic function must be declared with at least one
named argument" "" { target *-*-* } .-1 }
+}
