mirror/gcc
1
0
Fork 0
mirror of https://github.com/gcc-mirror/gcc.git synced 2024-11-21 13:40:47 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

gccrs: Add variadic check on function params

Browse Source 
gcc/rust/ChangeLog:

	* checks/errors/rust-ast-validation.cc (ASTValidation::visit):
	Add variadic check on all parameters.

gcc/testsuite/ChangeLog:

	* rust/compile/issue-2850.rs: New test.

Signed-off-by: 0xn4utilus <gyanendrabanjare8@gmail.com>
This commit is contained in:
0xn4utilus 2024-02-14 22:19:15 +05:30 committed by Arthur Cohen
parent cdd7638241
commit e7c1948fbc
2 changed files with 25 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gcc/rust/checks/errors/rust-ast-validation.cc
View File

@ -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);
}

17
gcc/testsuite/rust/compile/issue-2850.rs Normal file
View File

@ -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 }
}
}