repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: 157e892) | patch
db: move call_implies to use raw SQL
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 11 Feb 2013 14:52:19 +0000 (17:52 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 14 Feb 2013 12:03:13 +0000 (15:03 +0300)
commit563916adb96867db34a7bbf4f447757230629c30
tree354591790f5a3681be3c068c78517c5298607129tree | snapshot (tar.gz zip)
parent157e892acad7ab7b3d0660c67ffb4d6c191041b4commit | diff
db: move call_implies to use raw SQL

Instead of printing human readable text and parsing it with
fill_db_call_implies, just print raw SQL and parse it with
fill_db_sql.pl.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
check_dereferences_param.c diff | blob | blame | history
smatch.h diff | blob | blame | history
smatch_db.c diff | blob | blame | history
smatch_scripts/db/fill_db_call_implies.pl [deleted file] blob | blame | history
Static analysis for C