Add rules for more IP constants

rules/ip/ir_unsafe.json

@@ -28,5 +28,25 @@
     "return_type": {
       "type": "i32"
     }
+  },
+  "f4": {
+    "body": [
+      {
+        "text": "libc::IPPROTO_IPV6"
+      }
+    ],
+    "return_type": {
+      "type": "i32"
+    }
+  },
+  "f5": {
+    "body": [
+      {
+        "text": "libc::IPPROTO_MPTCP"
+      }
+    ],
+    "return_type": {
+      "type": "i32"
+    }
   }
 }

rules/ip/src.cpp

@@ -11,3 +11,13 @@ int f2() {
 int f3() {
   return IPPROTO_IP;
 }
+
+int f4() {
+  return IPPROTO_IPV6;
+}
+
+#if defined(__linux__)
+int f5() {
+  return IPPROTO_MPTCP;
+}
+#endif

rules/ip/tgt_unsafe.rs

@@ -9,3 +9,11 @@ unsafe fn f2() -> i32 {
 unsafe fn f3() -> i32 {
     libc::IPPROTO_IP
 }
+
+unsafe fn f4() -> i32 {
+    libc::IPPROTO_IPV6
+}
+
+unsafe fn f5() -> i32 {
+    libc::IPPROTO_MPTCP
+}

tests/unit/ipproto_macros.cpp

@@ -4,5 +4,7 @@ int main() {
   int tcp = IPPROTO_TCP;
   int udp = IPPROTO_UDP;
   int ip = IPPROTO_IP;
-  return tcp + udp + ip;
+  int ip6 = IPPROTO_IPV6;
+  int mptcp = IPPROTO_MPTCP;
+  return tcp + udp + ip + ip6 + mptcp;
 }

tests/unit/out/refcount/ipproto_macros.rs

@@ -13,5 +13,8 @@ fn main_0() -> i32 {
     let tcp: Value<i32> = Rc::new(RefCell::new(libc::IPPROTO_TCP));
     let udp: Value<i32> = Rc::new(RefCell::new(libc::IPPROTO_UDP));
     let ip: Value<i32> = Rc::new(RefCell::new(libc::IPPROTO_IP));
-    return (((*tcp.borrow()) + (*udp.borrow())) + (*ip.borrow()));
+    let ip6: Value<i32> = Rc::new(RefCell::new(libc::IPPROTO_IPV6));
+    let mptcp: Value<i32> = Rc::new(RefCell::new(libc::IPPROTO_MPTCP));
+    return (((((*tcp.borrow()) + (*udp.borrow())) + (*ip.borrow())) + (*ip6.borrow()))
+        + (*mptcp.borrow()));
 }

tests/unit/out/unsafe/ipproto_macros.rs

@@ -15,5 +15,7 @@ unsafe fn main_0() -> i32 {
     let mut tcp: i32 = libc::IPPROTO_TCP;
     let mut udp: i32 = libc::IPPROTO_UDP;
     let mut ip: i32 = libc::IPPROTO_IP;
-    return (((tcp) + (udp)) + (ip));
+    let mut ip6: i32 = libc::IPPROTO_IPV6;
+    let mut mptcp: i32 = libc::IPPROTO_MPTCP;
+    return (((((tcp) + (udp)) + (ip)) + (ip6)) + (mptcp));
 }