Add rules for seek_set, seen_end, seek_cur

Author: lucic71

rules/stdio/src.cpp

@@ -71,3 +71,9 @@ int f23(FILE *stream) { return getc(stream); }
 int f24(FILE *stream, char *buf, int mode, size_t size) {
   return setvbuf(stream, buf, mode, size);
 }
+
+int f25(void) { return SEEK_SET; }
+
+int f26(void) { return SEEK_CUR; }
+
+int f27(void) { return SEEK_END; }

rules/stdio/tgt_unsafe.rs

@@ -104,3 +104,15 @@ unsafe fn f23(a0: *mut ::libc::FILE) -> i32 {
 unsafe fn f24(a0: *mut ::libc::FILE, a1: *mut libc::c_char, a2: i32, a3: usize) -> i32 {
     libc::setvbuf(a0, a1, a2, a3)
 }
+
+unsafe fn f25() -> i32 {
+    ::libc::SEEK_SET
+}
+
+unsafe fn f26() -> i32 {
+    ::libc::SEEK_CUR
+}
+
+unsafe fn f27() -> i32 {
+    ::libc::SEEK_END
+}

tests/unit/out/refcount/errno.rs

@@ -28,7 +28,7 @@ pub fn test_errno_preserved_across_strdup_1() {
 pub fn test_errno_from_fseek_2() {
     libcc2rs::cpp2rust_errno().write(0);
     let r: Value<i32> = Rc::new(RefCell::new(
-        match libcc2rs::c_stdin().with_mut(|__v: &mut CFile| __v.seek(0_i64, 0)) {
+        match libcc2rs::c_stdin().with_mut(|__v: &mut CFile| __v.seek(0_i64, ::libc::SEEK_SET)) {
             -1 => -1,
             _ => 0,
         },

tests/unit/out/refcount/lseek_ftruncate.rs

@@ -50,7 +50,7 @@ fn main_0() -> i32 {
     );
     assert!(
         ((({
-            let __whence = match 2 {
+            let __whence = match ::libc::SEEK_END {
                 0 => nix::unistd::Whence::SeekSet,
                 1 => nix::unistd::Whence::SeekCur,
                 2 => nix::unistd::Whence::SeekEnd,
@@ -70,7 +70,7 @@ fn main_0() -> i32 {
     );
     assert!(
         ((({
-            let __whence = match 0 {
+            let __whence = match ::libc::SEEK_SET {
                 0 => nix::unistd::Whence::SeekSet,
                 1 => nix::unistd::Whence::SeekCur,
                 2 => nix::unistd::Whence::SeekEnd,
@@ -143,7 +143,7 @@ fn main_0() -> i32 {
     );
     assert!(
         ((({
-            let __whence = match 2 {
+            let __whence = match ::libc::SEEK_END {
                 0 => nix::unistd::Whence::SeekSet,
                 1 => nix::unistd::Whence::SeekCur,
                 2 => nix::unistd::Whence::SeekEnd,

tests/unit/out/refcount/stdio_nofd.rs

@@ -494,7 +494,7 @@ pub fn test_fseeko_4() {
     };
     assert!((((!((*fp.borrow()).is_null())) as i32) != 0));
     assert!(
-        (((match (*fp.borrow()).with_mut(|__f| __f.seek(6_i64, 0)) {
+        (((match (*fp.borrow()).with_mut(|__f| __f.seek(6_i64, ::libc::SEEK_SET)) {
             -1 => -1,
             _ => 0,
         } == 0) as i32)
@@ -528,15 +528,15 @@ pub fn test_fseeko_4() {
             != 0)
     );
     assert!(
-        (((match (*fp.borrow()).with_mut(|__f| __f.seek((-5_i32 as i64), 2)) {
+        (((match (*fp.borrow()).with_mut(|__f| __f.seek((-5_i32 as i64), ::libc::SEEK_END)) {
             -1 => -1,
             _ => 0,
         } == 0) as i32)
             != 0)
     );
     assert!(((((*fp.borrow()).with_mut(|__f| __f.getc()) == ('w' as i32)) as i32) != 0));
     assert!(
-        (((match (*fp.borrow()).with_mut(|__f| __f.seek(1_i64, 1)) {
+        (((match (*fp.borrow()).with_mut(|__f| __f.seek(1_i64, ::libc::SEEK_CUR)) {
             -1 => -1,
             _ => 0,
         } == 0) as i32)

tests/unit/out/unsafe/errno.rs

@@ -26,7 +26,11 @@ pub unsafe fn test_errno_preserved_across_strdup_1() {
 }
 pub unsafe fn test_errno_from_fseek_2() {
     (*libcc2rs::cpp2rust_errno_unsafe()) = 0;
-    let mut r: i32 = libc::fseek(libcc2rs::stdin_unsafe(), 0_i64 as ::libc::c_long, 0);
+    let mut r: i32 = libc::fseek(
+        libcc2rs::stdin_unsafe(),
+        0_i64 as ::libc::c_long,
+        ::libc::SEEK_SET,
+    );
     assert!(((((r) == (-1_i32)) as i32) != 0));
     assert!(((((*libcc2rs::cpp2rust_errno_unsafe()) == (libc::ESPIPE)) as i32) != 0));
     (*libcc2rs::cpp2rust_errno_unsafe()) = 0;

tests/unit/out/unsafe/lseek_ftruncate.rs

@@ -30,8 +30,8 @@ unsafe fn main_0() -> i32 {
         )) == (11_isize)) as i32)
             != 0)
     );
-    assert!(((((libc::lseek(fd, 0_i64, 2)) == (11_i64)) as i32) != 0));
-    assert!(((((libc::lseek(fd, 6_i64, 0)) == (6_i64)) as i32) != 0));
+    assert!(((((libc::lseek(fd, 0_i64, ::libc::SEEK_END)) == (11_i64)) as i32) != 0));
+    assert!(((((libc::lseek(fd, 6_i64, ::libc::SEEK_SET)) == (6_i64)) as i32) != 0));
     let mut buf: [libc::c_char; 16] = [(0 as libc::c_char); 16];
     {
         let byte_0 = (buf.as_mut_ptr() as *mut libc::c_char as *mut ::libc::c_void) as *mut u8;
@@ -56,7 +56,7 @@ unsafe fn main_0() -> i32 {
             != 0)
     );
     assert!(((((libc::ftruncate(fd, 5_i64)) == (0)) as i32) != 0));
-    assert!(((((libc::lseek(fd, 0_i64, 2)) == (5_i64)) as i32) != 0));
+    assert!(((((libc::lseek(fd, 0_i64, ::libc::SEEK_END)) == (5_i64)) as i32) != 0));
     assert!(((((libc::close(fd)) == (0)) as i32) != 0));
     assert!(((((libc::unlink(path)) == (0)) as i32) != 0));
     return 0;

tests/unit/out/unsafe/stdio_nofd.rs

@@ -231,7 +231,7 @@ pub unsafe fn test_fseeko_4() {
     assert!(((((libc::fclose(fp)) == (0)) as i32) != 0));
     fp = libc::fopen(path, (c"rb".as_ptr().cast_mut()).cast_const());
     assert!((((!((fp).is_null())) as i32) != 0));
-    assert!(((((libc::fseeko(fp, 6_i64 as ::libc::off_t, 0)) == (0)) as i32) != 0));
+    assert!(((((libc::fseeko(fp, 6_i64 as ::libc::off_t, ::libc::SEEK_SET)) == (0)) as i32) != 0));
     let mut buf: [libc::c_char; 8] = [
         (0 as libc::c_char),
         (0 as libc::c_char),
@@ -273,9 +273,12 @@ pub unsafe fn test_fseeko_4() {
         }) == (0)) as i32)
             != 0)
     );
-    assert!(((((libc::fseeko(fp, (-5_i32 as i64) as ::libc::off_t, 2)) == (0)) as i32) != 0));
+    assert!(
+        ((((libc::fseeko(fp, (-5_i32 as i64) as ::libc::off_t, ::libc::SEEK_END)) == (0)) as i32)
+            != 0)
+    );
     assert!(((((libc::fgetc(fp)) == ('w' as i32)) as i32) != 0));
-    assert!(((((libc::fseeko(fp, 1_i64 as ::libc::off_t, 1)) == (0)) as i32) != 0));
+    assert!(((((libc::fseeko(fp, 1_i64 as ::libc::off_t, ::libc::SEEK_CUR)) == (0)) as i32) != 0));
     assert!(((((libc::fgetc(fp)) == ('r' as i32)) as i32) != 0));
     assert!(((((libc::fclose(fp)) == (0)) as i32) != 0));
     assert!(((((libc::unlink(path)) == (0)) as i32) != 0));

tests/unit/out/unsafe/unistd.rs

@@ -31,8 +31,8 @@ pub unsafe fn test_lseek_1() {
     fp = libc::fopen(path, (c"rb".as_ptr().cast_mut()).cast_const());
     assert!((((!((fp).is_null())) as i32) != 0));
     let mut fd: i32 = libc::fileno(fp);
-    assert!(((((libc::lseek(fd, 0_i64, 2)) == (11_i64)) as i32) != 0));
-    assert!(((((libc::lseek(fd, 6_i64, 0)) == (6_i64)) as i32) != 0));
+    assert!(((((libc::lseek(fd, 0_i64, ::libc::SEEK_END)) == (11_i64)) as i32) != 0));
+    assert!(((((libc::lseek(fd, 6_i64, ::libc::SEEK_SET)) == (6_i64)) as i32) != 0));
     let mut buf: [libc::c_char; 8] = [
         (0 as libc::c_char),
         (0 as libc::c_char),
@@ -221,7 +221,7 @@ pub unsafe fn test_ftruncate_5() {
     fp = libc::fopen(path, (c"rb".as_ptr().cast_mut()).cast_const());
     assert!((((!((fp).is_null())) as i32) != 0));
     fd = (libc::fileno(fp)).clone();
-    assert!(((((libc::lseek(fd, 0_i64, 2)) == (5_i64)) as i32) != 0));
+    assert!(((((libc::lseek(fd, 0_i64, ::libc::SEEK_END)) == (5_i64)) as i32) != 0));
     assert!(((((libc::fclose(fp)) == (0)) as i32) != 0));
     libc::unlink(path);
 }