diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-30 19:34:41 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-30 19:34:41 +0200 |
| commit | 664ef9a3e1016e80fc1fcbbef6e9f66a2ededfe6 (patch) | |
| tree | 3f5829d9ad2ada25336f3bf98b85a65ec517c22e /sys/netbsd | |
| parent | 9054fae0162950c1fd961819f64b1ac90e5930b3 (diff) | |
pkg/compiler: check for unused declarations
Error on unused structs/unions/resources/flags.
Finds tons of bugs.
Diffstat (limited to 'sys/netbsd')
| -rw-r--r-- | sys/netbsd/socket.txt | 27 | ||||
| -rw-r--r-- | sys/netbsd/socket_inet.txt | 23 | ||||
| -rw-r--r-- | sys/netbsd/socket_inet6.txt | 27 | ||||
| -rw-r--r-- | sys/netbsd/sys.txt | 163 |
4 files changed, 0 insertions, 240 deletions
diff --git a/sys/netbsd/socket.txt b/sys/netbsd/socket.txt index 097d7aad9..4b3dbfa34 100644 --- a/sys/netbsd/socket.txt +++ b/sys/netbsd/socket.txt @@ -41,13 +41,6 @@ send_flags = MSG_OOB, MSG_PEEK, MSG_DONTROUTE, MSG_EOR, MSG_NOSIGNAL recv_flags = MSG_CMSG_CLOEXEC, MSG_OOB, MSG_PEEK, MSG_WAITALL cmsg_levels = SOL_SOCKET, IPPROTO_ICMP, LINUX_SOL_IP, LINUX_SOL_TCP, LINUX_SOL_UDP, LINUX_SOL_IPV6, LINUX_SOL_IPX, LINUX_SOL_AX25 -# This sockaddr type corresponds to the struct sockaddr and is 16 bytes or less. -sockaddr [ -# AF_UNIX sockaddr in bigger than 16 bytes - in sockaddr_in - random array[int32, 4] -] - # This sockaddr type corresponds to the sockaddr_storage type and is 128 bytes size. sockaddr_storage [ un sockaddr_un @@ -55,16 +48,6 @@ sockaddr_storage [ in6 sockaddr_in6 ] [varlen] -sockaddr_generic { - sa_family flags[socket_domain, int16] - sa_data array[int8, 14] -} - -sockaddr_storage_generic { - sa_family flags[socket_domain, int16] - sa_data array[int8, 126] -} - send_msghdr { msg_name ptr[in, sockaddr_storage, opt] msg_namelen len[msg_name, int32] @@ -75,11 +58,6 @@ send_msghdr { msg_flags flags[send_flags, int32] } -send_mmsghdr { - msg_hdr send_msghdr - msg_len int32 -} - recv_msghdr { msg_name ptr[out, sockaddr_storage, opt] msg_namelen len[msg_name, int32] @@ -90,11 +68,6 @@ recv_msghdr { msg_flags int32 } -recv_mmsghdr { - msg_hdr recv_msghdr - msg_len int32 -} - cmsghdr { cmsg_len len[parent, intptr] cmsg_level flags[cmsg_levels, int32] diff --git a/sys/netbsd/socket_inet.txt b/sys/netbsd/socket_inet.txt index 475b270c2..98b72d23c 100644 --- a/sys/netbsd/socket_inet.txt +++ b/sys/netbsd/socket_inet.txt @@ -21,11 +21,6 @@ sockaddr_in { pad array[const[0, int8], 8] } -sockaddr_storage_in { - addr sockaddr_in - pad array[const[0, int64], 15] -} - socket$inet(domain const[AF_INET], type flags[socket_type], proto int8) sock_in socketpair$inet(domain const[AF_INET], type flags[socket_type], proto int8, fds ptr[out, sock_in_pair]) accept$inet(fd sock_in, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]]) sock_in @@ -44,21 +39,3 @@ sockopt_opt_ip_opts = IP_OPTIONS getsockopt$inet_opts(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_opts], optval buffer[out], optlen ptr[inout, len[optval, int32]]) setsockopt$inet_opts(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_opts], optval buffer[in], optlen len[optval]) - -group_req_in { - gr_interface int32 - gr_group sockaddr_storage_in -} - -group_source_req_in { - gsr_interface int32 - gsr_group sockaddr_storage_in - gsr_source sockaddr_storage_in -} - -group_filter_in { - gf_interface int32 - gf_group sockaddr_storage_in - gf_numsrc len[gf_slist, int32] - gf_slist array[sockaddr_storage_in] -} diff --git a/sys/netbsd/socket_inet6.txt b/sys/netbsd/socket_inet6.txt index 552f3e421..dce4f2ec5 100644 --- a/sys/netbsd/socket_inet6.txt +++ b/sys/netbsd/socket_inet6.txt @@ -26,11 +26,6 @@ sockaddr_in6 { scope int32 } -sockaddr_storage_in6 { - addr sockaddr_in6 - pad array[const[0, int64], 12] -} - socket$inet6(domain const[AF_INET6], type flags[socket_type], proto int8) sock_in6 socketpair$inet6(domain const[AF_INET6], type flags[socket_type], proto int8, fds ptr[out, sock_in6_pair]) accept$inet6(fd sock_in6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]]) sock_in6 @@ -69,25 +64,3 @@ mf6cctl { mf6cc_parent int16 mf6cc_ifset array[int32, 8] } - -group_req_in6 { - gr_interface int32 - gr_group sockaddr_storage_in6 -} - -group_source_req_in6 { - gsr_interface int32 - gsr_group sockaddr_storage_in6 - gsr_source sockaddr_storage_in6 -} - -group_filter_in6 { - gf_interface int32 - gf_group sockaddr_storage_in6 - gf_numsrc len[gf_slist, int32] - gf_slist array[sockaddr_storage_in6] -} - -in6_ifreq { - ifr6_prefixlen int32 -} diff --git a/sys/netbsd/sys.txt b/sys/netbsd/sys.txt index f90e1df52..fd02a09e8 100644 --- a/sys/netbsd/sys.txt +++ b/sys/netbsd/sys.txt @@ -112,73 +112,21 @@ pollfd { revents const[0, int16] } -sigset { - mask int64 -} - -sigset_size { - ss ptr[inout, sigset] - len len[ss, intptr] -} - -resource time_sec[intptr] -resource time_nsec[intptr] -resource time_usec[intptr] - -# prog knowns about this struct type timespec { sec intptr nsec intptr } -# prog knowns about this struct type timeval { sec intptr usec intptr } -statx_timestamp { - sec int64 - nsec int32 - __reserved int32 -} - -itimerspec { - interv timespec - value timespec -} - itimerval { interv timeval value timeval } -utimbuf { - actime intptr - modtime intptr -} - -io_event { - data int64 - obj int64 - res int64 - res2 int32 -} - -cap_header { - var flags[cap_version, int32] - pid pid -} - -cap_data { - eff0 int32 - perm0 int32 - inher0 int32 - eff1 int32 - perm1 int32 - inher1 int32 -} - # TODO: fd_set needs to be a separate type fd_set { mask0 int64 @@ -191,49 +139,6 @@ fd_set { mask7 int64 } -sock_fprog { - len len[filter, int16] - filter ptr[in, array[sock_filter]] -} - -sock_filter { - code int16 - jt int8 - jf int8 - k int32 -} - -file_handle { - bytes len[parent, int32] - type int32 - handle array[int8] -} - -mq_attr { - flags intptr - maxmsg intptr - msgsize intptr - curmsg intptr - res0 intptr - res1 intptr - res2 intptr - res3 intptr -} - -kexec_segment { - buf buffer[in] - sz len[buf, intptr] -# TODO: this is address in kernel - mem intptr - memsz intptr -} - -robust_list { - next vma - off intptr - pend vma -} - rusage { utime timeval stime timeval @@ -258,68 +163,6 @@ rlimit { hard intptr } -tms { - utime intptr - stime intptr - cutime intptr - cstime intptr -} - -timex { - stuff0 intptr - stuff1 intptr - stuff2 intptr - stuff3 intptr - stuff4 intptr - stuff5 intptr - stuff6 intptr - stuff7 intptr - stuff8 intptr - stuff9 intptr - stuff10 intptr - stuff11 intptr - stuff12 intptr - stuff13 intptr - stuff14 intptr - stuff15 intptr - stuff16 intptr - stuff17 intptr - stuff18 intptr - stuff19 intptr - stuff20 intptr - stuff21 intptr - stuff22 intptr - stuff23 intptr - stuff24 intptr - stuff25 intptr -} - -ustat { - free int32 - inode intptr - nampac0 int32 - nampac1 int32 - nampac2 int32 -} - -user_desc { - entry_number int32 -# Base should be vma and limit should be len[base] -# But these fields are int32, so we can't use vma. - base_addr flags[user_desc_bases, int32] - limit flags[user_desc_limits, int32] - seg_32bit int32:1 - contents int32:2 - read_exec_only int32:1 - limit_in_pages int32:1 - seg_not_present int32:1 - useable int32:1 - lm int32:1 -} - -user_desc_bases = 0, 4096, 1048576, 536870912, 536872960, 536875008, 0xffffffff -user_desc_limits = 0, 1024, 4096, 8192, 16384, 0xffffffff - flock { type flags[flock_type, int16] whence flags[seek_whence, int16] @@ -339,9 +182,6 @@ ucred { gid gid } -fadvise_flags = POSIX_FADV_NORMAL, POSIX_FADV_SEQUENTIAL, POSIX_FADV_RANDOM, POSIX_FADV_NOREUSE, POSIX_FADV_WILLNEED, POSIX_FADV_DONTNEED -clock_type = CLOCK_REALTIME, CLOCK_MONOTONIC, CLOCK_PROCESS_CPUTIME_ID, CLOCK_THREAD_CPUTIME_ID -cap_version = 0x19980330, 0x20071026, 0x20080522 pollfd_events = POLLIN, POLLPRI, POLLOUT, POLLERR, POLLHUP, POLLNVAL, POLLRDNORM, POLLRDBAND, POLLWRNORM, POLLWRBAND mknod_mode = S_IFREG, S_IFCHR, S_IFBLK, S_IFIFO, S_IFSOCK, S_IRUSR, S_IWUSR, S_IXUSR, S_IRGRP, S_IWGRP, S_IXGRP, S_IROTH, S_IWOTH, S_IXOTH at_flags = AT_SYMLINK_NOFOLLOW, AT_SYMLINK_FOLLOW @@ -352,13 +192,10 @@ faccessat_flags = AT_EACCESS, AT_SYMLINK_NOFOLLOW rusage_who = RUSAGE_SELF, RUSAGE_CHILDREN rlimit_type = RLIMIT_AS, RLIMIT_CORE, RLIMIT_CPU, RLIMIT_DATA, RLIMIT_FSIZE, RLIMIT_MEMLOCK, RLIMIT_NOFILE, RLIMIT_NPROC, RLIMIT_RSS, RLIMIT_STACK, RLIMIT_NTHR, RLIMIT_STACK clock_id = CLOCK_REALTIME, CLOCK_MONOTONIC, CLOCK_PROCESS_CPUTIME_ID, CLOCK_THREAD_CPUTIME_ID, CLOCK_VIRTUAL, CLOCK_PROF -sigprocmask_how = SIG_BLOCK, SIG_UNBLOCK, SIG_SETMASK getitimer_which = ITIMER_REAL, ITIMER_VIRTUAL, ITIMER_PROF, ITIMER_MONOTONIC wait_options = WALLSIG, WALTSIG, WCONTINUED, WEXITED, WNOHANG, WNOZOMBIE, WSTOPPED, WTRAPPED, WUNTRACED -waitid_which = P_PID, P_PGID, P_ALL timer_flags = 0, TIMER_ABSTIME utimensat_flags = 0, AT_SYMLINK_NOFOLLOW -priority_which = PRIO_PROCESS, PRIO_PGRP, PRIO_USER fcntl_dupfd = F_DUPFD, F_DUPFD_CLOEXEC fcntl_getflags = F_GETFD, F_GETFL fcntl_lock = F_SETLK, F_SETLKW, F_GETLK |
