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>

*** 8,18 **** * source. A copy of the CDDL is also available via the Internet at * http://www.illumos.org/license/CDDL. */ /* ! * Copyright 2018 Joyent, Inc. */ /* * Utility functions for use in both acquire-lock and runtests. */ --- 8,18 ---- * source. A copy of the CDDL is also available via the Internet at * http://www.illumos.org/license/CDDL. */ /* ! * Copyright 2019 Joyent, Inc. */ /* * Utility functions for use in both acquire-lock and runtests. */
*** 99,109 **** return (LSTYLE_OFD); } else if (strcmp(stylestr, "flock") == 0) { return (LSTYLE_FLOCK); } else { errx(EXIT_FAILURE, BAD_LOCK_MESSAGE); - return (LSTYLE_LAST); } } char * --- 99,108 ----
*** 116,126 **** return ("ofd"); case LSTYLE_FLOCK: return ("flock"); default: abort(); - return ("<unreachable>"); } } char * --- 115,124 ----
*** 133,143 **** return ("fcntl(2) OFD"); case LSTYLE_FLOCK: return ("flock(3C)"); default: abort(); - return ("<unreachable>"); } } void --- 131,140 ----
*** 176,183 **** case F_OFD_GETLK64: return ("F_OFD_GETLK64"); #endif default: abort(); - return ("<unreachable>"); } } --- 173,179 ----