Public Git Hosting - smatch.git/search

2010-03-29	Michael Buesch	ignore attributes "externally_visible" and "signal" Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Christopher Li	Adding test case for "x && y && z" . Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Daniel De Graaf	Fix incorrect linearization of "x && y && z" Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Dan McGee	Makefile: fix permissions mixup on install Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Josh Triplett	New attribute designated_init: mark a struct as requiring... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Josh Triplett	Rename -Wall to Wsparse-all, so it doesn't get turned... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Michael Stefaniuc	Handle __builtin_ms_va_list. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Christopher Li	Simplify Makefile using static pattern rules Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Michael Stefaniuc	Ignore the alloc_size attribute. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Michael Stefaniuc	Ignore the ms_abi/sysv_abi attributes. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Christopher Li	Declare ignored attributres into a list of string. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Christopher Li	Move noreturn attribute out of ignore attr area Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-10-16	Christopher Li	Make MOD_NORETURN fits into 32 bit Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-10-16	Kamil Dudka	do not ignore attribute 'noreturn'... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-10-11	Christopher Li	Sparse 0.4.2 Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-21	Pekka Enberg	sparse: Add GCC pre-defined macros for user-space Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-11	Kamil Dudka	make sparse headers self-compilable... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-11	Reinhard Tartler	show_token: handle TOKEN_UNTAINT and TOKEN_ARG_COUNT... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-02	Kamil Dudka	unssa: track uses when replacing a phi node Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-02	Blue Swirl	Define __LP64__ for x86_64 unless in 32 bit mode Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-02	Blue Swirl	Add support for TImode type (__int128_t) Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-29	Kamil Dudka	linearize.h: sanitize header Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-03	Blue Swirl	Add c{l,t}z{,l,ll}, ffsl{,l}, popcountll and floating... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-03	Blue Swirl	Ignore attribute __bounded__, used by OpenBSD headers. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-27	Hannes Eder	test-suite: integrate unhandled proprocessor tests Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-22	Kamil Dudka	compile-i386: do not generate an infinite loop Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-20	Ramsay Jones	Makefile: suppress error message from pkg-config Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-19	Hannes Eder	test-suite: be more verbose on 'unhandled' and 'known... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-19	Christopher Li	move extern inline function to file scope Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Christopher Li	Add validation for restrict and attribute warning Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Linus Torvalds	Avoid "attribute 'warning': unknown attribute" warning Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Linus Torvalds	Turn off '-Wtransparent-union' by default Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Linus Torvalds	Allow array declarators to have 'restrict' in them Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Samuel Bronson	Have Makefile import local.mk if it exists. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Alberto Bertogli	Support the __thread storage class Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Martin Nagy	Print an error if typeof() lacks an argument Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Martin Nagy	Add missing checks for Waddress-space Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Martin Nagy	.gitignore: Ignore dependencies and Vim swap files Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Al Viro	warn directive in argument list Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Segfault at evaluate.c:341 Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Sanitize pointer()	commit \| commitdiff \| tree
2009-07-18	Al Viro	Don't mix storage class bits with ctype->modifiers...	commit \| commitdiff \| tree
2009-07-18	Al Viro	Simplify get_number_value() and ctype_integer()	commit \| commitdiff \| tree
2009-07-18	Al Viro	Fix __label__ handling Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Fix declaration_specifiers() handling of typedef name... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Fix enumeration constants' scope beginning Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Restore __attribute__((mode)) handling Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Pass decl_state down to ->attribute() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Pass decl_state down to ->declarator() and handle_attributes() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Clean up and split declaration_specifiers() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Have ->declarator() act directly on ctype being affected Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Rewrite and fix specifiers handling Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Saner type for __builtin_va_list Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Take the rest of specifiers to parse.c Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	preparations to ->declarator() cleanup - separate typedef... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix handling of typedefs with several declarators Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Take the rest of storage class keywords to parse.c Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix regression created by commit af30c6df74f01db10fa78ac0cbd... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Propagate decl_state to declaration_specifiers() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Separating ctype and parser state, part 1 Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Sanitize direct_declarator logics Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix braino in which_kind() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Don't mess with passing symbol to declarator/direct_declarator Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Leave applying attributes until we know whether it... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Apply attributes after ( to the right place Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Warn about non-empty identifier list outside of definition Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	more direct_declarator() sanitizing Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix attribute/asm handling Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	More nested declarator fixes Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Separate parsing of identifier-list (in K&R-style declarations) Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix handling of ident-less declarations Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Thomas Schmid	Fix implicit cast to float Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	fun with declarations and definitions Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix type_info_expression() Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Al Viro	fun with declarations and definitions Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Christopher Li	Update the validation check for ftabstop= Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Hannes Eder	refactor handle_switch_f	commit \| commitdiff \| tree
2008-12-29	Christopher Li	Clean up Makefile long lines Signed-Off-By: Christopher Li<sparse@chrisli.org>	commit \| commitdiff \| tree
2008-12-29	Christopher Li	Makefile automatic header dependency Signed-Off-By: Christopher Li<sparse@chrisli.org>	commit \| commitdiff \| tree
2008-12-29	Alexey Zaytsev	Also warn about sizeof(function)	commit \| commitdiff \| tree
2008-12-29	Christopher Li	Warn about explicit usage of sizeof(void) Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2008-12-25	Christopher Li	Teach classify_type to handle typeof Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree

Static analysis for C

RSS Atom