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

Split Close
Expand all
Collapse all
          --- old/usr/src/cmd/mdb/common/mdb/mdb_main.c
          +++ new/usr/src/cmd/mdb/common/mdb/mdb_main.c
↓ open down ↓ 17 lines elided ↑ open up ↑
  18   18   *
  19   19   * CDDL HEADER END
  20   20   */
  21   21  /*
  22   22   * Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
  23   23   * Use is subject to license terms.
  24   24   * Copyright 2012, Josef 'Jeff' Sipek <jeffpc@31bits.net>. All rights reserved.
  25   25   */
  26   26  
  27   27  /*
  28      - * Copyright (c) 2013, Joyent, Inc.  All rights reserved.
       28 + * Copyright 2019 Joyent, Inc.
  29   29   */
  30   30  
  31   31  #include <sys/types.h>
  32   32  #include <sys/mman.h>
  33   33  #include <sys/priocntl.h>
  34   34  #include <sys/rtpriocntl.h>
  35   35  #include <sys/resource.h>
  36   36  #include <sys/termios.h>
  37   37  #include <sys/param.h>
  38   38  #include <sys/regset.h>
↓ open down ↓ 1052 lines elided ↑ open up ↑
1091 1091                      mdb_iob_getflags(mdb.m_out) & MDB_IOB_ERR) {
1092 1092                          mdb_warn("write to stdout failed, exiting\n");
1093 1093                          break;
1094 1094                  }
1095 1095                  continue;
1096 1096          }
1097 1097  
1098 1098          terminate((status == MDB_ERR_QUIT || status == 0) ?
1099 1099              (eflag != NULL && mdb.m_lastret != 0 ? 1 : 0) : 1);
1100 1100          /*NOTREACHED*/
1101      -        return (0);
1102 1101  
1103 1102  reexec:
1104 1103          if ((p = strrchr(execname, '/')) == NULL)
1105 1104                  die("cannot determine absolute pathname\n");
1106 1105  #ifdef _LP64
1107 1106  #ifdef __sparc
1108 1107          (void) strcpy(p, "/../sparcv7/");
1109 1108  #else
1110 1109          (void) strcpy(p, "/../i86/");
1111 1110  #endif
↓ open down ↓ 34 lines elided ↑ open up ↑
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX