Add TCP constants rules

Author: lucic71

rules/ip/src.cpp

@@ -1,4 +1,5 @@
 #include <netinet/in.h>
+#include <netinet/tcp.h>
 
 typedef struct sockaddr_in t1;
 typedef struct in_addr t2;
@@ -26,3 +27,7 @@ int f5() {
   return IPPROTO_MPTCP;
 }
 #endif
+
+int f6() {
+  return TCP_NODELAY;
+}

rules/ip/tgt_unsafe.rs

@@ -34,3 +34,7 @@ unsafe fn f4() -> i32 {
 unsafe fn f5() -> i32 {
     libc::IPPROTO_MPTCP
 }
+
+unsafe fn f6() -> i32 {
+    libc::TCP_NODELAY
+}

rules/socket/src.c

@@ -96,3 +96,15 @@ int f20() {
 int f21() {
   return AF_INET6;
 }
+
+int f22() {
+  return SOL_SOCKET;
+}
+
+int f23() {
+  return SO_KEEPALIVE;
+}
+
+int f24() {
+  return SO_ERROR;
+}

rules/socket/tgt_unsafe.rs

@@ -110,3 +110,15 @@ unsafe fn f20() -> i32 {
 unsafe fn f21() -> i32 {
     libc::AF_INET6
 }
+
+unsafe fn f22() -> i32 {
+    libc::SOL_SOCKET
+}
+
+unsafe fn f23() -> i32 {
+    libc::SO_KEEPALIVE
+}
+
+unsafe fn f24() -> i32 {
+    libc::SO_ERROR
+}

tests/unit/out/refcount/sockopt.rs

@@ -41,7 +41,7 @@ fn main_0() -> i32 {
     let on: Value<i32> = Rc::new(RefCell::new(1));
     assert!(
         ((({
-            let __res = match (1, 9) {
+            let __res = match (libc::SOL_SOCKET, libc::SO_KEEPALIVE) {
                 (::libc::IPPROTO_TCP, ::libc::TCP_NODELAY) => {
                     let __v = ((on.as_pointer()) as Ptr<i32>)
                         .to_any()
@@ -213,7 +213,7 @@ fn main_0() -> i32 {
     );
     assert!(
         ((({
-            let __res = match (libc::IPPROTO_TCP, 1) {
+            let __res = match (libc::IPPROTO_TCP, libc::TCP_NODELAY) {
                 (::libc::IPPROTO_TCP, ::libc::TCP_NODELAY) => {
                     let __v = ((on.as_pointer()) as Ptr<i32>)
                         .to_any()
@@ -386,7 +386,7 @@ fn main_0() -> i32 {
     let err: Value<i32> = Rc::new(RefCell::new(-1_i32));
     let len: Value<u32> = Rc::new(RefCell::new((::std::mem::size_of::<i32>() as u32)));
     assert!(
-        (((match (1, 4) {
+        (((match (libc::SOL_SOCKET, libc::SO_ERROR) {
             (::libc::SOL_SOCKET, ::libc::SO_ERROR) => {
                 match FdRegistry::with_fd((*s.borrow()), |__fd| {
                     nix::sys::socket::getsockopt(&__fd, nix::sys::socket::sockopt::SocketError)

tests/unit/out/unsafe/sockopt.rs

@@ -18,8 +18,8 @@ unsafe fn main_0() -> i32 {
     assert!(
         ((((libc::setsockopt(
             s,
-            1,
-            9,
+            libc::SOL_SOCKET,
+            libc::SO_KEEPALIVE,
             ((&mut on as *mut i32) as *const i32 as *const ::libc::c_void),
             (::std::mem::size_of::<i32>() as u32)
         )) == (0)) as i32)
@@ -29,7 +29,7 @@ unsafe fn main_0() -> i32 {
         ((((libc::setsockopt(
             s,
             libc::IPPROTO_TCP,
-            1,
+            libc::TCP_NODELAY,
             ((&mut on as *mut i32) as *const i32 as *const ::libc::c_void),
             (::std::mem::size_of::<i32>() as u32)
         )) == (0)) as i32)
@@ -40,8 +40,8 @@ unsafe fn main_0() -> i32 {
     assert!(
         ((((libc::getsockopt(
             s,
-            1,
-            4,
+            libc::SOL_SOCKET,
+            libc::SO_ERROR,
             ((&mut err as *mut i32) as *mut i32 as *mut ::libc::c_void),
             (&mut len as *mut u32)
         )) == (0)) as i32)