aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust
diff options
context:
space:
mode:
authorMuhammad Mahad <mahadtxt@gmail.com>2023-07-19 15:49:25 +0500
committerArthur Cohen <arthur.cohen@embecosm.com>2024-01-16 18:56:00 +0100
commitda58dc1a33dea1fea05636003118ef8d50fdb5f7 (patch)
treebe18705d4b69e41abca3f2785322caaa4c449ccb /gcc/rust
parent5141707b5b5dcacde76dd0760f6604451f06ef85 (diff)
downloadgcc-da58dc1a33dea1fea05636003118ef8d50fdb5f7.zip
gcc-da58dc1a33dea1fea05636003118ef8d50fdb5f7.tar.gz
gcc-da58dc1a33dea1fea05636003118ef8d50fdb5f7.tar.bz2
gccrs: [E0045] Variadic Parameters Used on Non-C ABI Function
Added error code support for using variadic parameters used on Non-C ABI function. Fixes #2382 gcc/rust/ChangeLog: * typecheck/rust-hir-type-check-implitem.cc (TypeCheckTopLevelExternItem::visit): Added check for error code support. gcc/testsuite/ChangeLog: * rust/compile/abi-vardaic.rs: New test. Signed-off-by: Muhammad Mahad <mahadtxt@gmail.com>
Diffstat (limited to 'gcc/rust')
-rw-r--r--gcc/rust/typecheck/rust-hir-type-check-implitem.cc10
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/rust/typecheck/rust-hir-type-check-implitem.cc b/gcc/rust/typecheck/rust-hir-type-check-implitem.cc
index 189dd87..92868b9 100644
--- a/gcc/rust/typecheck/rust-hir-type-check-implitem.cc
+++ b/gcc/rust/typecheck/rust-hir-type-check-implitem.cc
@@ -138,7 +138,15 @@ TypeCheckTopLevelExternItem::visit (HIR::ExternalFunctionItem &function)
uint8_t flags = TyTy::FnType::FNTYPE_IS_EXTERN_FLAG;
if (function.is_variadic ())
- flags |= TyTy::FnType::FNTYPE_IS_VARADIC_FLAG;
+ {
+ flags |= TyTy::FnType::FNTYPE_IS_VARADIC_FLAG;
+ if (parent.get_abi () != Rust::ABI::C)
+ {
+ rust_error_at (
+ function.get_locus (), ErrorCode ("E0045"),
+ "C-variadic function must have C or cdecl calling convention");
+ }
+ }
RustIdent ident{
CanonicalPath::new_seg (function.get_mappings ().get_nodeid (),