Add rules for locale and netdb

Author: lucic71

rules/locale/ir_unsafe.json

@@ -0,0 +1,40 @@
+{
+  "f1": {
+    "body": [
+      {
+        "text": "libc::setlocale("
+      },
+      {
+        "placeholder": {
+          "arg": 0,
+          "access": "read"
+        }
+      },
+      {
+        "text": ", "
+      },
+      {
+        "placeholder": {
+          "arg": 1,
+          "access": "read"
+        }
+      },
+      {
+        "text": " as *const i8) as *mut u8"
+      }
+    ],
+    "params": {
+      "a0": {
+        "type": "i32"
+      },
+      "a1": {
+        "type": "*const u8",
+        "is_unsafe_pointer": true
+      }
+    },
+    "return_type": {
+      "type": "*mut u8",
+      "is_unsafe_pointer": true
+    }
+  }
+}

rules/locale/src.cpp

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

rules/locale/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(a0: i32, a1: *const u8) -> *mut u8 {
+    libc::setlocale(a0, a1 as *const i8) as *mut u8
+}

tests/unit/locale.c

@@ -0,0 +1,16 @@
+// no-compile: refcount
+#include <assert.h>
+#include <locale.h>
+#include <stddef.h>
+#include <string.h>
+
+static void test_setlocale(void) {
+  char *cur = setlocale(LC_ALL, NULL);
+  assert(cur != NULL);
+  assert(strcmp(cur, "C") == 0);
+}
+
+int main(void) {
+  test_setlocale();
+  return 0;
+}

tests/unit/out/unsafe/locale.rs

@@ -0,0 +1,28 @@
+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_setlocale_0() {
+    let mut cur: *mut u8 = libc::setlocale(6, std::ptr::null() as *const i8) as *mut u8;
+    assert!((((!((cur).is_null())) as i32) != 0));
+    assert!(
+        ((((libc::strcmp(
+            (cur).cast_const() as *const i8,
+            (b"C\0".as_ptr().cast_mut()).cast_const() as *const i8
+        )) == (0)) as i32)
+            != 0)
+    );
+}
+pub fn main() {
+    unsafe {
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    (unsafe { test_setlocale_0() });
+    return 0;
+}

tests/unit/out/unsafe/netdb.rs

@@ -0,0 +1,45 @@
+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_getaddrinfo_0() {
+    let mut hints: addrinfo = std::mem::zeroed::<addrinfo>();
+    {
+        let byte_0 =
+            ((&mut hints as *mut addrinfo) as *mut addrinfo as *mut ::libc::c_void) as *mut u8;
+        for offset in 0..::std::mem::size_of::<addrinfo>() as u64 {
+            *byte_0.offset(offset as isize) = 0 as u8;
+        }
+        ((&mut hints as *mut addrinfo) as *mut addrinfo as *mut ::libc::c_void)
+    };
+    hints.ai_family = 2;
+    hints.ai_socktype = libc::SOCK_STREAM;
+    hints.ai_flags = 4;
+    let mut res: *mut addrinfo = std::ptr::null_mut();
+    assert!(
+        ((((libc::getaddrinfo(
+            (b"127.0.0.1\0".as_ptr().cast_mut()).cast_const() as *const i8,
+            (b"80\0".as_ptr().cast_mut()).cast_const() as *const i8,
+            (&mut hints as *mut addrinfo).cast_const(),
+            (&mut res as *mut *mut addrinfo)
+        )) == (0)) as i32)
+            != 0)
+    );
+    assert!((((!((res).is_null())) as i32) != 0));
+    assert!((((((*res).ai_family) == (2)) as i32) != 0));
+    assert!((((((*res).ai_socktype) == (libc::SOCK_STREAM)) as i32) != 0));
+    libc::freeaddrinfo(res);
+}
+pub fn main() {
+    unsafe {
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    (unsafe { test_getaddrinfo_0() });
+    return 0;
+}