aboutsummaryrefslogtreecommitdiffstats
path: root/sys/netbsd
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2018-06-30 19:34:41 +0200
committerDmitry Vyukov <dvyukov@google.com>2018-06-30 19:34:41 +0200
commit664ef9a3e1016e80fc1fcbbef6e9f66a2ededfe6 (patch)
tree3f5829d9ad2ada25336f3bf98b85a65ec517c22e /sys/netbsd
parent9054fae0162950c1fd961819f64b1ac90e5930b3 (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.txt27
-rw-r--r--sys/netbsd/socket_inet.txt23
-rw-r--r--sys/netbsd/socket_inet6.txt27
-rw-r--r--sys/netbsd/sys.txt163
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