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,31 ****
#
# Copyright (c) 2010, Oracle and/or its affiliates. All rights reserved.
#
# Copyright 2013 Nexenta Systems, Inc. All rights reserved.
#
! # Copyright (c) 2019, Joyent, Inc.
#
COBJS = brand_util.o
ASOBJS = crt.o handler.o runexe.o
OFFSETS_SRC = ../common/offsets.in
--- 21,31 ----
#
# Copyright (c) 2010, Oracle and/or its affiliates. All rights reserved.
#
# Copyright 2013 Nexenta Systems, Inc. All rights reserved.
#
! # Copyright 2019 Joyent, Inc.
#
COBJS = brand_util.o
ASOBJS = crt.o handler.o runexe.o
OFFSETS_SRC = ../common/offsets.in
*** 53,62 ****
--- 53,65 ----
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,76 ****
# 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) >$@
--- 68,77 ----