repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: 94af652) | patch
db: don't get print info if the function has over 10000 states
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 6 Feb 2013 08:14:45 +0000 (11:14 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 6 Feb 2013 08:14:45 +0000 (11:14 +0300)
commitc788d9ef7dbcdcb12112b2487b2ac7279ffeaea9
tree8e7fd43e2e00afcec6def81c45928e500e0c52ebtree | snapshot (tar.gz zip)
parent94af652fc79a463316fc1c6ec02d51b8ee6254e1commit | diff
db: don't get print info if the function has over 10000 states

It's too much information, just bail.  (Also it probably means that
something has gone wrong).

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_db.c diff | blob | blame | history
Static analysis for C