Use with_slice_mut

Author: lucic71

rules/pwd/tgt_refcount.rs

@@ -31,13 +31,12 @@ fn f2(a0: u32, a1: Ptr<Passwd>, a2: Ptr<u8>, a3: usize, a4: Ptr<Ptr<Passwd>>) ->
                 let mut __off: usize = 0;
                 for __s in &__strs {
                     __ptrs.push(__buf.offset(__off));
-                    let mut __dst = __buf.offset(__off);
-                    for __b in __s.iter() {
-                        __dst.write(*__b);
-                        __dst += 1;
-                    }
-                    __dst.write(0);
-                    __off += __s.len() + 1;
+                    let __end = __s.len();
+                    __buf.offset(__off).with_slice_mut(__end + 1, |__sl| {
+                        __sl[..__end].copy_from_slice(__s);
+                        __sl[__end] = 0;
+                    });
+                    __off += __end + 1;
                 }
                 __pwbuf.with_mut(|__pw| *__pw = Passwd::from_user_in(&__u, &__ptrs));
                 __out.write(__pwbuf.clone());

tests/unit/out/refcount/pwd.rs

@@ -89,13 +89,12 @@ pub fn test_getpwuid_r_2() {
                         let mut __off: usize = 0;
                         for __s in &__strs {
                             __ptrs.push(__buf.offset(__off));
-                            let mut __dst = __buf.offset(__off);
-                            for __b in __s.iter() {
-                                __dst.write(*__b);
-                                __dst += 1;
-                            }
-                            __dst.write(0);
-                            __off += __s.len() + 1;
+                            let __end = __s.len();
+                            __buf.offset(__off).with_slice_mut(__end + 1, |__sl| {
+                                __sl[..__end].copy_from_slice(__s);
+                                __sl[__end] = 0;
+                            });
+                            __off += __end + 1;
                         }
                         __pwbuf.with_mut(|__pw| *__pw = Passwd::from_user_in(&__u, &__ptrs));
                         __out.write(__pwbuf.clone());
@@ -170,6 +169,7 @@ pub fn test_getpwuid_r_erange_3() {
     ));
     let result: Value<Ptr<libcc2rs::Passwd>> =
         Rc::new(RefCell::new(Ptr::<libcc2rs::Passwd>::null()));
+    libcc2rs::cpp2rust_errno().write(0);
     assert!(
         ((({
             let __pwbuf = (pw.as_pointer()).clone();
@@ -197,13 +197,12 @@ pub fn test_getpwuid_r_erange_3() {
                         let mut __off: usize = 0;
                         for __s in &__strs {
                             __ptrs.push(__buf.offset(__off));
-                            let mut __dst = __buf.offset(__off);
-                            for __b in __s.iter() {
-                                __dst.write(*__b);
-                                __dst += 1;
-                            }
-                            __dst.write(0);
-                            __off += __s.len() + 1;
+                            let __end = __s.len();
+                            __buf.offset(__off).with_slice_mut(__end + 1, |__sl| {
+                                __sl[..__end].copy_from_slice(__s);
+                                __sl[__end] = 0;
+                            });
+                            __off += __end + 1;
                         }
                         __pwbuf.with_mut(|__pw| *__pw = Passwd::from_user_in(&__u, &__ptrs));
                         __out.write(__pwbuf.clone());
@@ -224,6 +223,7 @@ pub fn test_getpwuid_r_erange_3() {
             != 0)
     );
     assert!(((((*result.borrow()).is_null()) as i32) != 0));
+    assert!(((((libcc2rs::cpp2rust_errno().read()) == 34) as i32) != 0));
 }
 pub fn main() {
     std::process::exit(main_0());

tests/unit/out/unsafe/pwd.rs

@@ -56,6 +56,7 @@ pub unsafe fn test_getpwuid_r_erange_3() {
     let mut pw: ::libc::passwd = unsafe { std::mem::zeroed() };
     let mut tiny: [libc::c_char; 1] = [(0 as libc::c_char); 1];
     let mut result: *mut ::libc::passwd = std::ptr::null_mut();
+    (*libcc2rs::cpp2rust_errno_unsafe()) = 0;
     assert!(
         ((((libc::getpwuid_r(
             libc::geteuid(),
@@ -67,6 +68,7 @@ pub unsafe fn test_getpwuid_r_erange_3() {
             != 0)
     );
     assert!(((((result).is_null()) as i32) != 0));
+    assert!(((((*libcc2rs::cpp2rust_errno_unsafe()) == (34)) as i32) != 0));
 }
 pub fn main() {
     unsafe {

tests/unit/pwd.c

@@ -40,8 +40,10 @@ static void test_getpwuid_r_erange(void) {
   struct passwd pw;
   char tiny[1];
   struct passwd *result = NULL;
+  errno = 0;
   assert(getpwuid_r(geteuid(), &pw, tiny, sizeof(tiny), &result) == ERANGE);
   assert(result == NULL);
+  assert(errno == ERANGE);
 }
 
 int main(void) {