param_limit: don't print unneeded information
commita785d7d2baa1b3671a6b363064d4b62d59e1c538
authorDan Carpenter <dan.carpenter@oracle.com>
Sat, 15 Dec 2012 10:19:21 +0000 (15 13:19 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Sat, 15 Dec 2012 10:19:21 +0000 (15 13:19 +0300)
tree2e5acd62533fe9c002c72b2aa272ff8cc554cdb0
parentc843608b44e5c60ab3f9fd59674db35c97b4e863
param_limit: don't print unneeded information

If there isn't any limit then don't print that.  This makes the database
a bit smaller.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch.h
smatch_flow.c
smatch_hooks.c
smatch_param_limit.c