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_caif.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_caif.txt')
| -rw-r--r-- | sys/linux/socket_caif.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/linux/socket_caif.txt b/sys/linux/socket_caif.txt index bbecaa670..f867b29fc 100644 --- a/sys/linux/socket_caif.txt +++ b/sys/linux/socket_caif.txt @@ -7,8 +7,8 @@ include <uapi/linux/caif/caif_socket.h> resource sock_caif[sock] -socket$caif_seqpacket(domain const[AF_CAIF], type const[SOCK_SEQPACKET], proto int8[CAIFPROTO_AT:CAIFPROTO_DEBUG]) sock_caif -socket$caif_stream(domain const[AF_CAIF], type const[SOCK_STREAM], proto int8[CAIFPROTO_AT:CAIFPROTO_DEBUG]) sock_caif +socket$caif_seqpacket(domain const[AF_CAIF], type const[SOCK_SEQPACKET], proto int32[CAIFPROTO_AT:CAIFPROTO_DEBUG]) sock_caif +socket$caif_stream(domain const[AF_CAIF], type const[SOCK_STREAM], proto int32[CAIFPROTO_AT:CAIFPROTO_DEBUG]) sock_caif connect$caif(fd sock_caif, addr ptr[in, sockaddr_caif], addrlen len[addr]) setsockopt$CAIFSO_LINK_SELECT(fd sock_caif, level const[SOL_CAIF], opt const[CAIFSO_LINK_SELECT], arg ptr[in, int32], arglen len[arg]) setsockopt$CAIFSO_REQ_PARAM(fd sock_caif, level const[SOL_CAIF], opt const[CAIFSO_REQ_PARAM], arg ptr[in, array[int8, 0:256]], arglen len[arg]) |