10703 smatch unreachable code checking needs reworking
Reviewed by: Toomas Soome <tsoome@me.com>
Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com>

*** 30,40 ****
   * Portions of this source code were derived from Berkeley 4.3 BSD
   * under license from the Regents of the University of California.
   */
  
  /*
!  * Copyright (c) 2018, Joyent, Inc.
   */
  
  /*LINTLIBRARY*/
  
  #include        <sys/types.h>
--- 30,40 ----
   * Portions of this source code were derived from Berkeley 4.3 BSD
   * under license from the Regents of the University of California.
   */
  
  /*
!  * Copyright 2019 Joyent, Inc.
   */
  
  /*LINTLIBRARY*/
  
  #include        <sys/types.h>
*** 440,450 ****
          p1 = d1.dptr;
          p2 = d2.dptr;
          do
                  if (*p1++ != *p2++)
                          return (*--p1 - *--p2);
!         while (--n);
          return (0);
  }
  
  int     hitab[16]
  /*
--- 440,451 ----
          p1 = d1.dptr;
          p2 = d2.dptr;
          do
                  if (*p1++ != *p2++)
                          return (*--p1 - *--p2);
!         while (--n)
!                 ;
          return (0);
  }
  
  int     hitab[16]
  /*
*** 587,593 ****
          return;
  
  bad:
          (void) printf("bad block\n");
          abort();
-         bzero(buf, PBLKSIZ);
  }
--- 588,593 ----