Fix select

Co-authored-by: Simmo Saan <[email protected]>
goblint · Oct 4, 2023 · 12742a3 · 12742a3
1 parent 7a1a3d9
commit 12742a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml
@@ -378,7 +378,7 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[
     ("connect", unknown [drop "sockfd" []; drop "sockaddr" [r_deep]; drop "addrlen" []]);
     ("bind", unknown [drop "sockfd" []; drop "sockaddr" [r_deep]; drop "addrlen" []]);
     ("listen", unknown [drop "sockfd" []; drop "backlog" []]);
-    ("select", unknown [drop "nfds" []; drop "readfds" [r]; drop "writefds" [r]; drop "exceptfds" [r]; drop "timeout" [r;w]]);
+    ("select", unknown [drop "nfds" []; drop "readfds" [r; w]; drop "writefds" [r; w]; drop "exceptfds" [r; w]; drop "timeout" [r; w]]);
     ("accept", unknown [drop "sockfd" []; drop "addr" [w_deep]; drop "addrlen" [r; w]]);
     ("close", unknown [drop "fd" []]);
     ("writev", unknown [drop "fd" []; drop "iov" [r_deep]; drop "iovcnt" []]);