Public Git Hosting - smatch.git/search

2007-11-13	Josh Triplett	Add known-to-fail test case for a static forward declaration Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-10-21	Josh Triplett	Add test-suite metadata to validation/local-label.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-10-10	Josh Triplett	Add comment on taint flags enum referencing expr->taint Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Makefile: VERSION=0.4 Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add SEE ALSO for cgcc in sparse manpage Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add a manpage for cgcc Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to init-char-array.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	validation: Update comment in type1.c to reflect current... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to function-pointer-modifier... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to cond_expr.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to integer-promotions.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	validation: Rename typeconvert.c to integer-promotions... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	README: recode from ISO-8859-1 to UTF-8 Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	FAQ: Point to URL on vger for subscription instructions... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Makefile: Use ?= to allow overriding OS or AR on the... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to noderef.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to struct-ns1.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to non-pointer-null.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to struct-attribute-placement.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to varargs1.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to badtype4.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-09-15	Josh Triplett	Add test-suite annotations to check_byte_count-ice.c Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
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-07	Josh Triplett	ctags: Handle some new namespaces and symbol types. Signed-off-by: Josh Triplett <josh@freedesktop.org>	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	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	Josh Triplett	Remove explicit restatements of defaults in metadata... Signed-off-by: Josh Triplett <josh@freedesktop.org>	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	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-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	Josh Triplett	Add c2xml to .gitignore Signed-off-by: Josh Triplett <josh@freedesktop.org>	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-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-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	Josh Triplett	Turn on -Wdecl by default. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-06-03	Josh Triplett	Add test case for infinite loop in free_preprocessor_line() Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-06-01	Josh Triplett	Makefile prettyprinting: make INSTALL and other output... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-06-01	Josh Triplett	Change "LD" to "LINK" in Makefile prettyprinting. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Canonicalize URL in FAQ: add www., add trailing slash Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Fix old typo: s/wierd/weird/ Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Sparse always defines __STDC__ 1, so cgcc does not... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Add explanatory comment about direct use of __IDENT... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Add no-double-underscore variant format_arg. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Add double-underscore variant __syscall_linkage__. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Add no-double-underscore variant "used", ignored like... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Add double-underscore variant __noinline__. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Add double-underscore variant __always_inline__. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Reorganize attribute list for readability. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Move the ident for defined() into the preprocessor... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Remove inaccurate comment designating some attributes... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Ignore the GCC constructor and destructor attributes Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-23	Josh Triplett	Add __builtin_strcat and __builtin_strncat. Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
2007-05-22	Josh Triplett	Add -Wno-non-pointer-null to turn off warning about... Signed-off-by: Josh Triplett <josh@freedesktop.org>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom