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_inet.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_inet.txt')
| -rw-r--r-- | sys/linux/socket_inet.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/socket_inet.txt b/sys/linux/socket_inet.txt index 6892bae8b..0d9cd6481 100644 --- a/sys/linux/socket_inet.txt +++ b/sys/linux/socket_inet.txt @@ -23,7 +23,7 @@ sockaddr_storage_in { addr sockaddr_in } [size[SOCKADDR_STORAGE_SIZE], align_ptr] -socket$inet(domain const[AF_INET], type flags[socket_type], proto int8) sock_in +socket$inet(domain const[AF_INET], type flags[socket_type], proto int32) sock_in accept$inet(fd sock_in, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]]) sock_in accept4$inet(fd sock_in, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_in bind$inet(fd sock_in, addr ptr[in, sockaddr_in], addrlen len[addr]) |