Print this page
new smatch
| Split |
Close |
| Expand all |
| Collapse all |
--- 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.
|
↓ open down ↓ |
5 lines elided |
↑ open up ↑ |
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 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-6
16 +# https://github.com/illumos/smatch/tree/$SPARSE_VERSION
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-6
23 +SPARSE_VERSION = 0.6.1-rc1-il-1
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 # sparc doesn't recognise -msave-args
31 31 i386_SMATCHFLAGS = -msave-args
32 32 sparc_SMATCHFLAGS =
33 33
34 34 CFLAGS = -O -m64 $($(MACH)_SMATCHFLAGS) -D__sun -Wall -Wno-unknown-pragmas -std=gnu99 -nodefaultlibs
35 35
36 36 SMATCHDATADIR = $(ROOTONBLDSHARE)/smatch
37 37
38 38 CFLAGS += -DSMATCHDATADIR='"$(SMATCHDATADIR)"'
39 39 CFLAGS += -DGCC_BASE='"/no/such/dir"'
40 40 CFLAGS += -DMULTIARCH_TRIPLET=NULL
41 41
42 42 LDLIBS += -lsqlite3 -lcrypto -lm -lgcc -lc
43 43 LDFLAGS = $(MAPFILE.NES:%=-Wl,-M%)
|
↓ open down ↓ |
10 lines elided |
↑ open up ↑ |
44 44 LDFLAGS += -L$(NATIVE_ADJUNCT)/lib -R$(NATIVE_ADJUNCT)/lib
45 45
46 46 CPPFLAGS += -nostdinc
47 47 CPPFLAGS += -Isrc/
48 48 CPPFLAGS += -I$(NATIVE_ADJUNCT)/include
49 49
50 50 # no install.bin
51 51 INS.file = $(RM) $@; $(CP) $< $(@D); $(CHMOD) $(FILEMODE) $@
52 52 INS.dir = mkdir -p $@; $(CHMOD) $(DIRMODE) $@
53 53
54 -SMATCH_CHECK_OBJS:sh=ls src/check_*.c | sed -e 's+\.c+.o+;s+src/++;'
54 +# fine for us
55 +OS=linux
55 56
56 -OBJS = smatch.o $(SMATCH_CHECK_OBJS)
57 +LIB_OBJS =
58 +LIB_OBJS += allocate.o
59 +LIB_OBJS += builtin.o
60 +LIB_OBJS += char.o
61 +LIB_OBJS += compat-$(OS).o
62 +LIB_OBJS += cse.o
63 +LIB_OBJS += dissect.o
64 +LIB_OBJS += dominate.o
65 +LIB_OBJS += evaluate.o
66 +LIB_OBJS += expand.o
67 +LIB_OBJS += expression.o
68 +LIB_OBJS += flow.o
69 +LIB_OBJS += flowgraph.o
70 +LIB_OBJS += inline.o
71 +LIB_OBJS += ir.o
72 +LIB_OBJS += lib.o
73 +LIB_OBJS += linearize.o
74 +LIB_OBJS += liveness.o
75 +LIB_OBJS += memops.o
76 +LIB_OBJS += opcode.o
77 +LIB_OBJS += optimize.o
78 +LIB_OBJS += parse.o
79 +LIB_OBJS += pre-process.o
80 +LIB_OBJS += ptrlist.o
81 +LIB_OBJS += ptrmap.o
82 +LIB_OBJS += scope.o
83 +LIB_OBJS += show-parse.o
84 +LIB_OBJS += simplify.o
85 +LIB_OBJS += sort.o
86 +LIB_OBJS += ssa.o
87 +LIB_OBJS += sset.o
88 +LIB_OBJS += stats.o
89 +LIB_OBJS += storage.o
90 +LIB_OBJS += symbol.o
91 +LIB_OBJS += target.o
92 +LIB_OBJS += tokenize.o
93 +LIB_OBJS += unssa.o
94 +LIB_OBJS += utils.o
95 +LIB_OBJS += macro_table.o
96 +LIB_OBJS += token_store.o
97 +LIB_OBJS += hashtable.o
57 98
58 -OBJS += smatch_flow.o smatch_conditions.o smatch_slist.o smatch_states.o \
59 - smatch_helper.o smatch_type.o smatch_hooks.o smatch_function_hooks.o \
60 - smatch_modification_hooks.o smatch_extra.o smatch_estate.o smatch_math.o \
61 - smatch_sval.o smatch_ranges.o smatch_implied.o smatch_ignore.o smatch_project.o \
62 - smatch_var_sym.o smatch_tracker.o smatch_files.o smatch_expression_stacks.o \
63 - smatch_equiv.o smatch_buf_size.o smatch_strlen.o smatch_capped.o smatch_db.o \
64 - smatch_expressions.o smatch_returns.o smatch_parse_call_math.o \
65 - smatch_param_limit.o smatch_param_filter.o \
66 - smatch_param_set.o smatch_comparison.o smatch_param_compare_limit.o smatch_local_values.o \
67 - smatch_function_ptrs.o smatch_annotate.o smatch_string_list.o \
68 - smatch_param_cleared.o smatch_start_states.o \
69 - smatch_recurse.o smatch_data_source.o smatch_type_val.o \
70 - smatch_common_functions.o smatch_struct_assignment.o \
71 - smatch_unknown_value.o smatch_stored_conditions.o avl.o \
72 - smatch_function_info.o smatch_links.o smatch_auto_copy.o \
73 - smatch_type_links.o smatch_untracked_param.o smatch_impossible.o \
74 - smatch_strings.o smatch_param_used.o smatch_container_of.o smatch_address.o \
75 - smatch_buf_comparison.o smatch_real_absolute.o smatch_scope.o \
76 - smatch_imaginary_absolute.o smatch_parameter_names.o \
77 - smatch_return_to_param.o smatch_passes_array_size.o \
78 - smatch_constraints.o smatch_constraints_required.o \
79 - smatch_fn_arg_link.o smatch_about_fn_ptr_arg.o smatch_mtag.o \
80 - smatch_mtag_map.o smatch_mtag_data.o \
81 - smatch_param_to_mtag_data.o smatch_mem_tracker.o smatch_array_values.o \
82 - smatch_nul_terminator.o smatch_assigned_expr.o smatch_kernel_user_data.o \
83 - smatch_statement_count.o smatch_bits.o smatch_integer_overflow.o
99 +SMATCH_OBJS =
100 +SMATCH_OBJS += avl.o
101 +SMATCH_OBJS += smatch_about_fn_ptr_arg.o
102 +SMATCH_OBJS += smatch_address.o
103 +SMATCH_OBJS += smatch_annotate.o
104 +SMATCH_OBJS += smatch_array_values.o
105 +SMATCH_OBJS += smatch_assigned_expr.o
106 +SMATCH_OBJS += smatch_bits.o
107 +SMATCH_OBJS += smatch_buf_comparison.o
108 +SMATCH_OBJS += smatch_buf_size.o
109 +SMATCH_OBJS += smatch_capped.o
110 +SMATCH_OBJS += smatch_common_functions.o
111 +SMATCH_OBJS += smatch_comparison.o
112 +SMATCH_OBJS += smatch_conditions.o
113 +SMATCH_OBJS += smatch_constraints.o
114 +SMATCH_OBJS += smatch_constraints_required.o
115 +SMATCH_OBJS += smatch_container_of.o
116 +SMATCH_OBJS += smatch_data_source.o
117 +SMATCH_OBJS += smatch_db.o
118 +SMATCH_OBJS += smatch_equiv.o
119 +SMATCH_OBJS += smatch_estate.o
120 +SMATCH_OBJS += smatch_expressions.o
121 +SMATCH_OBJS += smatch_expression_stacks.o
122 +SMATCH_OBJS += smatch_extra.o
123 +SMATCH_OBJS += smatch_files.o
124 +SMATCH_OBJS += smatch_flow.o
125 +SMATCH_OBJS += smatch_fn_arg_link.o
126 +SMATCH_OBJS += smatch_function_hooks.o
127 +SMATCH_OBJS += smatch_function_info.o
128 +SMATCH_OBJS += smatch_function_ptrs.o
129 +SMATCH_OBJS += smatch_helper.o
130 +SMATCH_OBJS += smatch_hooks.o
131 +SMATCH_OBJS += smatch_ignore.o
132 +SMATCH_OBJS += smatch_imaginary_absolute.o
133 +SMATCH_OBJS += smatch_implied.o
134 +SMATCH_OBJS += smatch_impossible.o
135 +SMATCH_OBJS += smatch_integer_overflow.o
136 +SMATCH_OBJS += smatch_kernel_user_data.o
137 +SMATCH_OBJS += smatch_links.o
138 +SMATCH_OBJS += smatch_math.o
139 +SMATCH_OBJS += smatch_mem_tracker.o
140 +SMATCH_OBJS += smatch_modification_hooks.o
141 +SMATCH_OBJS += smatch_mtag_data.o
142 +SMATCH_OBJS += smatch_mtag_map.o
143 +SMATCH_OBJS += smatch_mtag.o
144 +SMATCH_OBJS += smatch_nul_terminator.o
145 +SMATCH_OBJS += smatch_param_cleared.o
146 +SMATCH_OBJS += smatch_param_compare_limit.o
147 +SMATCH_OBJS += smatch_parameter_names.o
148 +SMATCH_OBJS += smatch_param_filter.o
149 +SMATCH_OBJS += smatch_param_limit.o
150 +SMATCH_OBJS += smatch_param_set.o
151 +SMATCH_OBJS += smatch_param_to_mtag_data.o
152 +SMATCH_OBJS += smatch_param_used.o
153 +SMATCH_OBJS += smatch_parse_call_math.o
154 +SMATCH_OBJS += smatch_passes_array_size.o
155 +SMATCH_OBJS += smatch_project.o
156 +SMATCH_OBJS += smatch_ranges.o
157 +SMATCH_OBJS += smatch_real_absolute.o
158 +SMATCH_OBJS += smatch_recurse.o
159 +SMATCH_OBJS += smatch_returns.o
160 +SMATCH_OBJS += smatch_return_to_param.o
161 +SMATCH_OBJS += smatch_scope.o
162 +SMATCH_OBJS += smatch_slist.o
163 +SMATCH_OBJS += smatch_start_states.o
164 +SMATCH_OBJS += smatch_statement_count.o
165 +SMATCH_OBJS += smatch_states.o
166 +SMATCH_OBJS += smatch_stored_conditions.o
167 +SMATCH_OBJS += smatch_string_list.o
168 +SMATCH_OBJS += smatch_strings.o
169 +SMATCH_OBJS += smatch_strlen.o
170 +SMATCH_OBJS += smatch_struct_assignment.o
171 +SMATCH_OBJS += smatch_sval.o
172 +SMATCH_OBJS += smatch_tracker.o
173 +SMATCH_OBJS += smatch_type_links.o
174 +SMATCH_OBJS += smatch_type.o
175 +SMATCH_OBJS += smatch_type_val.o
176 +SMATCH_OBJS += smatch_unknown_value.o
177 +SMATCH_OBJS += smatch_untracked_param.o
178 +SMATCH_OBJS += smatch_var_sym.o
84 179
85 -OBJS += target.o parse.o tokenize.o pre-process.o symbol.o lib.o scope.o \
86 - expression.o show-parse.o evaluate.o expand.o inline.o linearize.o \
87 - char.o sort.o allocate.o compat-linux.o ptrlist.o \
88 - builtin.o \
89 - stats.o \
90 - flow.o cse.o simplify.o memops.o liveness.o storage.o unssa.o \
91 - dissect.o \
92 - macro_table.o token_store.o hashtable.o
180 +SMATCH_CHECK_OBJS:sh=ls src/check_*.c | sed -e 's+\.c+.o+;s+src/++;'
93 181
182 +OBJS = smatch.o $(LIB_OBJS) $(SMATCH_OBJS) $(SMATCH_CHECK_OBJS)
183 +
94 184 SMATCH_DATA = \
95 185 illumos_kernel.skipped_functions \
96 186 illumos_user.skipped_functions
97 187
98 -SMATCH_DB_DATA = \
99 - return_states.schema \
100 - call_implies.schema \
101 - type_value.schema \
102 - param_map.schema \
103 - function_type_size.schema \
104 - parameter_name.schema \
105 - fn_ptr_data_link.schema \
106 - constraints.schema \
107 - mtag_about.schema \
108 - type_info.schema \
109 - function_type_info.schema \
110 - caller_info.schema \
111 - function_type_value.schema \
112 - return_implies.schema \
113 - type_size.schema \
114 - constraints_required.schema \
115 - fn_data_link.schema \
116 - mtag_alias.schema \
117 - common_caller_info.schema \
118 - data_info.schema \
119 - function_type.schema \
120 - db.schema \
121 - mtag_data.schema \
122 - function_ptr.schema \
123 - sink_info.schema \
124 - local_values.schema \
125 - mtag_map.schema
188 +SMATCH_DB_DATA =
189 +SMATCH_DB_DATA += call_implies.schema
190 +SMATCH_DB_DATA += function_ptr.schema
191 +SMATCH_DB_DATA += mtag_map.schema
192 +SMATCH_DB_DATA += caller_info.schema
193 +SMATCH_DB_DATA += function_type.schema
194 +SMATCH_DB_DATA += param_map.schema
195 +SMATCH_DB_DATA += common_caller_info.schema
196 +SMATCH_DB_DATA += function_type_info.schema
197 +SMATCH_DB_DATA += parameter_name.schema
198 +SMATCH_DB_DATA += constraints.schema
199 +SMATCH_DB_DATA += function_type_size.schema
200 +SMATCH_DB_DATA += return_implies.schema
201 +SMATCH_DB_DATA += constraints_required.schema
202 +SMATCH_DB_DATA += function_type_value.schema
203 +SMATCH_DB_DATA += return_states.schema
204 +SMATCH_DB_DATA += data_info.schema
205 +SMATCH_DB_DATA += local_values.schema
206 +SMATCH_DB_DATA += sink_info.schema
207 +SMATCH_DB_DATA += db.schema
208 +SMATCH_DB_DATA += mtag_about.schema
209 +SMATCH_DB_DATA += type_info.schema
210 +SMATCH_DB_DATA += fn_data_link.schema
211 +SMATCH_DB_DATA += mtag_alias.schema
212 +SMATCH_DB_DATA += type_size.schema
213 +SMATCH_DB_DATA += fn_ptr_data_link.schema
214 +SMATCH_DB_DATA += mtag_data.schema
215 +SMATCH_DB_DATA += type_value.schema
126 216
127 217 ROOTONBLDDATAFILES = $(SMATCH_DATA:%=$(SMATCHDATADIR)/smatch_data/%)
128 218 ROOTONBLDDATAFILES += $(SMATCH_DB_DATA:%=$(SMATCHDATADIR)/smatch_data/db/%)
129 219
130 220 BUILT_HEADERS = src/version.h src/check_list_local.h
131 221
132 222 .KEEP_STATE:
133 223
134 224 .PARALLEL: $(OBJS)
135 225
136 226 all: $(PROG)
137 227
138 228 install: all .WAIT $(ROOTONBLDMACHPROG) $(ROOTONBLDDATAFILES)
139 229
140 230 clean:
141 231 rm -f $(OBJS) $(BUILT_HEADERS)
142 232
143 233 $(ROOTONBLDDATAFILES): $(SMATCHDATADIR)/smatch_data/db
144 234
|
↓ open down ↓ |
9 lines elided |
↑ open up ↑ |
145 235 $(SMATCHDATADIR)/smatch_data/%: src/smatch_data/%
146 236 $(INS.file)
147 237
148 238 $(SMATCHDATADIR)/smatch_data/db:
149 239 $(INS.dir)
150 240
151 241 $(SMATCHDATADIR)/smatch_data:
152 242 $(INS.dir)
153 243
154 244 $(PROG): $(OBJS)
245 + pwd "LEVON $(pwd)
155 246 $(LINK.c) $(OBJS) -o $@ $(LDLIBS)
156 247 $(POST_PROCESS)
157 248
158 249 %.o: src/%.c $(BUILT_HEADERS)
159 250 $(COMPILE.c) -o $@ $<
160 251
161 252 %.o: src/cwchash/%.c
162 253 $(COMPILE.c) -o $@ $<
163 254
164 255 src/check_list_local.h:
165 256 touch src/check_list_local.h
166 257
167 258 src/version.h:
168 259 echo '#define SPARSE_VERSION "$(SPARSE_VERSION)"' > src/version.h
169 260
170 261 include ../Makefile.targ
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX