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_inet6.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_inet6.txt')
| -rw-r--r-- | sys/linux/socket_inet6.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/socket_inet6.txt b/sys/linux/socket_inet6.txt index 2fdfc3257..34ce2a928 100644 --- a/sys/linux/socket_inet6.txt +++ b/sys/linux/socket_inet6.txt @@ -25,7 +25,7 @@ sockaddr_storage_in6 { addr sockaddr_in6 } [size[SOCKADDR_STORAGE_SIZE], align_ptr] -socket$inet6(domain const[AF_INET6], type flags[socket_type], proto int8) sock_in6 +socket$inet6(domain const[AF_INET6], type flags[socket_type], proto int32) sock_in6 accept$inet6(fd sock_in6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]]) sock_in6 accept4$inet6(fd sock_in6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_in6 bind$inet6(fd sock_in6, addr ptr[in, sockaddr_in6], addrlen len[addr]) |