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

@@ -23,11 +23,11 @@
  * Use is subject to license terms.
  * Copyright 2012, Josef 'Jeff' Sipek <jeffpc@31bits.net>. All rights reserved.
  */
 
 /*
- * Copyright (c) 2013, Joyent, Inc.  All rights reserved.
+ * Copyright 2019 Joyent, Inc.
  */
 
 #include <sys/types.h>
 #include <sys/mman.h>
 #include <sys/priocntl.h>

@@ -1096,11 +1096,10 @@
         }
 
         terminate((status == MDB_ERR_QUIT || status == 0) ?
             (eflag != NULL && mdb.m_lastret != 0 ? 1 : 0) : 1);
         /*NOTREACHED*/
-        return (0);
 
 reexec:
         if ((p = strrchr(execname, '/')) == NULL)
                 die("cannot determine absolute pathname\n");
 #ifdef _LP64