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>

@@ -21,11 +21,11 @@
 #
 # Copyright (c) 2010, Oracle and/or its affiliates. All rights reserved.
 #
 # Copyright 2013 Nexenta Systems, Inc.  All rights reserved.
 #
-# Copyright (c) 2019, Joyent, Inc.
+# Copyright 2019 Joyent, Inc.
 #
 
 COBJS =         brand_util.o
 ASOBJS =        crt.o handler.o runexe.o
 OFFSETS_SRC =   ../common/offsets.in

@@ -53,10 +53,13 @@
 
 CPPFLAGS +=     -D_REENTRANT -U_ASM -I. -I../sys
 CFLAGS +=       $(CCVERBOSE)
 ASFLAGS =       -P $(ASFLAGS_$(CURTYPE)) -D_ASM -I. -I../sys
 
+# intentional code after abort()
+SMOFF += unreachable
+
 .KEEP_STATE:
 
 #
 # build the offset header before trying to compile any files.  (it's included
 # by brand_misc.h, so it's needed for all objects, not just assembly ones.)

@@ -65,12 +68,10 @@
 # target dependent assignment of CTF_FLAGS will be there, otherwise make
 # will see two different commands to build it (endless rebuilds).
 #
 all: pics .WAIT $$(PICS)
 
-lint: lintcheck
-
 $(OBJECTS:%=pics/%): $(OFFSETS_H)
 
 $(OFFSETS_H): $(OFFSETS_SRC)
         $(OFFSETS_CREATE) < $(OFFSETS_SRC) >$@