Public Git Hosting - smatch.git/search

2017-03-22	Luc Van Oostenryck	teach sparse about -Waddress Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-06	Luc Van Oostenryck	use VOID instead of directly using &void_pseudo Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-06	Luc Van Oostenryck	move 'extern with initializer' validation after the... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-06	Luc Van Oostenryck	check the storage of C99 for-loop initializers Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-06	Luc Van Oostenryck	add an optional validation method to external_declaration() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-06	Luc Van Oostenryck	add test cases for storage of c99 for-loop declarations Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-06	Luc Van Oostenryck	add test case for scope of C99 for-loop declarations Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-06	Luc Van Oostenryck	replace test for c99 for-loop initializers Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-06	Luc Van Oostenryck	remove unused helper is_branch_goto() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-06	Luc Van Oostenryck	split OP_BR between unconditional & conditional: OP_CBR Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-03	Luc Van Oostenryck	fix size of loaded bitfields Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-03	Luc Van Oostenryck	fix usage in simplify_seteq_setne() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-03	Luc Van Oostenryck	ignore whole-range overlapping initializer Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-03	Luc Van Oostenryck	fix checking of overlapping initializer Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-03	Luc Van Oostenryck	allow to warn on all overlapping initializers Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-03	Luc Van Oostenryck	add test case for warnings about overlapping initializers Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-03	Luc Van Oostenryck	use option: '-Woverride-init' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-03	Luc Van Oostenryck	make -Wbitwise operational again Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-27	Luc Van Oostenryck	add missing braces around FOR_EACH_PTR loop Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-26	Luc Van Oostenryck	fix expansion cost of pure functions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-23	Luc Van Oostenryck	CSE: avoid hashing removed instructions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-23	Luc Van Oostenryck	CSE: use commutativity to identify equivalent instructions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-23	Luc Van Oostenryck	CSE: add test cases for comparisons duality Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	simplify float-to-float casts that doesn't change size Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	fix OP_PHI usage in try_to_simplify_bb() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	use kill_instruction() when killing any instructions... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	use kill_instruction() when killing an OP_PHI during CSE Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	fix killing of rewritten loads Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	add killing of stores Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	add killing of non-volatile loads Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	fix killing OP_CALL via pointers Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	add killing of pure calls Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	kill_instruction() may need to be forced or not Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	fix killing of otherwise not-handled instructions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	remove unused clear_phi() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	fix clear_phi(), replace it by kill_instruction() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	fix killing of OP_PHIs Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	add helper kill_use_list() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	add killing of OP_PHISOURCEs Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	add killing of OP_SLICEs Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	fix show-parse()'s labels Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	remove unused field 'goto_bb' in struct statement Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-02-16	Luc Van Oostenryck	remove unused field 'multijmp' in struct statement Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom