Public Git Hosting - smatch.git/search

2017-06-21	Luc Van Oostenryck	add fallback for missing __builtin_bswapXX() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-21	Luc Van Oostenryck	fix: try_to_simplify_bb eargerness Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-21	Luc Van Oostenryck	fix OP_PHI usage in try_to_simplify_bb() only when... Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-15	Luc Van Oostenryck	fix: add missing examine in evaluate_dereference() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-15	Luc Van Oostenryck	add support for -fmemcpy-max-count Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-15	Luc Van Oostenryck	add support for -Wmemcpy-max-count Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-15	Luc Van Oostenryck	memcpy()'s byte count is unsigned Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-15	Luc Van Oostenryck	cgcc: filter-out '-fdump-linearize[=...]' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-15	Luc Van Oostenryck	cgcc: add missing warning names to check_only_option() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-15	Luc Van Oostenryck	cgcc: alphasort warning names in check_only_option() Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-15	Luc Van Oostenryck	keep the warnings table alphabetically sorted Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-14	Luc Van Oostenryck	Merge branches 'quiets-bool-cast-restricted-v3', 'error...	commit \| commitdiff \| tree
2017-06-13	Luc Van Oostenryck	Add more declarations for more builtin functions Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-10	Luc Van Oostenryck	finer control over error vs. warnings Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-06-10	Luc Van Oostenryck	use NULL instead of 0 in testcases. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
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	teach cgcc about OSX aka darwin 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	avoid warning on explicit 'bool <- restricted' casts Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>	commit \| commitdiff \| tree
2017-05-19	Luc Van Oostenryck	more tests for implicit 'bool <- restricted' casts 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
next

Static analysis for C

RSS Atom