diff options
| author | Florian Obser <florian@cvs.openbsd.org> | 2014-07-11 15:30:48 +0000 |
|---|---|---|
| committer | Florian Obser <florian@cvs.openbsd.org> | 2014-07-11 15:30:48 +0000 |
| commit | cb9592527e657aa1f347a59c1c998663b31adf79 (patch) | |
| tree | eb6cad3a7f756fb9681d336a38062cca87926056 /sbin/ping/ping.c | |
| parent | effe50762a4d0a13d1fcf46db9a9fc1d3150b370 (diff) | |
__dead for finish()
OK benno@
Diffstat (limited to 'sbin/ping/ping.c')
| -rw-r--r-- | sbin/ping/ping.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/sbin/ping/ping.c b/sbin/ping/ping.c index ce6303aea5e..5601d81af03 100644 --- a/sbin/ping/ping.c +++ b/sbin/ping/ping.c @@ -1,4 +1,4 @@ -/* $OpenBSD: ping.c,v 1.110 2014/07/11 15:29:46 florian Exp $ */ +/* $OpenBSD: ping.c,v 1.111 2014/07/11 15:30:47 florian Exp $ */ /* $NetBSD: ping.c,v 1.20 1995/08/11 22:37:58 cgd Exp $ */ /* @@ -157,7 +157,7 @@ int bufspace = IP_MAXPACKET; void fill(char *, char *); void catcher(int signo); void prtsig(int signo); -void finish(int signo); +__dead void finish(int signo); void summary(int, int); int in_cksum(u_short *, int); void pinger(void); @@ -535,7 +535,6 @@ main(int argc, char *argv[]) } finish(0); /* NOTREACHED */ - exit(0); /* Make the compiler happy */ } /* @@ -989,7 +988,7 @@ qsqrt(quad_t qdev) * finish -- * Print out statistics, and give up. */ -void +__dead void finish(int signo) { (void)signal(SIGINT, SIG_IGN); |