Public Git Hosting - smatch.git/search

2007-09-15	Josh Triplett	Add test-suite annotations to double-semicolon.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to restricted-typeof.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-06	Josh Triplett	Use -fno-strict-aliasing, as the ptrlist code seems... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-08-31	Josh Triplett	cgcc: Sparse accepts -Wundef, not -Wundefined-preprocessor Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-08-31	Josh Triplett	Rename Wundefined_preprocessor to Wundef to match the... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-08-31	Josh Triplett	cgcc: Sparse accepts -Wcast-to-as, not -Wcast-to-address... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-08-31	Josh Triplett	Install the Sparse manpage Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-08-31	Josh Triplett	Add a manpage for sparse Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-08-31	Josh Triplett	Rename Wcast_to_address_space to Wcast_to_as to match... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-08-31	Josh Triplett	Sort warning options in lib.c and lib.h Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-08-30	Josh Triplett	Add test case for -Wtypesign Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-08-30	Josh Triplett	is_zero_constant: declare saved const Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-08-23	Randy Dunlap	add __builtin_labs()	commit \| commitdiff \| tree
2007-08-23	Yura Pakhuchiy	Make cgcc filter out all sparse warning related options	commit \| commitdiff \| tree
2007-08-10	Kovarththanan Rajaratnam	libxml compile fix on Cygwin	commit \| commitdiff \| tree
2007-08-07	Josh Triplett	ctags: Handle some new namespaces and symbol types. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-08-04	Mike Frysinger	Makefile: improve flag handling	commit \| commitdiff \| tree
2007-07-30	Josh Triplett	Drop -fpic; it hurts performance and we don't build... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-30	Josh Triplett	Add some missing dependencies in the Makefile Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-30	Josh Triplett	cse: Size insn_hash_table more realistically, speeding... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-30	Josh Triplett	Makefile: Use -O2 -finline-functions, not just -O Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-29	ricknu-0@student...	tokenize.c: Simplify drop_stream_eoln().	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] braino in conditional_expression()	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] saner -Wtypesign	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] sanitize evaluate_postop()	commit \| commitdiff \| tree
2007-07-29	Josh Triplett	Add test case for comparing null pointer constant to... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] fix evaluate_compare()	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] sanitize evaluate_ptr_add(), start checking...	commit \| commitdiff \| tree
2007-07-29	Josh Triplett	Remove explicit restatements of defaults in metadata... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] ...,array should degenerate	commit \| commitdiff \| tree
2007-07-29	Josh Triplett	Remove explicit restatements of defaults in metadata... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] file and global scopes are the same for purposes...	commit \| commitdiff \| tree
2007-07-29	Josh Triplett	Remove explicit restatements of defaults in metadata... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-27	Josh Triplett	validation/builtin_safe1.c: Show the unsafe macro argument Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-27	Josh Triplett	Add test-suite metadata to label-attr.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-27	Josh Triplett	Turn off -Wdo-while by default. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-25	ricknu-0@student...	expression.c: Clean up match_oplist() and add missing...	commit \| commitdiff \| tree
2007-07-25	ricknu-0@student...	tokenize.c: Replace handwritten strncmp with existing...	commit \| commitdiff \| tree
2007-07-23	Josh Triplett	allocate.h: Stop needlessly returning a void value... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-23	Josh Triplett	Add test-suite metadata to old-initializer.c; also... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-23	Josh Triplett	Makefile: stop cleaning files we didn't make and have... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-23	Josh Triplett	Fix typos in test-suite documentation Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-23	Josh Triplett	Add test-suite metadata to calling-convention-attributes.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-23	Josh Triplett	Add test-suite metadata to escapes.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-23	Josh Triplett	Add test-suite metadata to context.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-23	Josh Triplett	Add test-suite metadata to initializer-entry-defined... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-23	Josh Triplett	Add test-suite metadata to bad-ternary-cond.c, and... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-23	Josh Triplett	Add test-suite metadata to bad-cast.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-23	Josh Triplett	Fix test-suite to handle stdout and stderr separately... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-14	Josh Triplett	Fix sparse warnings in c2xml: mark globals static and... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-14	Josh Triplett	Fix GCC warnings in c2xml Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-14	Josh Triplett	expression.h needs lib.h for struct position and symbol... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-14	Josh Triplett	Split c2xml build rule into compile and link stages... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] deal correctly with qualifiers on arrays	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] rewrite type_difference() Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] fix the sanity check in evaluate_ptr_sub()	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] get compatible_assignment_types() deal with...	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] start cleaning type_difference()	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] integer_promotions() can't get SYM_NODE or...	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] clean up evaluate_sign()	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] saner show_type() Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-14	Josh Triplett	Add c2xml to .gitignore Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-14	Rob Taylor	add c2xml program Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-13	Rob Taylor	new get_type_name function	commit \| commitdiff \| tree
2007-07-13	Rob Taylor	add sparse_keep_tokens api to lib.h	commit \| commitdiff \| tree
2007-07-13	Rob Taylor	add end position to symbols	commit \| commitdiff \| tree
2007-07-10	Al Viro	fix handling of pointers in ?:	commit \| commitdiff \| tree
2007-07-10	Al Viro	fix handling of address_space in casts and assignments	commit \| commitdiff \| tree
2007-07-09	Al Viro	make size_t better approximate the reality	commit \| commitdiff \| tree
2007-07-09	Al Viro	first pass at null pointer constants	commit \| commitdiff \| tree
2007-07-09	Al Viro	fix the comma handling in integer constant expressions	commit \| commitdiff \| tree
2007-07-09	Josh Triplett	Add test-suite comment to bad-array-designated-initializer.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-08	Josh Triplett	Remove "check-exit-value: 0" and rely on default; remove... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-08	Josh Triplett	Add test-suite comment to label-asm.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-08	Josh Triplett	Rename asm-volatile to better describe what it tests	commit \| commitdiff \| tree
2007-07-08	Josh Triplett	Make clean depend on clean-check Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-08	Josh Triplett	Add test-suite comment to address_space.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-08	Josh Triplett	Add test-suite comment to preprocessor21. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-08	Josh Triplett	Make preprocessor-loop a normal numbered preprocessor... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-08	Josh Triplett	Add test-suite comments to all the obvious preprocessor... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-08	Josh Triplett	validation: Update comments for current Sparse behavior... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-08	Josh Triplett	.gitignore: Stop ignoring all dotfiles Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-08	Josh Triplett	Move test-suite output files to validation/.gitignore Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-07-08	Damien Lespiau	Sample test-suite test cases	commit \| commitdiff \| tree
2007-07-08	Damien Lespiau	test-suite documentation	commit \| commitdiff \| tree
2007-07-08	Damien Lespiau	test-suite: a tiny test automation script	commit \| commitdiff \| tree
2007-06-28	Josh Triplett	Move all the preprocessor tests into validation/preprocessor/ Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-06-28	Pavel Roskin	Fix warnings about undeclared globals, they are irrelevant...	commit \| commitdiff \| tree
2007-06-28	Pavel Roskin	Avoid use of libc headers in the validation suite	commit \| commitdiff \| tree
2007-06-28	Pavel Roskin	cgcc: preserve sparse exit code if -no-compile is used	commit \| commitdiff \| tree
2007-06-28	Pavel Roskin	Bitfield without explicit sign should be a warning...	commit \| commitdiff \| tree
2007-06-26	Josh Triplett	Merge commit 'viro/integer-constant'	commit \| commitdiff \| tree
2007-06-26	Josh Triplett	validation/non-pointer-null.c: Make global static to... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-06-26	Josh Triplett	validation/escapes.c: Make globals static to avoid... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-06-26	Josh Triplett	validation/restricted-typeof.c: Make globals static... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-06-26	Josh Triplett	validation/old-initializer.c: Make the_s static to... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-06-24	Josh Triplett	ctags: Use const as appropriate in cmp_sym() Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-06-13	Alexey Dobriyan	Fix -E handling	commit \| commitdiff \| tree
2007-06-13	Josh Triplett	Turn on -Wdecl by default. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-06-09	Pavel Roskin	Improve error message if using a member of an incomplete...	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom