Public Git Hosting - smatch.git/commit

repo.or.cz / smatch.git / commit

summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: 7c6fe9d) | patch

author	Dan Carpenter <dan.carpenter@oracle.com>
	Fri, 14 Dec 2012 13:30:38 +0000 (16:30 +0300)
committer	Dan Carpenter <dan.carpenter@oracle.com>
	Fri, 14 Dec 2012 13:30:38 +0000 (16:30 +0300)
commit	c843608b44e5c60ab3f9fd59674db35c97b4e863
tree	4c29b1b4b45295e1eb1a342cbd548466834a2964	tree \| snapshot (tar.gz zip)
parent	7c6fe9d3bb7acc0e5b8fd8046017cf44988ed960	commit \| diff

db: remove return_implies table and related code

Everything is in the return_states hook now so none of this is needed.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>

check_list.h		diff \| blob \| blame \| history
check_param_range.c	[deleted file]	blob \| blame \| history
smatch.h		diff \| blob \| blame \| history
smatch_function_hooks.c		diff \| blob \| blame \| history
smatch_project.c		diff \| blob \| blame \| history
smatch_scripts/db/fill_db_return_implies.pl	[deleted file]	blob \| blame \| history
smatch_scripts/db/return_implies.schema	[deleted file]	blob \| blame \| history

Static analysis for C