Skip to content

Commit 4e5b9bd

Browse files
committed
Delete snprintf rule
1 parent 937fe84 commit 4e5b9bd

1 file changed

Lines changed: 0 additions & 10 deletions

File tree

‎rules/stdio/tgt_refcount.rs‎

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -213,16 +213,6 @@ fn f19(a0: Ptr<::std::fs::File>, a1: i64, a2: i32) -> i32 {
213213
}
214214
}
215215

216-
fn f21(a0: Ptr<u8>, a1: usize, a2: Ptr<u8>, va: &[VaArg]) -> i32 {
217-
panic!(
218-
"snprintf is not supported in the refcount model (buf_is_null={}, size={}, fmt={:?}, varargs={})",
219-
a0.is_null(),
220-
a1,
221-
a2.to_rust_string(),
222-
va.len()
223-
)
224-
}
225-
226216
fn f22(a0: Ptr<u8>, a1: Ptr<u8>) -> i32 {
227217
match ::std::fs::rename(a0.to_rust_string(), a1.to_rust_string()) {
228218
Ok(()) => 0,

0 commit comments

Comments
 (0)