Public Git Hosting - smatch.git/search

2017-02-13	Luc Van Oostenryck	add support for LLP64 arch Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x \|\| x)' and '(x && x)' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify comparisons followed by an equality test against... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add warning option '-Wtautological-compare' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x op x)' to '0', '1' or 'x' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x \|\| 1)' to '1' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '~(~x)' and '-(-x)' to 'x' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x % 1)' into '0' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x / -1)' to '-x' (but only for signed division) Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x * -1)' to '-x' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x / 1)' to 'x' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	move OP_MUL simplification in a separate function Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	define __LONG_MAX__ & __SIZEOF_POINTER__ Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add an helper for common predefined macros Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	define __LP64__ & _LP64 if arch_m64 is enabled Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix killing OP_SETVAL instructions Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	remove 'Escape' from token character class Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	warn on unknown escapes after preprocessing Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add testcase for wrong early escape conversion Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	remove unused arg in uses/defs functions Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	validate expression's type in conditionals Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add helper: is_scalar_type() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix conditional context test case with void Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	cleanup kill_instruction() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	explicitely ignore killing OP_ENTRY Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix killing OP_COMPUTEDGOTO Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix killing OP_SELECT Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix killing OP_CAST & friends Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix killing OP_PHI instructions Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	kill uses of replaced instructions Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix crash while testing between conditional & unconditional... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix cast's target type info Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	C11: teach sparse about '--std={c11,gnu11}' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	C11: teach sparse about '_Alignas()' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	C11: teach sparse about '_Alignof()' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	C11: teach sparse about '_Noreturn' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	C11: teach sparse about '_Thread_local' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix value of label statement Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	missing load simplification Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix phisrc mixup Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix superfluous phisrc Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	volatile loads must not be simplified Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	unssa: update comment about the unneeded copies Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	unssa: eliminate trivial phisrc copies Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	unssa: try to avoid some OP_PHI copies Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	unssa: simplify rewrite of OP_PHISOURCE Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	unssa: do not try to update liveness Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix cast to bool Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	llvm: remove unneeded OP_COPY support Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	llvm: fix typing when comparing to a constant Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix typing error in compound assignment Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add support for __int128 Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix missing element in types declaration Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	recursive phi_defines cannot happen Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	cgcc should not define non-reserved identifiers Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	Update maintainers in the manpage CC: Christopher Li <sparse@chrisli.org> Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	some modifiers need to be preserved by 'typeof()' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: test modifiers preserved by 'typeof()' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: test modifiers preserved by '&' operator Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	use a shorter name for function-pointer-modifier-inheritance.c Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: simplify test function-pointer-inheritance Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	storage should not be inherited by pointers Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	remove unused field 'multijump' in struct instruction Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	OP_SWITCH should use 'insn->cond' instead of 'insn... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	give comparable label's names to basic blocks Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	let "compile" not crash on bools Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	make ptrlist walking against robust against empty blocks Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Emily Maier	validation: Check C99 for loop variables Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Daniel Wagner	parse: Add comment to struct statement Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Oleg Nesterov	dissect: s/mode_t/usage_t/ in report_member() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Oleg Nesterov	dissect: teach do_initializer() to handle the nested... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Oleg Nesterov	dissect: teach do_expression() to handle EXPR_OFFSETOF Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add test case for builtin bswap with constant args Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Johannes Berg	implement constant-folding in __builtin_bswap*() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix discarded label statement Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	Remove unneeded variable in integer_promotion() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	Warn on unknown attributes instead of throwing errors Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	cleanup: remove evaluate_arguments()'s unused argument Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-01-27	Luc Van Oostenryck	make 'ignored_attributes[]' static Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-01-27	Emily Maier	linearize: Emit C99 declarations correctly Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-01-27	Luc Van Oostenryck	add missing #include "char.h" to char.c Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-01-27	Luc Van Oostenryck	Fix type checking of variadic functions Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-01-27	Lance Richardson	sparse: update __builtin_object_size() prototype Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2017-01-27	Luc Van Oostenryck	fix mixup in "Handle SForced in storage_modifiers" Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2016-11-16	Jeff Layton	Handle SForced in storage_modifiers Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2016-10-27	Rui Teng	sparse: add no_sanitize_address as an ignored attribute Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2016-10-13	Lance Richardson	sparse: ignore __assume_aligned__ attribute Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2016-10-13	Ramsay Jones	sparse: add 'alloc_align' to the ignored attributes Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2016-10-13	Christopher Li	Fix warning compiling sparse-llvm Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2016-02-22	Luc Van Oostenryck	Do not drop 'nocast' modifier when taking the address. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2016-02-04	Luc Van Oostenryck	Fix size calculation of unsized bool array Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-08-15	Tony Camuso	Add default case to switches on enum variables Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-08-15	Tony Camuso	.gitignore: add cscope and Qt project files Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-08-04	Dan Carpenter	ptrlist: reading deleted items in NEXT_PTR_LIST() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-06-14	Azat Khuzhin	validation/prototype: regression for skipping prototypes Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-06-14	Azat Khuzhin	sparse, llvm: compile: skip function prototypes to... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-06-12	Heiko Carstens	sparse/parse.c: ignore hotpatch attribute Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-04-21	Michael Stefaniuc	Add tests for the builtin INF and nan() functions. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-03-13	Ard Biesheuvel	Ignore pure attribute in assignement Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-03-13	Michael Stefaniuc	Add a define for __builtin_ms_va_copy() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom