From 924f7606047a430a9b313c135b782e1e8f852bec Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Sun, 15 Mar 2020 21:16:13 +0100 Subject: pkg/compiler: ensure consistency of syscall argument types Ensure that we don't have conflicting sizes for the same argument of the same syscall, e.g.: foo$1(a int16) foo$2(a int32) This is useful for several reasons: - we will be able avoid morphing syscalls into other syscalls - we will be able to figure out more precise sizes for args (lots of them are implicitly intptr, which is the largest type on most important arches) - found few bugs in linux descriptions Update #477 Update #502 --- sys/linux/socket_caif.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'sys/linux/socket_caif.txt') diff --git a/sys/linux/socket_caif.txt b/sys/linux/socket_caif.txt index f867b29fc..bbecaa670 100644 --- a/sys/linux/socket_caif.txt +++ b/sys/linux/socket_caif.txt @@ -7,8 +7,8 @@ include resource sock_caif[sock] -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 +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 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]) -- cgit mrf-deployment