Public Git Hosting - smatch.git/search

2017-06-08	Luc Van Oostenryck	ret-void: warn for implicit type Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-08	Luc Van Oostenryck	ret-void: add test case for toplevel asm Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-28	Luc Van Oostenryck	testsuite: avoid fork+execing basename Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-28	Luc Van Oostenryck	testsuite: remove unneeded './' before commands Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-28	Luc Van Oostenryck	testsuite: use shell arithmetic instead of fork-execing... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-28	Luc Van Oostenryck	testsuite: grep the output patterns only when needed Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-28	Luc Van Oostenryck	testsuite: grep the expected output only when needed Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-28	Luc Van Oostenryck	testsuite: get all tags in once Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	Merge branches 'dump-macros-v2', 'fix-predefined-size... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	let -dD report macro definitions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	teach sparse how to handle -dD flag Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	fix definition of __SCHAR_MAX__ & friends Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	avoid to redefine __INT_MAX__ and friends Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	fix hardcoded size of wide chars Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	teach sparse how to dump macro definitions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	define ident_list Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	add support for a new flag: -fdump-linearize[=only] Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	remove origval from struct access_data Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	remove alignment from struct access_data Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	fix implicit zero initializer. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	add test case for linearize_initializer() of bitfields Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	remove bit_size & bit_offset from struct access_data Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	returns the correct type when evaluating NULL Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	fix: kill old branch in insert_branch() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-15	Luc Van Oostenryck	testsuite: cleanup result files Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-15	Luc Van Oostenryck	use -fmem-report to report allocation stats Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-15	Luc Van Oostenryck	teach sparse how to handle '-fmem-report' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-15	Luc Van Oostenryck	add helper handle_simple_switch() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-15	Luc Van Oostenryck	add show_allocation_stats() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-15	Luc Van Oostenryck	add get_<allocator>_stats() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-12	Luc Van Oostenryck	Merge branches 'quiets-bool-cast-restricted-v2', 'keyword... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-12	Luc Van Oostenryck	keyword: no pre-declaration needed for attribute names Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-12	Luc Van Oostenryck	keyword: add a comment about NS_TYPEDEF & reserved... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-12	Luc Van Oostenryck	keyword: add more reserved keywords to the test case Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-12	Luc Van Oostenryck	keyword: explicitly add C99 & C11 keywords Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-12	Luc Van Oostenryck	keyword: regroup the [reserved] keywords Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-12	Luc Van Oostenryck	keyword: add test case for reserved '_Static_assert' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-12	Luc Van Oostenryck	fix missing reload Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-11	Luc Van Oostenryck	fix boolean context for OP_AND_BOOL & OP_OR_BOOL Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-11	Luc Van Oostenryck	ignore VOID when trying to if-convert phi-nodes Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-11	Luc Van Oostenryck	fix: kill unreachable BBs after killing a child Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-11	Luc Van Oostenryck	let kill_unreachable_bbs() clear REPEAT_CFG_CLEANUP Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-11	Luc Van Oostenryck	introduce REPEAT_CFG_CLEANUP Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-11	Luc Van Oostenryck	avoid useless warning for 'bool <- restricted type... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-04-30	Luc Van Oostenryck	Merge branches 'sent/float-expand-v2', 'sent/fix-kill...	commit \| commitdiff \| tree
2017-04-29	Luc Van Oostenryck	be more careful with concat_user_list() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-04-01	Luc Van Oostenryck	fix OP_PHI usage in try_to_simplify_bb(), correctly Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-31	Luc Van Oostenryck	avoid crash with test-linearize -vv Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-27	Luc Van Oostenryck	fix expansion of integers to floats Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-27	Luc Van Oostenryck	do not depends on limits.h to test __CHAR_BIT__ Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-27	Luc Van Oostenryck	fix cast to pointer to floating-point Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-27	Luc Van Oostenryck	fix test validation/div.c Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-27	Luc Van Oostenryck	predefine __SIZEOF_INT__ & friends Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-27	Luc Van Oostenryck	predefine __INT_MAX__ and friends Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-27	Luc Van Oostenryck	fix test for cast to bool on 32bit machines Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-22	Luc Van Oostenryck	fix is_scalar_type() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-22	Luc Van Oostenryck	fix evaluation of a function or array symbol in conditionals Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-22	Luc Van Oostenryck	warn if testing the address of an array	commit \| commitdiff \| tree
2017-03-22	Luc Van Oostenryck	add is_array_type() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-22	Luc Van Oostenryck	warn if testing the address of a function Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-03-22	Luc Van Oostenryck	add is_func_type() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom