implied: use a time based timeout instead of counting ->nr_children
commita1cf69040b2ce9576baf4d16071d5c08e02852fb
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 19 Jan 2018 18:10:48 +0000 (19 21:10 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 19 Jan 2018 18:10:48 +0000 (19 21:10 +0300)
tree1d3b29801b6ef81a87cbf846d132355b1c8e4939
parentef44898484280ea811139e3f9f13010b0cc34631
implied: use a time based timeout instead of counting ->nr_children

I've been running this code for a while.  It seems to work.  It's not
beautiful or complete.  I'm sorry.  I want to commit it now so that I make
my diff smaller.

The problem is that ->nr_children is not really the right thing to measure.
We could have a huge number of children but only need to look at 20 to
decide how the implications fit together.  The effect of this change is
hopefully to make implications more accurate by using some implications
which we would have ignored before.

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