refcount: partial increments count as increments
[smatch.git] / Makefile
blobc49de0073a4ce6273bc76d2ca6d9512f9414a940
1 VERSION=0.6.4
3 ########################################################################
4 # The following variables can be overwritten from the command line
5 OS = linux
8 CC ?= gcc
9 CXX = g++
10 LD = $(CC)
11 AR = ar
13 CFLAGS ?= -g
15 DESTDIR ?=
16 PREFIX ?= $(HOME)
17 BINDIR ?= $(PREFIX)/bin
18 SHAREDIR ?= $(PREFIX)/share
19 MANDIR ?= $(SHAREDIR)/man
21 PKG_CONFIG ?= pkg-config
23 CHECKER_FLAGS ?= -Wno-vla
25 # Allow users to override build settings without dirtying their trees
26 # For debugging, put this in local.mk:
28 # CFLAGS += -O0 -DDEBUG -g3 -gdwarf-2
30 SPARSE_LOCAL_CONFIG ?= local.mk
31 -include ${SPARSE_LOCAL_CONFIG}
32 ########################################################################
35 LIB_OBJS :=
36 LIB_OBJS += allocate.o
37 LIB_OBJS += builtin.o
38 LIB_OBJS += char.o
39 LIB_OBJS += compat-$(OS).o
40 LIB_OBJS += cse.o
41 LIB_OBJS += dissect.o
42 LIB_OBJS += dominate.o
43 LIB_OBJS += evaluate.o
44 LIB_OBJS += expand.o
45 LIB_OBJS += expression.o
46 LIB_OBJS += flow.o
47 LIB_OBJS += flowgraph.o
48 LIB_OBJS += inline.o
49 LIB_OBJS += ir.o
50 LIB_OBJS += lib.o
51 LIB_OBJS += linearize.o
52 LIB_OBJS += liveness.o
53 LIB_OBJS += memops.o
54 LIB_OBJS += opcode.o
55 LIB_OBJS += optimize.o
56 LIB_OBJS += options.o
57 LIB_OBJS += parse.o
58 LIB_OBJS += predefine.o
59 LIB_OBJS += pre-process.o
60 LIB_OBJS += ptrlist.o
61 LIB_OBJS += ptrmap.o
62 LIB_OBJS += scope.o
63 LIB_OBJS += show-parse.o
64 LIB_OBJS += simplify.o
65 LIB_OBJS += sort.o
66 LIB_OBJS += ssa.o
67 LIB_OBJS += stats.o
68 LIB_OBJS += storage.o
69 LIB_OBJS += symbol.o
70 LIB_OBJS += target.o
71 LIB_OBJS += target-alpha.o
72 LIB_OBJS += target-arm.o
73 LIB_OBJS += target-arm64.o
74 LIB_OBJS += target-bfin.o
75 LIB_OBJS += target-default.o
76 LIB_OBJS += target-h8300.o
77 LIB_OBJS += target-m68k.o
78 LIB_OBJS += target-microblaze.o
79 LIB_OBJS += target-mips.o
80 LIB_OBJS += target-nds32.o
81 LIB_OBJS += target-nios2.o
82 LIB_OBJS += target-openrisc.o
83 LIB_OBJS += target-ppc.o
84 LIB_OBJS += target-riscv.o
85 LIB_OBJS += target-s390.o
86 LIB_OBJS += target-sh.o
87 LIB_OBJS += target-sparc.o
88 LIB_OBJS += target-x86.o
89 LIB_OBJS += target-xtensa.o
90 LIB_OBJS += tokenize.o
91 LIB_OBJS += unssa.o
92 LIB_OBJS += utils.o
93 LIB_OBJS += macro_table.o
94 LIB_OBJS += token_store.o
95 LIB_OBJS += cwchash/hashtable.o
96 LIB_OBJS += version.o
98 PROGRAMS :=
99 PROGRAMS += compile
100 PROGRAMS += ctags
101 PROGRAMS += example
102 PROGRAMS += graph
103 PROGRAMS += obfuscate
104 PROGRAMS += sparse
105 PROGRAMS += test-dissect
106 PROGRAMS += test-lexing
107 PROGRAMS += test-linearize
108 PROGRAMS += test-parsing
109 PROGRAMS += test-show-type
110 PROGRAMS += test-unssa
112 INST_PROGRAMS = smatch sparse cgcc
113 INST_MAN1 = sparse.1 cgcc.1
114 INST_ASSETS = $(wildcard smatch_data/db/*.schema)
115 INST_ASSETS += $(wildcard smatch_data/*)
116 INST_ASSETS += $(wildcard smatch_data/db/kernel.*)
118 all:
120 ########################################################################
121 # common flags/options/...
123 cflags = -fno-strict-aliasing
124 cflags += -Wall -Wwrite-strings -Wno-switch -Wno-psabi
126 GCC_BASE := $(shell $(CC) --print-file-name=)
127 cflags += -DGCC_BASE=\"$(GCC_BASE)\"
129 MULTIARCH_TRIPLET := $(shell $(CC) -print-multiarch 2>/dev/null)
130 cflags += -DMULTIARCH_TRIPLET=\"$(MULTIARCH_TRIPLET)\"
133 bindir := $(DESTDIR)$(BINDIR)
134 man1dir := $(DESTDIR)$(MANDIR)/man1
135 smatch_datadir := $(DESTDIR)$(SHAREDIR)/smatch
137 ########################################################################
138 # target specificities
140 compile: compile-i386.o
141 EXTRA_OBJS += compile-i386.o
143 # Can we use GCC's generated dependencies?
144 HAVE_GCC_DEP:=$(shell touch .gcc-test.c && \
145 $(CC) -c -Wp,-MP,-MMD,.gcc-test.d .gcc-test.c 2>/dev/null && \
146 echo 'yes'; rm -f .gcc-test.d .gcc-test.o .gcc-test.c)
147 ifeq ($(HAVE_GCC_DEP),yes)
148 cflags += -Wp,-MP,-MMD,$(@D)/.$(@F).d
149 endif
151 # Can we use libxml (needed for c2xml)?
152 HAVE_LIBXML:=$(shell $(PKG_CONFIG) --exists libxml-2.0 2>/dev/null && echo 'yes')
153 ifeq ($(HAVE_LIBXML),yes)
154 PROGRAMS+=c2xml
155 INST_PROGRAMS+=c2xml
156 c2xml-ldlibs := $(shell $(PKG_CONFIG) --libs libxml-2.0)
157 c2xml-cflags := $(shell $(PKG_CONFIG) --cflags libxml-2.0)
158 else
159 $(warning Your system does not have libxml, disabling c2xml)
160 endif
162 HAVE_SQLITE := $(shell $(PKG_CONFIG) --exists sqlite3 2>/dev/null && echo 'yes')
163 ifeq ($(HAVE_SQLITE),yes)
164 SQLITE_VERSION:=$(shell $(PKG_CONFIG) --modversion sqlite3)
165 SQLITE_VNUMBER:=$(shell printf '%d%02d%02d' $(subst ., ,$(SQLITE_VERSION)))
166 ifeq ($(shell expr "$(SQLITE_VNUMBER)" '>=' 32400),1)
167 PROGRAMS += semind
168 INST_PROGRAMS += semind
169 INST_MAN1 += semind.1
170 semind-ldlibs := $(shell $(PKG_CONFIG) --libs sqlite3)
171 semind-cflags := $(shell $(PKG_CONFIG) --cflags sqlite3)
172 semind-cflags += -std=gnu99
173 else
174 $(warning Your SQLite3 version ($(SQLITE_VERSION)) is too old, 3.24.0 or later is required.)
175 endif
176 else
177 $(warning Your system does not have sqlite3, disabling semind)
178 endif
180 # Can we use gtk (needed for test-inspect)
181 GTK_VERSION:=3.0
182 HAVE_GTK:=$(shell $(PKG_CONFIG) --exists gtk+-$(GTK_VERSION) 2>/dev/null && echo 'yes')
183 ifneq ($(HAVE_GTK),yes)
184 GTK_VERSION:=2.0
185 HAVE_GTK:=$(shell $(PKG_CONFIG) --exists gtk+-$(GTK_VERSION) 2>/dev/null && echo 'yes')
186 endif
187 ifeq ($(HAVE_GTK),yes)
188 GTK_CFLAGS := $(shell $(PKG_CONFIG) --cflags gtk+-$(GTK_VERSION))
189 ast-view-cflags := $(GTK_CFLAGS)
190 ast-model-cflags := $(GTK_CFLAGS)
191 ast-inspect-cflags := $(GTK_CFLAGS)
192 test-inspect-cflags := $(GTK_CFLAGS)
193 test-inspect-ldlibs := $(shell $(PKG_CONFIG) --libs gtk+-$(GTK_VERSION))
194 test-inspect: ast-model.o ast-view.o ast-inspect.o
195 EXTRA_OBJS += ast-model.o ast-view.o ast-inspect.o
196 PROGRAMS += test-inspect
197 INST_PROGRAMS += test-inspect
198 else
199 $(warning Your system does not have gtk3/gtk2, disabling test-inspect)
200 endif
202 # Can we use LLVM (needed for ... sparse-llvm)?
203 LLVM_CONFIG:=llvm-config
204 HAVE_LLVM:=$(shell $(LLVM_CONFIG) --version >/dev/null 2>&1 && echo 'yes')
205 ifeq ($(HAVE_LLVM),yes)
206 arch := $(shell uname -m)
207 ifeq (${MULTIARCH_TRIPLET},x86_64-linux-gnux32)
208 arch := x32
209 endif
210 ifneq ($(filter ${arch},i386 i486 i586 i686 x86_64 amd64),)
211 LLVM_VERSION:=$(shell $(LLVM_CONFIG) --version)
212 LLVM_VERSION_MAJOR:=$(firstword $(subst ., ,$(LLVM_VERSION)))
213 ifeq ($(shell expr "$(LLVM_VERSION_MAJOR)" '>=' 3),1)
214 LLVM_PROGS := sparse-llvm
215 $(LLVM_PROGS): LD := $(CXX)
216 LLVM_LDFLAGS := $(shell $(LLVM_CONFIG) --ldflags)
217 LLVM_CFLAGS := $(shell $(LLVM_CONFIG) --cppflags)
218 LLVM_LIBS := $(shell $(LLVM_CONFIG) --libs)
219 LLVM_LIBS += $(shell $(LLVM_CONFIG) --system-libs 2>/dev/null)
220 LLVM_LIBS += $(shell $(LLVM_CONFIG) --cxxflags | grep -F -q -e '-stdlib=libc++' && echo -lc++)
221 PROGRAMS += $(LLVM_PROGS)
222 INST_PROGRAMS += sparse-llvm sparsec
223 sparse-llvm-cflags := $(LLVM_CFLAGS) -D__STDC_CONSTANT_MACROS -D__STDC_LIMIT_MACROS
224 sparse-llvm-ldflags := $(LLVM_LDFLAGS)
225 sparse-llvm-ldlibs := $(LLVM_LIBS)
226 else
227 $(warning LLVM 3.0 or later required. Your system has version $(LLVM_VERSION) installed.)
228 endif
229 else
230 $(warning sparse-llvm disabled on ${arch})
231 endif
232 else
233 $(warning Your system does not have llvm, disabling sparse-llvm)
234 endif
236 ifeq ($(HAVE_BOOLECTOR),yes)
237 PROGRAMS += scheck
238 scheck-cflags := -I${BOOLECTORDIR}/include/boolector
239 scheck-ldflags := -L${BOOLECTORDIR}/lib
240 scheck-ldlibs := -lboolector -llgl -lbtor2parser
241 endif
243 ########################################################################
244 LIBS := libsparse.a
245 OBJS := $(LIB_OBJS) $(EXTRA_OBJS) $(PROGRAMS:%=%.o)
247 # Pretty print
248 V := @
249 Q := $(V:1=)
251 ########################################################################
253 SMATCH_OBJS :=
254 SMATCH_OBJS += avl.o
255 SMATCH_OBJS += smatch_about_fn_ptr_arg.o
256 SMATCH_OBJS += smatch_address.o
257 SMATCH_OBJS += smatch_allocations.o
258 SMATCH_OBJS += smatch_annotate.o
259 SMATCH_OBJS += smatch_array_values.o
260 SMATCH_OBJS += smatch_assigned_expr.o
261 SMATCH_OBJS += smatch_bits.o
262 SMATCH_OBJS += smatch_buf_comparison.o
263 SMATCH_OBJS += smatch_buf_comparison2.o
264 SMATCH_OBJS += smatch_buf_size.o
265 SMATCH_OBJS += smatch_capped.o
266 SMATCH_OBJS += smatch_common_functions.o
267 SMATCH_OBJS += smatch_comparison.o
268 SMATCH_OBJS += smatch_conditions.o
269 SMATCH_OBJS += smatch_constraints.o
270 SMATCH_OBJS += smatch_constraints_required.o
271 SMATCH_OBJS += smatch_container_of.o
272 SMATCH_OBJS += smatch_data_source.o
273 SMATCH_OBJS += smatch_db.o
274 SMATCH_OBJS += smatch_dereference.o
275 SMATCH_OBJS += smatch_equiv.o
276 SMATCH_OBJS += smatch_estate.o
277 SMATCH_OBJS += smatch_expressions.o
278 SMATCH_OBJS += smatch_expression_stacks.o
279 SMATCH_OBJS += smatch_extra.o
280 SMATCH_OBJS += smatch_files.o
281 SMATCH_OBJS += smatch_flow.o
282 SMATCH_OBJS += smatch_fn_arg_link.o
283 SMATCH_OBJS += smatch_fresh_alloc.o
284 SMATCH_OBJS += smatch_function_hooks.o
285 SMATCH_OBJS += smatch_function_info.o
286 SMATCH_OBJS += smatch_function_ptrs.o
287 SMATCH_OBJS += smatch_goto_tracker.o
288 SMATCH_OBJS += smatch_hash.o
289 SMATCH_OBJS += smatch_helper.o
290 SMATCH_OBJS += smatch_hooks.o
291 SMATCH_OBJS += smatch_ignore.o
292 SMATCH_OBJS += smatch_imaginary_absolute.o
293 SMATCH_OBJS += smatch_implied.o
294 SMATCH_OBJS += smatch_impossible.o
295 SMATCH_OBJS += smatch_integer_overflow.o
296 SMATCH_OBJS += smatch_kernel_atomic_dec_test_path.o
297 SMATCH_OBJS += smatch_kernel_err_ptr.o
298 SMATCH_OBJS += smatch_kernel_has_devm_cleanup.o
299 SMATCH_OBJS += smatch_kernel_netdev_priv.o
300 SMATCH_OBJS += smatch_kernel_task_state.o
301 SMATCH_OBJS += smatch_kernel_task_state_info.o
302 SMATCH_OBJS += smatch_kernel_user_data.o
303 SMATCH_OBJS += smatch_kernel_host_data.o
304 SMATCH_OBJS += smatch_links.o
305 SMATCH_OBJS += smatch_math.o
306 SMATCH_OBJS += smatch_mem_tracker.o
307 SMATCH_OBJS += smatch_modification_hooks.o
308 SMATCH_OBJS += smatch_mtag_data.o
309 SMATCH_OBJS += smatch_mtag_map.o
310 SMATCH_OBJS += smatch_mtag.o
311 SMATCH_OBJS += smatch_nul_terminator.o
312 SMATCH_OBJS += smatch_param_bits_set.o
313 SMATCH_OBJS += smatch_param_bits_clear.o
314 SMATCH_OBJS += smatch_param_cleared.o
315 SMATCH_OBJS += smatch_param_compare_limit.o
316 SMATCH_OBJS += smatch_parameter_names.o
317 SMATCH_OBJS += smatch_param_filter.o
318 SMATCH_OBJS += smatch_param_key.o
319 SMATCH_OBJS += smatch_param_limit.o
320 SMATCH_OBJS += smatch_param_set.o
321 SMATCH_OBJS += smatch_param_to_mtag_data.o
322 SMATCH_OBJS += smatch_param_used.o
323 SMATCH_OBJS += smatch_parse_call_math.o
324 SMATCH_OBJS += smatch_parsed_conditions.o
325 SMATCH_OBJS += smatch_passes_array_size.o
326 SMATCH_OBJS += smatch_points_to_container.o
327 SMATCH_OBJS += smatch_points_to_user_data.o
328 SMATCH_OBJS += smatch_points_to_host_data.o
329 SMATCH_OBJS += smatch_power_of_two.o
330 SMATCH_OBJS += smatch_project.o
331 SMATCH_OBJS += smatch_ranges.o
332 SMATCH_OBJS += smatch_real_absolute.o
333 SMATCH_OBJS += smatch_recurse.o
334 SMATCH_OBJS += smatch_refcount.o
335 SMATCH_OBJS += smatch_refcount_info.o
336 SMATCH_OBJS += smatch_returns.o
337 SMATCH_OBJS += smatch_return_to_param.o
338 SMATCH_OBJS += smatch_ssa.o
339 SMATCH_OBJS += smatch_scope.o
340 SMATCH_OBJS += smatch_slist.o
341 SMATCH_OBJS += smatch_start_states.o
342 SMATCH_OBJS += smatch_statement_count.o
343 SMATCH_OBJS += smatch_states.o
344 SMATCH_OBJS += smatch_state_assigned.o
345 SMATCH_OBJS += smatch_stored_conditions.o
346 SMATCH_OBJS += smatch_string_list.o
347 SMATCH_OBJS += smatch_strings.o
348 SMATCH_OBJS += smatch_strlen.o
349 SMATCH_OBJS += smatch_struct_assignment.o
350 SMATCH_OBJS += smatch_sval.o
351 SMATCH_OBJS += smatch_tracker.o
352 SMATCH_OBJS += smatch_type_links.o
353 SMATCH_OBJS += smatch_type.o
354 SMATCH_OBJS += smatch_type_val.o
355 SMATCH_OBJS += smatch_unconstant_macros.o
356 SMATCH_OBJS += smatch_units.o
357 SMATCH_OBJS += smatch_unknown_value.o
358 SMATCH_OBJS += smatch_untracked_param.o
359 SMATCH_OBJS += smatch_untracked_var.o
360 SMATCH_OBJS += smatch_var_sym.o
362 CFLAGS+=-D__CHECKNAME__='"$(subst .c,,$(notdir $<))"'
364 SMATCH_CHECKS=$(shell ls check_*.c | sed -e 's/\.c/.o/')
365 SMATCH_DATA=smatch_data/kernel.allocation_funcs \
366 smatch_data/kernel.frees_argument smatch_data/kernel.puts_argument \
367 smatch_data/kernel.dev_queue_xmit smatch_data/kernel.returns_err_ptr \
368 smatch_data/kernel.dma_funcs smatch_data/kernel.returns_held_funcs \
369 smatch_data/kernel.no_return_funcs
371 SMATCH_SCRIPTS=smatch_scripts/add_gfp_to_allocations.sh \
372 smatch_scripts/build_kernel_data.sh \
373 smatch_scripts/call_tree.pl smatch_scripts/filter_kernel_deref_check.sh \
374 smatch_scripts/find_expanded_holes.pl smatch_scripts/find_null_params.sh \
375 smatch_scripts/follow_params.pl smatch_scripts/gen_allocation_list.sh \
376 smatch_scripts/gen_bit_shifters.sh smatch_scripts/gen_dma_funcs.sh \
377 smatch_scripts/generisize.pl smatch_scripts/gen_err_ptr_list.sh \
378 smatch_scripts/gen_expects_err_ptr.sh smatch_scripts/gen_frees_list.sh \
379 smatch_scripts/gen_gfp_flags.sh smatch_scripts/gen_no_return_funcs.sh \
380 smatch_scripts/gen_puts_list.sh smatch_scripts/gen_returns_held.sh \
381 smatch_scripts/gen_rosenberg_funcs.sh smatch_scripts/gen_sizeof_param.sh \
382 smatch_scripts/gen_unwind_functions.sh smatch_scripts/kchecker \
383 smatch_scripts/kpatch.sh smatch_scripts/new_bugs.sh \
384 smatch_scripts/show_errs.sh smatch_scripts/show_ifs.sh \
385 smatch_scripts/show_unreachable.sh smatch_scripts/strip_whitespace.pl \
386 smatch_scripts/summarize_errs.sh smatch_scripts/test_kernel.sh \
387 smatch_scripts/trace_params.pl smatch_scripts/unlocked_paths.pl \
388 smatch_scripts/whitespace_only.sh smatch_scripts/wine_checker.sh \
390 SMATCH_LDFLAGS := -lsqlite3 -lssl -lcrypto -lm
392 smatch: smatch.o $(SMATCH_OBJS) $(SMATCH_CHECKS) $(LIBS)
393 $(Q)$(LD) -o $@ $< $(SMATCH_OBJS) $(SMATCH_CHECKS) $(LIBS) $(SMATCH_LDFLAGS)
395 smatch_data/db/sm_hash: sm_hash.o $(SMATCH_OBJS)
396 $(Q)$(LD) -o smatch_data/db/sm_hash sm_hash.o smatch_hash.o $(SMATCH_LDFLAGS)
398 sm_hash.o: sm_hash.c smatch.h
399 $(CC) $(CFLAGS) -c sm_hash.c
401 check_list_local.h:
402 touch check_list_local.h
404 smatch.o: smatch.c $(LIB_H) smatch.h check_list.h check_list_local.h
405 $(CC) $(CFLAGS) -c smatch.c -DSMATCHDATADIR='"$(smatch_datadir)"'
407 $(SMATCH_OBJS) $(SMATCH_CHECKS): smatch.h smatch_slist.h smatch_extra.h \
408 smatch_constants.h avl.h
410 ########################################################################
411 all: $(PROGRAMS) smatch smatch_data/db/sm_hash
413 ldflags += $($(@)-ldflags) $(LDFLAGS)
414 ldlibs += $($(@)-ldlibs) $(LDLIBS) -lm
415 $(PROGRAMS): % : %.o $(LIBS)
416 @echo " LD $@"
417 $(Q)$(LD) $(ldflags) $^ $(ldlibs) -o $@
419 libsparse.a: $(LIB_OBJS)
420 @echo " AR $@"
421 $(Q)$(AR) rcs $@ $^
424 cflags += $($(*)-cflags) $(CPPFLAGS) $(CFLAGS)
425 %.o: %.c
426 @echo " CC $@"
427 $(Q)$(CC) $(cflags) -c -o $@ $<
429 %.sc: %.c sparse
430 @echo " CHECK $<"
431 $(Q)CHECK=./sparse ./cgcc -no-compile $(CHECKER_FLAGS) $(cflags) -c $<
433 selfcheck: $(OBJS:.o=.sc)
435 SPARSE_VERSION:=$(shell git describe --dirty 2>/dev/null || echo '$(VERSION)')
436 version.o: version.h
437 version.h: FORCE
438 @echo '#define SPARSE_VERSION "$(SPARSE_VERSION)"' > version.h.tmp
439 @if cmp -s version.h version.h.tmp; then \
440 rm version.h.tmp; \
441 else \
442 echo " GEN $@"; \
443 mv version.h.tmp version.h; \
447 check: all
448 $(Q)cd validation && ./test-suite
449 validation/%: $(PROGRAMS) FORCE
450 $(Q)validation/test-suite $*
453 clean: clean-check
454 @rm -f *.[oa] .*.d cwchash/hashtable.o cwchash/.hashtable.o.d $(PROGRAMS) version.h smatch
455 clean-check:
456 @echo " CLEAN"
457 @find validation/ \( -name "*.c.output.*" \
458 -o -name "*.c.error.*" \
459 -o -name "*.o" \
460 \) -exec rm {} \;
463 install: install-bin install-man install-assets
464 install-bin: $(INST_PROGRAMS:%=$(bindir)/%)
465 install-man: $(INST_MAN1:%=$(man1dir)/%)
466 install-assets: $(INST_ASSETS:%=$(smatch_datadir)/%)
468 $(bindir)/%: %
469 @echo " INSTALL $@"
470 $(Q)install -D $< $@ || exit 1;
471 $(man1dir)/% $(smatch_datadir)/%: %
472 @echo " INSTALL $@"
473 $(Q)install -D -m 644 $< $@ || exit 1;
475 .PHONY: FORCE
477 # GCC's dependencies
478 -include $(OBJS:%.o=.%.o.d)