Public Git Hosting - smatch.git/search

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
2014-09-25	Pavel Roskin	Use LLVM_CONFIG instead of llvm-config in Makefile Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-09-25	Omar Sandoval	sparse-llvm: Fix LLVM 3.5 linker errors Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-09-18	Linus Torvalds	Fix initializers in anonymous structs and unions Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-08-02	Christopher Li	Make same_symbol list share the same scope Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-08-02	Linus Torvalds	Fix scoping of extern symbols in block scope Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-07-17	Christopher Li	round up the array element size to byte align Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-07-16	Jeff Layton	sparse: make bits_to_bytes round up instead of down Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-06-29	Christopher Li	Minor clean up for option handling Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-06-29	Andy Shevchenko	lib.c: skip --param parameters Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-17	Cody P Schafer	parse: support c99 [static ...] in abstract array declarators Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-15	Cody P Schafer	sparse{i,c}: use LLVM_CONFIG to find llc and lli Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-15	Cody P Schafer	build: allow use of LLVM_CONFIG to override llvm-config... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-03	Linus Torvalds	Fix error at anoymous unions Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-03	Hans Verkuil	Add test case for the ioc type check Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-03	Hans Verkuil	Add test case for anonymous union initializer Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-03	Hans Verkuil	Add test case for extern array Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-01	Linus Torvalds	Use any previous initializer to size a symbol Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-01	Linus Torvalds	Add warning about duplicate initializers Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-01	John Keeping	Support GCC's transparent unions Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-01	John Keeping	evaluate: split out implementation of compatible_assignment_... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-04-01	John Keeping	validation/sizeof-bool: fix broken test case Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-02-27	Joe Perches	sparse: Allow override of sizeof(bool) warning Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-01-29	Emilio G. Cota	Define __CHAR_BIT__ Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-01-29	Christopher Li	Sparse 0.5.0 Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2014-01-29	Christopher Li	Fix make dist failure Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-12-21	Christopher Li	Sparse 0.5.0 rc1 Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-12-21	Kim Phillips	sparse: add built-in atomic memory access identifiers Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-12-21	Emilio G. Cota	gitignore: add 'version.h' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-12-09	James Westby	Update the information in README about using the library. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-11-29	Franz Schrober	sparse: Also check bit_offset when checking implicit... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-11-29	Franz Schrober	FAQ: Remove outdated sections about the license Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-11-29	Franz Schrober	sparse: Relicense under the MIT license Acked-by: Christopher Li <sparse@chrisli.org> Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-11-29	Franz Schrober	Revert "Fix mistaken comparison that becomes a no-op." Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-11-29	Franz Schrober	Revert "Update the information in README about using... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-11-29	Christopher Li	Merge branch 'Novafora' of git://git.zytor.com/users...	commit \| commitdiff \| tree
2013-07-25	Christopher Li	Merge branch 'llvmcore'	commit \| commitdiff \| tree
2013-07-25	Jeff Layton	sparse: add __builtin_va_arg_pack() and __builtin_va_arg_pac... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-05-23	Ramsay Jones	symbol.c: Set correct size of array from parenthesized... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-05-17	Ramsay Jones	char.c: Fix parsing of escapes Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-05-16	Christopher Li	Trivial: Remove redundant Makefile variable Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2013-05-15	Xi Wang	sparse, llvm: fix link errors Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom