Only keep socket_type values shared between Linux and macOS

Author: lucic71

rules/socket/ir_unsafe.json

@@ -9,16 +9,6 @@
       "type": "i32"
     }
   },
-  "f10": {
-    "body": [
-      {
-        "text": "libc::SOCK_NONBLOCK"
-      }
-    ],
-    "return_type": {
-      "type": "i32"
-    }
-  },
   "f2": {
     "body": [
       {
@@ -42,7 +32,7 @@
   "f4": {
     "body": [
       {
-        "text": "libc::SOCK_RAW"
+        "text": "libc::SOCK_CLOEXEC"
       }
     ],
     "return_type": {
@@ -52,47 +42,7 @@
   "f5": {
     "body": [
       {
-        "text": "libc::SOCK_RDM"
-      }
-    ],
-    "return_type": {
-      "type": "i32"
-    }
-  },
-  "f6": {
-    "body": [
-      {
-        "text": "libc::SOCK_SEQPACKET"
-      }
-    ],
-    "return_type": {
-      "type": "i32"
-    }
-  },
-  "f7": {
-    "body": [
-      {
-        "text": "libc::SOCK_DCCP"
-      }
-    ],
-    "return_type": {
-      "type": "i32"
-    }
-  },
-  "f8": {
-    "body": [
-      {
-        "text": "libc::SOCK_PACKET"
-      }
-    ],
-    "return_type": {
-      "type": "i32"
-    }
-  },
-  "f9": {
-    "body": [
-      {
-        "text": "libc::SOCK_CLOEXEC"
+        "text": "libc::SOCK_NONBLOCK"
       }
     ],
     "return_type": {

rules/socket/src.cpp

@@ -14,29 +14,9 @@ int f3() {
 }
 
 int f4() {
-  return SOCK_RAW;
-}
-
-int f5() {
-  return SOCK_RDM;
-}
-
-int f6() {
-  return SOCK_SEQPACKET;
-}
-
-int f7() {
-  return SOCK_DCCP;
-}
-
-int f8() {
-  return SOCK_PACKET;
-}
-
-int f9() {
   return SOCK_CLOEXEC;
 }
 
-int f10() {
+int f5() {
   return SOCK_NONBLOCK;
 }

rules/socket/tgt_unsafe.rs

@@ -11,29 +11,9 @@ unsafe fn f3() -> i32 {
 }
 
 unsafe fn f4() -> i32 {
-    libc::SOCK_RAW
-}
-
-unsafe fn f5() -> i32 {
-    libc::SOCK_RDM
-}
-
-unsafe fn f6() -> i32 {
-    libc::SOCK_SEQPACKET
-}
-
-unsafe fn f7() -> i32 {
-    libc::SOCK_DCCP
-}
-
-unsafe fn f8() -> i32 {
-    libc::SOCK_PACKET
-}
-
-unsafe fn f9() -> i32 {
     libc::SOCK_CLOEXEC
 }
 
-unsafe fn f10() -> i32 {
+unsafe fn f5() -> i32 {
     libc::SOCK_NONBLOCK
 }

tests/unit/out/refcount/socket_type_constants.rs

@@ -12,11 +12,6 @@ pub fn main() {
 fn main_0() -> i32 {
     assert!((((libc::SOCK_STREAM == 1) as i32) != 0));
     assert!((((libc::SOCK_DGRAM == 2) as i32) != 0));
-    assert!((((libc::SOCK_RAW == 3) as i32) != 0));
-    assert!((((libc::SOCK_RDM == 4) as i32) != 0));
-    assert!((((libc::SOCK_SEQPACKET == 5) as i32) != 0));
-    assert!((((libc::SOCK_DCCP == 6) as i32) != 0));
-    assert!((((libc::SOCK_PACKET == 10) as i32) != 0));
     let x: Value<i32> = Rc::new(RefCell::new((libc::SOCK_STREAM | libc::SOCK_CLOEXEC)));
     assert!((((((*x.borrow()) & libc::SOCK_STREAM) == libc::SOCK_STREAM) as i32) != 0));
     assert!((((((*x.borrow()) & libc::SOCK_CLOEXEC) == libc::SOCK_CLOEXEC) as i32) != 0));

tests/unit/out/unsafe/socket_type_constants.rs

@@ -14,11 +14,6 @@ pub fn main() {
 unsafe fn main_0() -> i32 {
     assert!(((((libc::SOCK_STREAM) == (1)) as i32) != 0));
     assert!(((((libc::SOCK_DGRAM) == (2)) as i32) != 0));
-    assert!(((((libc::SOCK_RAW) == (3)) as i32) != 0));
-    assert!(((((libc::SOCK_RDM) == (4)) as i32) != 0));
-    assert!(((((libc::SOCK_SEQPACKET) == (5)) as i32) != 0));
-    assert!(((((libc::SOCK_DCCP) == (6)) as i32) != 0));
-    assert!(((((libc::SOCK_PACKET) == (10)) as i32) != 0));
     let mut x: i32 = ((libc::SOCK_STREAM) | (libc::SOCK_CLOEXEC));
     assert!((((((x) & (libc::SOCK_STREAM)) == (libc::SOCK_STREAM)) as i32) != 0));
     assert!((((((x) & (libc::SOCK_CLOEXEC)) == (libc::SOCK_CLOEXEC)) as i32) != 0));

tests/unit/socket_type_constants.c

@@ -5,11 +5,6 @@
 int main() {
   assert(SOCK_STREAM == 1);
   assert(SOCK_DGRAM == 2);
-  assert(SOCK_RAW == 3);
-  assert(SOCK_RDM == 4);
-  assert(SOCK_SEQPACKET == 5);
-  assert(SOCK_DCCP == 6);
-  assert(SOCK_PACKET == 10);
 
   int x = SOCK_STREAM | SOCK_CLOEXEC;
   assert((x & SOCK_STREAM) == SOCK_STREAM);