style(9) says these can go. -- Scott Cheloha
Index: usr.bin/time/time.c =================================================================== RCS file: /cvs/src/usr.bin/time/time.c,v retrieving revision 1.22 diff -u -p -r1.22 time.c --- usr.bin/time/time.c 13 Jul 2017 06:39:54 -0000 1.22 +++ usr.bin/time/time.c 14 Jul 2017 00:16:39 -0000 @@ -69,10 +69,8 @@ main(int argc, char *argv[]) break; default: usage(); - /* NOTREACHED */ } } - argc -= optind; argv += optind; @@ -84,12 +82,10 @@ main(int argc, char *argv[]) case -1: /* error */ perror("time"); exit(1); - /* NOTREACHED */ case 0: /* child */ execvp(*argv, argv); perror(*argv); _exit((errno == ENOENT) ? 127 : 126); - /* NOTREACHED */ } /* parent */