11462 enable smatch by default

          --- old/usr/src/tools/smatch/Makefile
          +++ new/usr/src/tools/smatch/Makefile

   1    1  #
   2    2  # This file and its contents are supplied under the terms of the
   3    3  # Common Development and Distribution License ("CDDL"), version 1.0.
   4    4  # You may only use this file in accordance with the terms of version
   5    5  # 1.0 of the CDDL.

   6    6  #
   7    7  # A full copy of the text of the CDDL should have accompanied this
   8    8  # source.  A copy of the CDDL is also available via the Internet at
   9    9  # http://www.illumos.org/license/CDDL.
  10   10  #
  11   11  # Copyright (c) 2019, Joyent, Inc.
  12   12  #
  13   13  
  14   14  #
  15   15  # The src/ sub-directory is un-modified copy of
  16      -# https://github.com/illumos/smatch/tree/0.5.1-il-1
       16 +# https://github.com/illumos/smatch/tree/0.5.1-il-3
  17   17  #
  18   18  # This Makefile installs just enough for us to be able to run smatch
  19   19  # locally.
  20   20  #
  21   21  
  22   22  PROG = smatch
  23      -SPARSE_VERSION = 0.5.1-il-1
       23 +SPARSE_VERSION = 0.5.1-il-3
  24   24  
  25   25  include ../Makefile.tools
  26   26  
  27   27  # We have to build smatch before we can use cw
  28   28  i386_CC = $(GNUC_ROOT)/bin/gcc
  29   29  sparc_CC = $(GNUC_ROOT)/bin/gcc
  30   30  
  31   31  CFLAGS = -O -D__sun -Wall -Wno-unknown-pragmas -std=gnu99 -nodefaultlibs
  32   32  
  33   33  SMATCHDATADIR = $(ROOTONBLDSHARE)/smatch

  34   34  
  35   35  CFLAGS += -DSMATCHDATADIR='"$(SMATCHDATADIR)"'
  36   36  CFLAGS += -DGCC_BASE='"/no/such/dir"'
  37   37  CFLAGS += -DMULTIARCH_TRIPLET=NULL
  38   38  
  39   39  LDLIBS += -lsqlite3 -lcrypto -lm -lgcc -lc
  40   40  LDFLAGS = $(MAPFILE.NES:%=-Wl,-M%)
  41   41  LDFLAGS += -L$(NATIVE_ADJUNCT)/lib -R$(NATIVE_ADJUNCT)/lib
  42   42  
  43   43  CPPFLAGS += -nostdinc
  44   44  CPPFLAGS += -Isrc/
  45   45  CPPFLAGS += -I$(NATIVE_ADJUNCT)/include
  46   46  
  47   47  # no install.bin
  48   48  INS.file = $(RM) $@; $(CP) $< $(@D); $(CHMOD) $(FILEMODE) $@
  49   49  INS.dir = mkdir -p $@; $(CHMOD) $(DIRMODE) $@
  50   50  
  51   51  SMATCH_CHECK_OBJS:sh=ls src/check_*.c | sed -e 's+\.c+.o+;s+src/++;'
  52   52  
  53   53  OBJS = smatch.o $(SMATCH_CHECK_OBJS)
  54   54  
  55   55  OBJS += smatch_flow.o smatch_conditions.o smatch_slist.o smatch_states.o \
  56   56          smatch_helper.o smatch_type.o smatch_hooks.o smatch_function_hooks.o \
  57   57          smatch_modification_hooks.o smatch_extra.o smatch_estate.o smatch_math.o \
  58   58          smatch_sval.o smatch_ranges.o smatch_implied.o smatch_ignore.o smatch_project.o \
  59   59          smatch_var_sym.o smatch_tracker.o smatch_files.o smatch_expression_stacks.o \
  60   60          smatch_equiv.o smatch_buf_size.o smatch_strlen.o smatch_capped.o smatch_db.o \
  61   61          smatch_expressions.o smatch_returns.o smatch_parse_call_math.o \
  62   62          smatch_param_limit.o smatch_param_filter.o \
  63   63          smatch_param_set.o smatch_comparison.o smatch_param_compare_limit.o smatch_local_values.o \
  64   64          smatch_function_ptrs.o smatch_annotate.o smatch_string_list.o \
  65   65          smatch_param_cleared.o smatch_start_states.o \
  66   66          smatch_recurse.o smatch_data_source.o smatch_type_val.o \
  67   67          smatch_common_functions.o smatch_struct_assignment.o \
  68   68          smatch_unknown_value.o smatch_stored_conditions.o avl.o \
  69   69          smatch_function_info.o smatch_links.o smatch_auto_copy.o \
  70   70          smatch_type_links.o smatch_untracked_param.o smatch_impossible.o \
  71   71          smatch_strings.o smatch_param_used.o smatch_container_of.o smatch_address.o \
  72   72          smatch_buf_comparison.o smatch_real_absolute.o smatch_scope.o \
  73   73          smatch_imaginary_absolute.o smatch_parameter_names.o \
  74   74          smatch_return_to_param.o smatch_passes_array_size.o \
  75   75          smatch_constraints.o smatch_constraints_required.o \
  76   76          smatch_fn_arg_link.o smatch_about_fn_ptr_arg.o smatch_mtag.o \
  77   77          smatch_mtag_map.o smatch_mtag_data.o \
  78   78          smatch_param_to_mtag_data.o smatch_mem_tracker.o smatch_array_values.o \
  79   79          smatch_nul_terminator.o smatch_assigned_expr.o smatch_kernel_user_data.o \
  80   80          smatch_statement_count.o
  81   81  
  82   82  OBJS += target.o parse.o tokenize.o pre-process.o symbol.o lib.o scope.o \
  83   83          expression.o show-parse.o evaluate.o expand.o inline.o linearize.o \
  84   84          char.o sort.o allocate.o compat-linux.o ptrlist.o \
  85   85          builtin.o \
  86   86          stats.o \
  87   87          flow.o cse.o simplify.o memops.o liveness.o storage.o unssa.o \
  88   88          dissect.o \
  89   89          macro_table.o token_store.o hashtable.o
  90   90  
  91   91  SMATCH_DATA = \
  92   92          illumos_kernel.no_return_funcs \
  93   93          illumos_kernel.skipped_functions \
  94   94          illumos_user.no_return_funcs \
  95   95          illumos_user.skipped_functions
  96   96  
  97   97  SMATCH_DB_DATA = \
  98   98          return_states.schema \
  99   99          call_implies.schema \
 100  100          type_value.schema \
 101  101          param_map.schema \
 102  102          function_type_size.schema \
 103  103          parameter_name.schema \
 104  104          fn_ptr_data_link.schema \
 105  105          constraints.schema \
 106  106          mtag_about.schema \
 107  107          type_info.schema \
 108  108          function_type_info.schema \
 109  109          caller_info.schema \
 110  110          function_type_value.schema \
 111  111          return_implies.schema \
 112  112          type_size.schema \
 113  113          constraints_required.schema \
 114  114          fn_data_link.schema \
 115  115          mtag_alias.schema \
 116  116          common_caller_info.schema \
 117  117          data_info.schema \
 118  118          function_type.schema \
 119  119          db.schema \
 120  120          mtag_data.schema \
 121  121          function_ptr.schema \
 122  122          sink_info.schema \
 123  123          local_values.schema \
 124  124          mtag_map.schema
 125  125  
 126  126  ROOTONBLDDATAFILES = $(SMATCH_DATA:%=$(SMATCHDATADIR)/smatch_data/%)
 127  127  ROOTONBLDDATAFILES += $(SMATCH_DB_DATA:%=$(SMATCHDATADIR)/smatch_data/db/%)
 128  128  
 129  129  BUILT_HEADERS = src/version.h src/check_list_local.h
 130  130  
 131  131  .KEEP_STATE:
 132  132  
 133  133  .PARALLEL: $(OBJS)
 134  134  
 135  135  all: $(PROG)
 136  136  
 137  137  install: all .WAIT $(ROOTONBLDMACHPROG) $(ROOTONBLDDATAFILES)
 138  138  
 139  139  clean:
 140  140          rm -f $(OBJS) $(BUILT_HEADERS)
 141  141  
 142  142  $(ROOTONBLDDATAFILES): $(SMATCHDATADIR)/smatch_data/db
 143  143  
 144  144  $(SMATCHDATADIR)/smatch_data/%: src/smatch_data/%
 145  145          $(INS.file)
 146  146  
 147  147  $(SMATCHDATADIR)/smatch_data/db:
 148  148          $(INS.dir)
 149  149  
 150  150  $(SMATCHDATADIR)/smatch_data:
 151  151          $(INS.dir)
 152  152  
 153  153  $(PROG): $(OBJS)
 154  154          $(LINK.c) $(OBJS) -o $@ $(LDLIBS)
 155  155          $(POST_PROCESS)
 156  156  
 157  157  %.o: src/%.c $(BUILT_HEADERS)
 158  158          $(COMPILE.c) -o $@ $<
 159  159  
 160  160  %.o: src/cwchash/%.c
 161  161          $(COMPILE.c) -o $@ $<
 162  162  
 163  163  src/check_list_local.h:
 164  164          touch src/check_list_local.h
 165  165  
 166  166  src/version.h:
 167  167          echo '#define SPARSE_VERSION "$(SPARSE_VERSION)"' > src/version.h
 168  168  
 169  169  include ../Makefile.targ

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX