Public Git Hosting - smatch.git/search

2017-02-16	Luc Van Oostenryck	cleanup: there is no 'struct phi' to allocate Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: quieter error reporting for 'known-to-fail' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: allow quieter error reporting Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: get 'check-known-to-fail' earlier Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: use 'error' instead of 'info' for successful... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: check the nbr of times a pattern should... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: add some selfchecking Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: check patterns presence or absence in output Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	allow to launch the test suite from the project root dir Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: report as error tests known to fail but... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: add tag to ignore the output/error Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: add a simple test for -Wenum-mismatch Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: simplify the ioc-typecheck case Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: make tests known to fail effectively fail Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: give a proper name to the 'binary-constant... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	expand __builtin_bswap*() with constant args Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	let identical symbols share their evaluate/expand methods Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	move evaluation & expansion of builtins in a separate... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add support for LLP64 arch Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x \|\| x)' and '(x && x)' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify comparisons followed by an equality test against... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add warning option '-Wtautological-compare' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x op x)' to '0', '1' or 'x' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x \|\| 1)' to '1' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '~(~x)' and '-(-x)' to 'x' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x % 1)' into '0' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x / -1)' to '-x' (but only for signed division) Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x * -1)' to '-x' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	simplify '(x / 1)' to 'x' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	move OP_MUL simplification in a separate function Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	define __LONG_MAX__ & __SIZEOF_POINTER__ Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add an helper for common predefined macros Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	define __LP64__ & _LP64 if arch_m64 is enabled Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix killing OP_SETVAL instructions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	remove 'Escape' from token character class Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	warn on unknown escapes after preprocessing Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add testcase for wrong early escape conversion Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	remove unused arg in uses/defs functions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	validate expression's type in conditionals Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add helper: is_scalar_type() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix conditional context test case with void Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	cleanup kill_instruction() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	explicitely ignore killing OP_ENTRY Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix killing OP_COMPUTEDGOTO Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix killing OP_SELECT Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix killing OP_CAST & friends Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix killing OP_PHI instructions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	kill uses of replaced instructions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix crash while testing between conditional & unconditional... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix cast's target type info Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	C11: teach sparse about '--std={c11,gnu11}' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	C11: teach sparse about '_Alignas()' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	C11: teach sparse about '_Alignof()' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	C11: teach sparse about '_Noreturn' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	C11: teach sparse about '_Thread_local' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix value of label statement Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	missing load simplification Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix phisrc mixup Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix superfluous phisrc Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	volatile loads must not be simplified Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	unssa: update comment about the unneeded copies Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	unssa: eliminate trivial phisrc copies Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	unssa: try to avoid some OP_PHI copies Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	unssa: simplify rewrite of OP_PHISOURCE Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	unssa: do not try to update liveness Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix cast to bool Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	llvm: remove unneeded OP_COPY support Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	llvm: fix typing when comparing to a constant Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix typing error in compound assignment Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add support for __int128 Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix missing element in types declaration Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	recursive phi_defines cannot happen Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	cgcc should not define non-reserved identifiers Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	Update maintainers in the manpage Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	some modifiers need to be preserved by 'typeof()' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: test modifiers preserved by 'typeof()' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: test modifiers preserved by '&' operator Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	use a shorter name for function-pointer-modifier-inheritance.c Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	testsuite: simplify test function-pointer-inheritance Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	storage should not be inherited by pointers Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	remove unused field 'multijump' in struct instruction Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	OP_SWITCH should use 'insn->cond' instead of 'insn... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	give comparable label's names to basic blocks Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	let "compile" not crash on bools Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	make ptrlist walking against robust against empty blocks Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> Tested-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	add test case for builtin bswap with constant args Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	fix discarded label statement Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	Remove unneeded variable in integer_promotion() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	Warn on unknown attributes instead of throwing errors Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-13	Luc Van Oostenryck	cleanup: remove evaluate_arguments()'s unused argument Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-01-27	Luc Van Oostenryck	make 'ignored_attributes[]' static Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-01-27	Luc Van Oostenryck	add missing #include "char.h" to char.c Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-01-27	Luc Van Oostenryck	Fix type checking of variadic functions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-01-27	Luc Van Oostenryck	fix mixup in "Handle SForced in storage_modifiers" Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2016-02-22	Luc Van Oostenryck	Do not drop 'nocast' modifier when taking the address. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2016-02-04	Luc Van Oostenryck	Fix size calculation of unsized bool array Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2015-02-09	Luc Van Oostenryck	Teach sparse about the __COUNTER__ predefined macro Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2005-11-28	Luc Van Oostenryck	[PATCH] Fix member offset calculation	commit \| commitdiff \| tree
2005-11-26	Luc Van Oostenryck	[PATCH] avoid a crash caused by the phisrc OP_COPY... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>	commit \| commitdiff \| tree
2005-11-26	Luc Van Oostenryck	[PATCH] remove old comment Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom