Print this page
12826 update to smatch 0.6.1-rc1-il-6
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/Makefile
+++ new/usr/src/tools/smatch/src/Makefile
1 -VERSION=0.6.1-rc1-il-5
1 +VERSION=0.6.1-rc1-il-6
2 2
3 3 ########################################################################
4 4 # The following variables can be overwritten from the command line
5 5 OS = linux
6 6
7 7
8 8 CC ?= gcc
9 9 LD = $(CC)
10 10 AR = ar
11 11
12 12 CFLAGS ?= -g
13 13
14 14 DESTDIR ?=
15 15 PREFIX ?= $(HOME)
16 16 BINDIR ?= $(PREFIX)/bin
17 17 MANDIR ?= $(PREFIX)/share/man
18 18
19 19 PKG_CONFIG ?= pkg-config
20 20
21 21 CHECKER_FLAGS ?= -Wno-vla
22 22
23 23 # Allow users to override build settings without dirtying their trees
24 24 # For debugging, put this in local.mk:
25 25 #
26 26 # CFLAGS += -O0 -DDEBUG -g3 -gdwarf-2
27 27 #
28 28 SPARSE_LOCAL_CONFIG ?= local.mk
29 29 -include ${SPARSE_LOCAL_CONFIG}
30 30 ########################################################################
31 31
32 32
33 33 LIB_OBJS :=
34 34 LIB_OBJS += allocate.o
35 35 LIB_OBJS += builtin.o
36 36 LIB_OBJS += char.o
37 37 LIB_OBJS += compat-$(OS).o
38 38 LIB_OBJS += cse.o
39 39 LIB_OBJS += dissect.o
40 40 LIB_OBJS += dominate.o
41 41 LIB_OBJS += evaluate.o
42 42 LIB_OBJS += expand.o
43 43 LIB_OBJS += expression.o
44 44 LIB_OBJS += flow.o
45 45 LIB_OBJS += flowgraph.o
46 46 LIB_OBJS += inline.o
47 47 LIB_OBJS += ir.o
48 48 LIB_OBJS += lib.o
49 49 LIB_OBJS += linearize.o
50 50 LIB_OBJS += liveness.o
51 51 LIB_OBJS += memops.o
52 52 LIB_OBJS += opcode.o
53 53 LIB_OBJS += optimize.o
54 54 LIB_OBJS += parse.o
55 55 LIB_OBJS += pre-process.o
56 56 LIB_OBJS += ptrlist.o
57 57 LIB_OBJS += ptrmap.o
58 58 LIB_OBJS += scope.o
59 59 LIB_OBJS += show-parse.o
60 60 LIB_OBJS += simplify.o
61 61 LIB_OBJS += sort.o
62 62 LIB_OBJS += ssa.o
63 63 LIB_OBJS += sset.o
64 64 LIB_OBJS += stats.o
65 65 LIB_OBJS += storage.o
66 66 LIB_OBJS += symbol.o
67 67 LIB_OBJS += target.o
68 68 LIB_OBJS += tokenize.o
69 69 LIB_OBJS += unssa.o
70 70 LIB_OBJS += utils.o
71 71 LIB_OBJS += macro_table.o
72 72 LIB_OBJS += token_store.o
73 73 LIB_OBJS += cwchash/hashtable.o
74 74
75 75 PROGRAMS :=
76 76 PROGRAMS += compile
77 77 PROGRAMS += ctags
78 78 PROGRAMS += example
79 79 PROGRAMS += graph
80 80 PROGRAMS += obfuscate
81 81 PROGRAMS += sparse
82 82 PROGRAMS += test-dissect
83 83 PROGRAMS += test-lexing
84 84 PROGRAMS += test-linearize
85 85 PROGRAMS += test-parsing
86 86 PROGRAMS += test-unssa
87 87
88 88 INST_PROGRAMS=smatch sparse cgcc
89 89 INST_MAN1=sparse.1 cgcc.1
90 90
91 91
92 92 all:
93 93
94 94 ########################################################################
95 95 # common flags/options/...
96 96
97 97 cflags = -fno-strict-aliasing
98 98 cflags += -Wall -Wwrite-strings -Wno-switch -Wno-psabi
99 99
100 100 GCC_BASE := $(shell $(CC) --print-file-name=)
101 101 cflags += -DGCC_BASE=\"$(GCC_BASE)\"
102 102
103 103 MULTIARCH_TRIPLET := $(shell $(CC) -print-multiarch 2>/dev/null)
104 104 cflags += -DMULTIARCH_TRIPLET=\"$(MULTIARCH_TRIPLET)\"
105 105
106 106
107 107 bindir := $(DESTDIR)$(BINDIR)
108 108 man1dir := $(DESTDIR)$(MANDIR)/man1
109 109
110 110 ########################################################################
111 111 # target specificities
112 112
113 113 compile: compile-i386.o
114 114 EXTRA_OBJS += compile-i386.o
115 115
116 116 # Can we use GCC's generated dependencies?
117 117 HAVE_GCC_DEP:=$(shell touch .gcc-test.c && \
118 118 $(CC) -c -Wp,-MP,-MMD,.gcc-test.d .gcc-test.c 2>/dev/null && \
119 119 echo 'yes'; rm -f .gcc-test.d .gcc-test.o .gcc-test.c)
120 120 ifeq ($(HAVE_GCC_DEP),yes)
121 121 cflags += -Wp,-MP,-MMD,$(@D)/.$(@F).d
122 122 endif
123 123
124 124 # Can we use libxml (needed for c2xml)?
125 125 HAVE_LIBXML:=$(shell $(PKG_CONFIG) --exists libxml-2.0 2>/dev/null && echo 'yes')
126 126 ifeq ($(HAVE_LIBXML),yes)
127 127 PROGRAMS+=c2xml
128 128 INST_PROGRAMS+=c2xml
129 129 c2xml-ldlibs := $(shell $(PKG_CONFIG) --libs libxml-2.0)
130 130 c2xml-cflags := $(shell $(PKG_CONFIG) --cflags libxml-2.0)
131 131 else
132 132 $(warning Your system does not have libxml, disabling c2xml)
133 133 endif
134 134
135 135 # Can we use gtk (needed for test-inspect)
136 136 GTK_VERSION:=3.0
137 137 HAVE_GTK:=$(shell $(PKG_CONFIG) --exists gtk+-$(GTK_VERSION) 2>/dev/null && echo 'yes')
138 138 ifneq ($(HAVE_GTK),yes)
139 139 GTK_VERSION:=2.0
140 140 HAVE_GTK:=$(shell $(PKG_CONFIG) --exists gtk+-$(GTK_VERSION) 2>/dev/null && echo 'yes')
141 141 endif
142 142 ifeq ($(HAVE_GTK),yes)
143 143 GTK_CFLAGS := $(shell $(PKG_CONFIG) --cflags gtk+-$(GTK_VERSION))
144 144 ast-view-cflags := $(GTK_CFLAGS)
145 145 ast-model-cflags := $(GTK_CFLAGS)
146 146 ast-inspect-cflags := $(GTK_CFLAGS)
147 147 test-inspect-cflags := $(GTK_CFLAGS)
148 148 test-inspect-ldlibs := $(shell $(PKG_CONFIG) --libs gtk+-$(GTK_VERSION))
149 149 test-inspect: ast-model.o ast-view.o ast-inspect.o
150 150 EXTRA_OBJS += ast-model.o ast-view.o ast-inspect.o
151 151 PROGRAMS += test-inspect
152 152 INST_PROGRAMS += test-inspect
153 153 else
154 154 $(warning Your system does not have gtk3/gtk2, disabling test-inspect)
155 155 endif
156 156
157 157 # Can we use LLVM (needed for ... sparse-llvm)?
158 158 LLVM_CONFIG:=llvm-config
159 159 HAVE_LLVM:=$(shell $(LLVM_CONFIG) --version >/dev/null 2>&1 && echo 'yes')
160 160 ifeq ($(HAVE_LLVM),yes)
161 161 arch := $(shell uname -m)
162 162 ifeq (${MULTIARCH_TRIPLET},x86_64-linux-gnux32)
163 163 arch := x32
164 164 endif
165 165 ifneq ($(filter ${arch},i386 i486 i586 i686 x86_64 amd64),)
166 166 LLVM_VERSION:=$(shell $(LLVM_CONFIG) --version)
167 167 ifeq ($(shell expr "$(LLVM_VERSION)" : '[3-9]\.'),2)
168 168 LLVM_PROGS := sparse-llvm
169 169 $(LLVM_PROGS): LD := g++
170 170 LLVM_LDFLAGS := $(shell $(LLVM_CONFIG) --ldflags)
171 171 LLVM_CFLAGS := -I$(shell $(LLVM_CONFIG) --includedir)
172 172 LLVM_LIBS := $(shell $(LLVM_CONFIG) --libs)
173 173 LLVM_LIBS += $(shell $(LLVM_CONFIG) --system-libs 2>/dev/null)
174 174 LLVM_LIBS += $(shell $(LLVM_CONFIG) --cxxflags | grep -F -q -e '-stdlib=libc++' && echo -lc++)
175 175 PROGRAMS += $(LLVM_PROGS)
176 176 INST_PROGRAMS += sparse-llvm sparsec
177 177 sparse-llvm-cflags := $(LLVM_CFLAGS) -D__STDC_CONSTANT_MACROS -D__STDC_LIMIT_MACROS
178 178 sparse-llvm-ldflags := $(LLVM_LDFLAGS)
179 179 sparse-llvm-ldlibs := $(LLVM_LIBS)
180 180 else
181 181 $(warning LLVM 3.0 or later required. Your system has version $(LLVM_VERSION) installed.)
182 182 endif
183 183 else
184 184 $(warning sparse-llvm disabled on ${arch})
185 185 endif
186 186 else
187 187 $(warning Your system does not have llvm, disabling sparse-llvm)
188 188 endif
189 189
190 190 ########################################################################
191 191 LIBS := libsparse.a
192 192 OBJS := $(LIB_OBJS) $(EXTRA_OBJS) $(PROGRAMS:%=%.o)
193 193
194 194 # Pretty print
195 195 V := @
196 196 Q := $(V:1=)
197 197
198 198 ########################################################################
199 199
200 200 SMATCHDATADIR=$(INSTALL_PREFIX)/share/smatch
201 201
202 202 SMATCH_OBJS :=
203 203 SMATCH_OBJS += avl.o
204 204 SMATCH_OBJS += smatch_about_fn_ptr_arg.o
205 205 SMATCH_OBJS += smatch_address.o
206 206 SMATCH_OBJS += smatch_annotate.o
207 207 SMATCH_OBJS += smatch_array_values.o
208 208 SMATCH_OBJS += smatch_assigned_expr.o
209 209 SMATCH_OBJS += smatch_bits.o
210 210 SMATCH_OBJS += smatch_buf_comparison.o
211 211 SMATCH_OBJS += smatch_buf_size.o
212 212 SMATCH_OBJS += smatch_capped.o
213 213 SMATCH_OBJS += smatch_common_functions.o
214 214 SMATCH_OBJS += smatch_comparison.o
215 215 SMATCH_OBJS += smatch_conditions.o
216 216 SMATCH_OBJS += smatch_constraints.o
217 217 SMATCH_OBJS += smatch_constraints_required.o
218 218 SMATCH_OBJS += smatch_container_of.o
219 219 SMATCH_OBJS += smatch_data_source.o
220 220 SMATCH_OBJS += smatch_db.o
221 221 SMATCH_OBJS += smatch_equiv.o
222 222 SMATCH_OBJS += smatch_estate.o
223 223 SMATCH_OBJS += smatch_expressions.o
224 224 SMATCH_OBJS += smatch_expression_stacks.o
225 225 SMATCH_OBJS += smatch_extra.o
226 226 SMATCH_OBJS += smatch_files.o
227 227 SMATCH_OBJS += smatch_flow.o
228 228 SMATCH_OBJS += smatch_fn_arg_link.o
229 229 SMATCH_OBJS += smatch_fresh_alloc.o
230 230 SMATCH_OBJS += smatch_function_hooks.o
231 231 SMATCH_OBJS += smatch_function_info.o
232 232 SMATCH_OBJS += smatch_function_ptrs.o
233 233 SMATCH_OBJS += smatch_helper.o
234 234 SMATCH_OBJS += smatch_hooks.o
235 235 SMATCH_OBJS += smatch_ignore.o
236 236 SMATCH_OBJS += smatch_imaginary_absolute.o
237 237 SMATCH_OBJS += smatch_implied.o
238 238 SMATCH_OBJS += smatch_impossible.o
239 239 SMATCH_OBJS += smatch_integer_overflow.o
240 240 SMATCH_OBJS += smatch_kernel_user_data.o
241 241 SMATCH_OBJS += smatch_links.o
242 242 SMATCH_OBJS += smatch_math.o
243 243 SMATCH_OBJS += smatch_mem_tracker.o
244 244 SMATCH_OBJS += smatch_modification_hooks.o
245 245 SMATCH_OBJS += smatch_mtag_data.o
246 246 SMATCH_OBJS += smatch_mtag_map.o
247 247 SMATCH_OBJS += smatch_mtag.o
248 248 SMATCH_OBJS += smatch_nul_terminator.o
249 249 SMATCH_OBJS += smatch_param_cleared.o
250 250 SMATCH_OBJS += smatch_param_compare_limit.o
251 251 SMATCH_OBJS += smatch_parameter_names.o
252 252 SMATCH_OBJS += smatch_param_filter.o
253 253 SMATCH_OBJS += smatch_param_limit.o
254 254 SMATCH_OBJS += smatch_param_set.o
255 255 SMATCH_OBJS += smatch_param_to_mtag_data.o
256 256 SMATCH_OBJS += smatch_param_used.o
257 257 SMATCH_OBJS += smatch_parse_call_math.o
258 258 SMATCH_OBJS += smatch_parsed_conditions.o
259 259 SMATCH_OBJS += smatch_passes_array_size.o
260 260 SMATCH_OBJS += smatch_project.o
261 261 SMATCH_OBJS += smatch_ranges.o
262 262 SMATCH_OBJS += smatch_real_absolute.o
263 263 SMATCH_OBJS += smatch_recurse.o
264 264 SMATCH_OBJS += smatch_returns.o
265 265 SMATCH_OBJS += smatch_return_to_param.o
266 266 SMATCH_OBJS += smatch_scope.o
267 267 SMATCH_OBJS += smatch_slist.o
268 268 SMATCH_OBJS += smatch_start_states.o
269 269 SMATCH_OBJS += smatch_statement_count.o
270 270 SMATCH_OBJS += smatch_states.o
271 271 SMATCH_OBJS += smatch_stored_conditions.o
272 272 SMATCH_OBJS += smatch_string_list.o
273 273 SMATCH_OBJS += smatch_strings.o
274 274 SMATCH_OBJS += smatch_strlen.o
275 275 SMATCH_OBJS += smatch_struct_assignment.o
276 276 SMATCH_OBJS += smatch_sval.o
277 277 SMATCH_OBJS += smatch_tracker.o
278 278 SMATCH_OBJS += smatch_type_links.o
279 279 SMATCH_OBJS += smatch_type.o
280 280 SMATCH_OBJS += smatch_type_val.o
281 281 SMATCH_OBJS += smatch_unknown_value.o
282 282 SMATCH_OBJS += smatch_untracked_param.o
283 283 SMATCH_OBJS += smatch_var_sym.o
284 284
285 285 SMATCH_CHECKS=$(shell ls check_*.c | sed -e 's/\.c/.o/')
286 286 SMATCH_DATA=smatch_data/kernel.allocation_funcs \
287 287 smatch_data/kernel.frees_argument smatch_data/kernel.puts_argument \
288 288 smatch_data/kernel.dev_queue_xmit smatch_data/kernel.returns_err_ptr \
289 289 smatch_data/kernel.dma_funcs smatch_data/kernel.returns_held_funcs \
290 290 smatch_data/kernel.no_return_funcs
291 291
292 292 SMATCH_SCRIPTS=smatch_scripts/add_gfp_to_allocations.sh \
293 293 smatch_scripts/build_kernel_data.sh \
294 294 smatch_scripts/call_tree.pl smatch_scripts/filter_kernel_deref_check.sh \
295 295 smatch_scripts/find_expanded_holes.pl smatch_scripts/find_null_params.sh \
296 296 smatch_scripts/follow_params.pl smatch_scripts/gen_allocation_list.sh \
297 297 smatch_scripts/gen_bit_shifters.sh smatch_scripts/gen_dma_funcs.sh \
298 298 smatch_scripts/generisize.pl smatch_scripts/gen_err_ptr_list.sh \
299 299 smatch_scripts/gen_expects_err_ptr.sh smatch_scripts/gen_frees_list.sh \
300 300 smatch_scripts/gen_gfp_flags.sh smatch_scripts/gen_no_return_funcs.sh \
301 301 smatch_scripts/gen_puts_list.sh smatch_scripts/gen_returns_held.sh \
302 302 smatch_scripts/gen_rosenberg_funcs.sh smatch_scripts/gen_sizeof_param.sh \
303 303 smatch_scripts/gen_unwind_functions.sh smatch_scripts/kchecker \
304 304 smatch_scripts/kpatch.sh smatch_scripts/new_bugs.sh \
305 305 smatch_scripts/show_errs.sh smatch_scripts/show_ifs.sh \
306 306 smatch_scripts/show_unreachable.sh smatch_scripts/strip_whitespace.pl \
307 307 smatch_scripts/summarize_errs.sh smatch_scripts/test_kernel.sh \
308 308 smatch_scripts/trace_params.pl smatch_scripts/unlocked_paths.pl \
309 309 smatch_scripts/whitespace_only.sh smatch_scripts/wine_checker.sh \
310 310
311 311 SMATCH_LDFLAGS := -lsqlite3 -lssl -lcrypto -lm
312 312
313 313 smatch: smatch.o $(SMATCH_OBJS) $(SMATCH_CHECKS) $(LIBS)
314 314 $(Q)$(LD) -o $@ $< $(SMATCH_OBJS) $(SMATCH_CHECKS) $(LIBS) $(SMATCH_LDFLAGS)
315 315
316 316 check_list_local.h:
317 317 touch check_list_local.h
318 318
319 319 smatch.o: smatch.c $(LIB_H) smatch.h check_list.h check_list_local.h
320 320 $(CC) $(CFLAGS) -c smatch.c -DSMATCHDATADIR='"$(SMATCHDATADIR)"'
321 321
322 322 $(SMATCH_OBJS) $(SMATCH_CHECKS): smatch.h smatch_slist.h smatch_extra.h avl.h
323 323
324 324 ########################################################################
325 325 all: $(PROGRAMS) smatch
326 326
327 327 ldflags += $($(@)-ldflags) $(LDFLAGS)
328 328 ldlibs += $($(@)-ldlibs) $(LDLIBS) -lm
329 329 $(PROGRAMS): % : %.o $(LIBS)
330 330 @echo " LD $@"
331 331 $(Q)$(LD) $(ldflags) $^ $(ldlibs) -o $@
332 332
333 333 libsparse.a: $(LIB_OBJS)
334 334 @echo " AR $@"
335 335 $(Q)$(AR) rcs $@ $^
336 336
337 337
338 338 cflags += $($(*)-cflags) $(CPPFLAGS) $(CFLAGS)
339 339 %.o: %.c
340 340 @echo " CC $@"
341 341 $(Q)$(CC) $(cflags) -c -o $@ $<
342 342
343 343 %.sc: %.c sparse
344 344 @echo " CHECK $<"
345 345 $(Q)CHECK=./sparse ./cgcc -no-compile $(CHECKER_FLAGS) $(cflags) -c $<
346 346
347 347 selfcheck: $(OBJS:.o=.sc)
348 348
349 349
350 350 SPARSE_VERSION:=$(shell git describe --dirty 2>/dev/null || echo '$(VERSION)')
351 351 lib.o: version.h
352 352 version.h: FORCE
353 353 @echo '#define SPARSE_VERSION "$(SPARSE_VERSION)"' > version.h.tmp
354 354 @if cmp -s version.h version.h.tmp; then \
355 355 rm version.h.tmp; \
356 356 else \
357 357 echo " GEN $@"; \
358 358 mv version.h.tmp version.h; \
359 359 fi
360 360
361 361
362 362 check: all
363 363 $(Q)cd validation && ./test-suite
364 364 validation/%.t: $(PROGRAMS)
365 365 @validation/test-suite single $*.c
366 366
367 367
368 368 clean: clean-check
369 369 @rm -f *.[oa] .*.d $(PROGRAMS) version.h smatch
370 370 clean-check:
371 371 @echo " CLEAN"
372 372 @find validation/ \( -name "*.c.output.*" \
373 373 -o -name "*.c.error.*" \
374 374 -o -name "*.o" \
375 375 \) -exec rm {} \;
376 376
377 377
378 378 install: install-bin install-man
379 379 install-bin: $(INST_PROGRAMS:%=$(bindir)/%)
380 380 install-man: $(INST_MAN1:%=$(man1dir)/%)
381 381
382 382 $(bindir)/%: %
383 383 @echo " INSTALL $@"
384 384 $(Q)install -D $< $@ || exit 1;
385 385 $(man1dir)/%: %
386 386 @echo " INSTALL $@"
387 387 $(Q)install -D -m 644 $< $@ || exit 1;
388 388
389 389 .PHONY: FORCE
390 390
391 391 # GCC's dependencies
392 392 -include $(OBJS:%.o=.%.o.d)
↓ open down ↓ |
381 lines elided |
↑ open up ↑ |
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX