Public Git Hosting - smatch.git/search

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
2015-03-13	Michael Stefaniuc	Add the __builtin functions needed for INFINITY and... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-02-09	Luc Van Oostenryck	Teach sparse about the __COUNTER__ predefined macro Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-02-06	Christopher Li	Make macro expanded string immutable Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2015-01-28	Christian Borntraeger	s390x: add the proper defines for data types Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-12-12	Christopher Li	Ptr list sorting should use memmove instead of memcpy Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-11-10	Aaro Koskinen	build: allow use of PKG_CONFIG to override pkg-config Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-11-10	Ramsay Jones	compile-i386.c: don't ignore return value of write(2) Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-11-10	Ramsay Jones	parse.c: remove duplicate 'may_alias' ignored_attributes Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-11-10	Ramsay Jones	cgcc: avoid passing a sparse-only option to cc Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-11-10	Ramsay Jones	test-suite: remove bashism to avoid test failures Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-10-25	Christopher Li	teach next_designators() use array_element_offset() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-10-10	Ramsay Jones	cgcc: use $ccom to set $multiarch_dir if not specified Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-10-10	Ramsay Jones	cgcc: use only the cc command to determine $gcc_base_dir Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-10-10	Ramsay Jones	Add support for multiarch system header files Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-10-10	Ramsay Jones	don't run sparse{c,i} tests when sparse-llvm is disabled Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-10-10	Ramsay Jones	Makefile: suppress error message from shell Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-10-10	Ramsay Jones	don't call isdigit/tolower with a char argument Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-10-10	Ramsay Jones	sparse: add 'gnu_inline' to the ignored attributes Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-10-10	Ramsay Jones	Add the __restrict__ keyword Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-10-10	Ard Biesheuvel	sparse: treat function pointers as pointers to const... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-10-10	Christopher Li	rename -Werror to -Wsparse-error Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-09-28	Thomas Graf	sparse: Make -Werror turn warnigns into errors Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom