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

Split Close
Expand all
Collapse all
          --- old/usr/src/uts/intel/usbms/Makefile
          +++ new/usr/src/uts/intel/usbms/Makefile
↓ open down ↓ 15 lines elided ↑ open up ↑
  16   16  # fields enclosed by brackets "[]" replaced with your own identifying
  17   17  # information: Portions Copyright [yyyy] [name of copyright owner]
  18   18  #
  19   19  # CDDL HEADER END
  20   20  #
  21   21  #
  22   22  # uts/intel/usbms/Makefile
  23   23  # Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
  24   24  # Use is subject to license terms.
  25   25  #
  26      -#
  27      -#       This makefile drives the production of the usbms driver kernel module.
  28      -#
       26 +# Copyright (c) 2018, Joyent, Inc.
  29   27  
  30   28  #
  31   29  #       Path to the base of the uts directory tree (usually /usr/src/uts).
  32   30  #
  33   31  UTSBASE = ../..
  34   32  
  35   33  #
  36   34  #       Define the module and object file sets.
  37   35  #
  38   36  MODULE          = usbms
↓ open down ↓ 27 lines elided ↑ open up ↑
  66   64  #
  67   65  # For now, disable these lint checks; maintainers should endeavor
  68   66  # to investigate and remove these for maximum lint coverage.
  69   67  # Please do not carry these forward to new Makefiles.
  70   68  #
  71   69  LINTTAGS        += -erroff=E_BAD_PTR_CAST_ALIGN
  72   70  
  73   71  CERRWARN        += -_gcc=-Wno-parentheses
  74   72  CERRWARN        += -_gcc=-Wno-uninitialized
  75   73  
       74 +# needs work
       75 +SMOFF += deref_check
       76 +
  76   77  #
  77   78  #       Default build targets.
  78   79  #
  79   80  .KEEP_STATE:
  80   81  
  81   82  def:            $(DEF_DEPS)
  82   83  
  83   84  all:            $(ALL_DEPS)
  84   85  
  85   86  clean:          $(CLEAN_DEPS)
↓ open down ↓ 16 lines elided ↑ open up ↑
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX