Add rules + test for errno

Author: lucic71

rules/errno/ir_unsafe.json

@@ -0,0 +1,13 @@
+{
+  "f1": {
+    "body": [
+      {
+        "text": "libc::__errno_location()"
+      }
+    ],
+    "return_type": {
+      "type": "*mut i32",
+      "is_unsafe_pointer": true
+    }
+  }
+}

rules/errno/src.c

@@ -0,0 +1,6 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+#include <errno.h>
+
+int *f1(void) { return __errno_location(); }

rules/errno/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 fn f1() -> *mut i32 {
+    libc::__errno_location()
+}

rules/src/modules.rs

@@ -34,6 +34,8 @@ pub mod cstring_tgt_unsafe;
 pub mod deque_tgt_refcount;
 #[path = r#"../deque/tgt_unsafe.rs"#]
 pub mod deque_tgt_unsafe;
+#[path = r#"../errno/tgt_unsafe.rs"#]
+pub mod errno_tgt_unsafe;
 #[path = r#"../fstream/tgt_refcount.rs"#]
 pub mod fstream_tgt_refcount;
 #[path = r#"../fstream/tgt_unsafe.rs"#]

tests/unit/errno.c

@@ -0,0 +1,40 @@
+// no-compile: refcount
+#include <assert.h>
+#include <errno.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+static void test_errno(void) {
+  errno = 0;
+  assert(errno == 0);
+  errno = 42;
+  assert(errno == 42);
+  int saved = errno;
+  assert(saved == 42);
+  errno = 0;
+}
+
+static void test_errno_preserved_across_strdup(void) {
+  errno = 99;
+  char *d = strdup("hello");
+  assert(d != NULL);
+  assert(errno == 99);
+  free(d);
+  errno = 0;
+}
+
+static void test_errno_from_fseek(void) {
+  errno = 0;
+  int r = fseek(stdin, 0, SEEK_SET);
+  assert(r == -1);
+  assert(errno == ESPIPE);
+  errno = 0;
+}
+
+int main(void) {
+  test_errno();
+  test_errno_preserved_across_strdup();
+  test_errno_from_fseek();
+  return 0;
+}

tests/unit/out/unsafe/errno.rs

@@ -0,0 +1,55 @@
+extern crate libc;
+use libc::*;
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::collections::BTreeMap;
+use std::io::{Read, Seek, Write};
+use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
+use std::rc::Rc;
+pub unsafe fn test_errno_0() {
+    (*libc::__errno_location()) = 0;
+    assert!(((((*libc::__errno_location()) == (0)) as i32) != 0));
+    (*libc::__errno_location()) = 42;
+    assert!(((((*libc::__errno_location()) == (42)) as i32) != 0));
+    let mut saved: i32 = (*libc::__errno_location());
+    assert!(((((saved) == (42)) as i32) != 0));
+    (*libc::__errno_location()) = 0;
+}
+pub unsafe fn test_errno_preserved_across_strdup_1() {
+    (*libc::__errno_location()) = 99;
+    let mut d: *mut u8 =
+        libc::strdup((b"hello\0".as_ptr().cast_mut()).cast_const() as *const i8) as *mut u8;
+    assert!((((!((d).is_null())) as i32) != 0));
+    assert!(((((*libc::__errno_location()) == (99)) as i32) != 0));
+    libc::free((d as *mut u8 as *mut ::libc::c_void));
+    (*libc::__errno_location()) = 0;
+}
+pub unsafe fn test_errno_from_fseek_2() {
+    (*libc::__errno_location()) = 0;
+    let mut r: i32 = if (match 0 {
+        0 => (*libcc2rs::cin_unsafe()).seek(std::io::SeekFrom::Start(0_i64 as u64)),
+        1 => (*libcc2rs::cin_unsafe()).seek(std::io::SeekFrom::Current(0_i64)),
+        2 => (*libcc2rs::cin_unsafe()).seek(std::io::SeekFrom::End(0_i64)),
+        _ => Err(std::io::Error::other("unsupported whence for fseek.")),
+    })
+    .is_ok()
+    {
+        0
+    } else {
+        -1
+    };
+    assert!(((((r) == (-1_i32)) as i32) != 0));
+    assert!(((((*libc::__errno_location()) == (29)) as i32) != 0));
+    (*libc::__errno_location()) = 0;
+}
+pub fn main() {
+    unsafe {
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    (unsafe { test_errno_0() });
+    (unsafe { test_errno_preserved_across_strdup_1() });
+    (unsafe { test_errno_from_fseek_2() });
+    return 0;
+}