diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-03-17 14:32:13 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-03-17 21:19:13 +0100 |
| commit | 2e9037c55f6a3308190ab4eb0ce110dddc7a6f2b (patch) | |
| tree | 7f97740e9d496a53a990d88a41405e67b8d4af44 /sys/linux/socket.txt | |
| parent | 0bcbb36f9fff81ac0bff9ec0959b9ea4c444a700 (diff) | |
pkg/compiler: check that const values fit into base type
const[0x12345678, int8] is always an error, detect these cases.
Found some bugs in mptcp, socket proto and fuchsia fidl descriptions.
Diffstat (limited to 'sys/linux/socket.txt')
| -rw-r--r-- | sys/linux/socket.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/linux/socket.txt b/sys/linux/socket.txt index 298480efb..7a38b7f05 100644 --- a/sys/linux/socket.txt +++ b/sys/linux/socket.txt @@ -19,8 +19,8 @@ type sock_port int16be[20000:20004] # TODO: describe socketcall syscall -socket(domain flags[socket_domain], type flags[socket_type], proto int8) sock -socketpair(domain flags[socket_domain], type flags[socket_type], proto int8, fds ptr[out, sock_pair]) +socket(domain flags[socket_domain], type flags[socket_type], proto int32) sock +socketpair(domain flags[socket_domain], type flags[socket_type], proto int32, fds ptr[out, sock_pair]) bind(fd sock, addr ptr[in, sockaddr_storage], addrlen len[addr]) connect(fd sock, addr ptr[in, sockaddr_storage], addrlen len[addr]) accept(fd sock, peer ptr[out, sockaddr_storage, opt], peerlen ptr[inout, len[peer, int32]]) sock |