Add Rust rule counterpart

Author: lucic71

rule-preprocessor/src/ir.rs

@@ -57,6 +57,8 @@ pub struct FnIr {
     pub params: Option<BTreeMap<String, TypeInfo>>,
     #[serde(skip_serializing_if = "Option::is_none")]
     pub return_type: Option<TypeInfo>,
+    #[serde(skip_serializing_if = "Option::is_none")]
+    pub is_variadic: Option<bool>,
 }
 
 impl FnIr {
@@ -104,7 +106,10 @@ impl FnIr {
             1,
             &format!("Rule {name} generics"),
         );
-        assert!(!self.body.is_empty(), "Rule {name}: body must not be empty");
+        assert!(
+            self.is_variadic == Some(true) || !self.body.is_empty(),
+            "Rule {name}: body must not be empty"
+        );
     }
 }
 

rule-preprocessor/src/syntactic.rs

@@ -415,6 +415,14 @@ impl<'a> FnIrBuilder<'a> {
             .unwrap_or(Access::Read)
     }
 
+    fn is_variadic(&self) -> bool {
+        self.fn_item
+            .param_list()
+            .into_iter()
+            .flat_map(|pl| pl.params())
+            .any(|p| p.dotdotdot_token().is_some())
+    }
+
     fn returns_mut_ref(&self) -> bool {
         self.fn_item
             .ret_type()
@@ -516,6 +524,7 @@ impl<'a> FnIrBuilder<'a> {
             },
             multi_statement,
             body,
+            is_variadic: self.is_variadic().then_some(true),
         };
         ir.validate(&format!("{}:{}", path.display(), fn_name));
         ir

rules/fcntl/tgt_unsafe.rs

@@ -0,0 +1,7 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+unsafe extern "C" {
+    fn f1(a0: i32, a1: i32, ...) -> i32;
+    fn f2(a0: *const u8, a1: i32, ...) -> i32;
+}

rules/ioctl/tgt_unsafe.rs

@@ -0,0 +1,6 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+unsafe extern "C" {
+    fn f1(a0: i32, a1: u64, ...) -> i32;
+}

rules/src/modules.rs

@@ -38,12 +38,16 @@ pub mod deque_tgt_refcount;
 pub mod deque_tgt_unsafe;
 #[path = r#"../errno/tgt_unsafe.rs"#]
 pub mod errno_tgt_unsafe;
+#[path = r#"../fcntl/tgt_unsafe.rs"#]
+pub mod fcntl_tgt_unsafe;
 #[path = r#"../fstream/tgt_refcount.rs"#]
 pub mod fstream_tgt_refcount;
 #[path = r#"../fstream/tgt_unsafe.rs"#]
 pub mod fstream_tgt_unsafe;
 #[path = r#"../initializer_list/tgt_unsafe.rs"#]
 pub mod initializer_list_tgt_unsafe;
+#[path = r#"../ioctl/tgt_unsafe.rs"#]
+pub mod ioctl_tgt_unsafe;
 #[path = r#"../iomanip/tgt_unsafe.rs"#]
 pub mod iomanip_tgt_unsafe;
 #[path = r#"../iostream/tgt_refcount.rs"#]

rules/stdio/tgt_unsafe.rs

@@ -85,3 +85,7 @@ unsafe fn f19(a0: *mut ::libc::FILE, a1: i64, a2: i32) -> i32 {
 unsafe fn f20(a0: i32, a1: *const u8) -> *mut ::libc::FILE {
     libc::fdopen(a0, a1 as *const i8)
 }
+
+unsafe extern "C" {
+    fn f21(a0: *mut u8, a1: u64, a2: *const u8, ...) -> i32;
+}