Print this page
10077 usr/src/uts/ Makefile changes for smatch

*** 20,29 **** --- 20,30 ---- # # # Copyright 2009 Sun Microsystems, Inc. All rights reserved. # Use is subject to license terms. # + # Copyright (c) 2018, Joyent, Inc. # # This makefile drives the production of the rwd driver kernel module. # # i86pc architecture dependent
*** 65,74 **** --- 66,78 ---- LINTTAGS += -erroff=E_BAD_PTR_CAST_ALIGN CERRWARN += -_gcc=-Wno-uninitialized CERRWARN += -_gcc=-Wno-unused-value + # needs work + SMOFF += return_cast + # # Default build targets. # .KEEP_STATE: