summaryrefslogtreecommitdiffstats
path: root/sys
diff options
context:
space:
mode:
authorarr <arr@FreeBSD.org>2002-05-21 18:52:24 +0000
committerarr <arr@FreeBSD.org>2002-05-21 18:52:24 +0000
commit37981f345cceca42470a26bc5c4164cbdbd630cb (patch)
tree3a864b73f84ee96f800b6e857658551c76ef181c /sys
parenta491c6f95a0bde0a1667d8dc7d0e50801a057133 (diff)
downloadFreeBSD-src-37981f345cceca42470a26bc5c4164cbdbd630cb.zip
FreeBSD-src-37981f345cceca42470a26bc5c4164cbdbd630cb.tar.gz
- Change the newly turned INVARIANTS #ifdef blocks (they were changed from
DIAGNOSTIC yesterday) into KASSERT()'s as these help to increase code readability.
Diffstat (limited to 'sys')
-rw-r--r--sys/netinet/if_atm.c7
-rw-r--r--sys/netinet/ip_input.c7
-rw-r--r--sys/netinet/ip_output.c26
3 files changed, 16 insertions, 24 deletions
diff --git a/sys/netinet/if_atm.c b/sys/netinet/if_atm.c
index acad219..934309b 100644
--- a/sys/netinet/if_atm.c
+++ b/sys/netinet/if_atm.c
@@ -125,11 +125,8 @@ atm_rtrequest(req, rt, info)
break;
}
-#ifdef INVARIANTS
- if (rt->rt_ifp->if_ioctl == NULL)
- panic("atm_rtrequest: atm null ioctl");
-#endif
-
+ KASSERT(rt->rt_ifp->if_ioctl != NULL,
+ ("atm_rtrequest: null ioctl"));
#ifdef NATM
/*
* let native ATM know we are using this VCI/VPI
diff --git a/sys/netinet/ip_input.c b/sys/netinet/ip_input.c
index f0cf8fa..b33bc5b 100644
--- a/sys/netinet/ip_input.c
+++ b/sys/netinet/ip_input.c
@@ -309,10 +309,9 @@ ip_input(struct mbuf *m)
} else
rule = NULL ;
-#ifdef INVARIANTS
- if (m == NULL || (m->m_flags & M_PKTHDR) == 0)
- panic("ip_input no HDR");
-#endif
+ KASSERT(m != NULL && (m->m_flags & M_PKTHDR) != 0,
+ ("ip_input: no HDR"));
+
ipstat.ips_total++;
if (m->m_pkthdr.len < sizeof(struct ip))
diff --git a/sys/netinet/ip_output.c b/sys/netinet/ip_output.c
index 818bd94..f553872 100644
--- a/sys/netinet/ip_output.c
+++ b/sys/netinet/ip_output.c
@@ -186,13 +186,11 @@ ip_output(m0, opt, ro, flags, imo)
(void)ipsec_setsocket(m, NULL);
#endif
-#ifdef INVARIANTS
- if ((m->m_flags & M_PKTHDR) == 0)
- panic("ip_output no HDR");
- if (!ro)
- panic("ip_output no route, proto = %d",
- mtod(m, struct ip *)->ip_p);
-#endif
+ KASSERT((m->m_flags & M_PKTHDR) != 0, ("ip_output: no HDR"));
+
+ KASSERT(ro != NULL, ("ip_output: no route, proto %d",
+ mtod(m, struct ip *)->ip_p));
+
if (opt) {
m = ip_insertoptions(m, opt, &len);
hlen = len;
@@ -1111,15 +1109,13 @@ ip_optcopy(ip, jp)
optlen = 1;
continue;
}
-#ifdef INVARIANTS
- if (cnt < IPOPT_OLEN + sizeof(*cp))
- panic("malformed IPv4 option passed to ip_optcopy");
-#endif
+
+ KASSERT(cnt >= IPOPT_OLEN + sizeof(*cp),
+ ("ip_optcopy: malformed ipv4 option"));
optlen = cp[IPOPT_OLEN];
-#ifdef INVARIANTS
- if (optlen < IPOPT_OLEN + sizeof(*cp) || optlen > cnt)
- panic("malformed IPv4 option passed to ip_optcopy");
-#endif
+ KASSERT(optlen >= IPOPT_OLEN + sizeof(*cp) && optlen <= cnt,
+ ("ip_optcopy: malformed ipv4 option"));
+
/* bogus lengths should have been caught by ip_dooptions */
if (optlen > cnt)
optlen = cnt;
OpenPOWER on IntegriCloud