param_limit: re-write completely to make it simpler
commita51cb105a87b94dcaa3f31a45a6d15639bb8f439
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 8 Jan 2015 09:51:14 +0000 (8 12:51 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 8 Jan 2015 09:51:14 +0000 (8 12:51 +0300)
treeed75eebd22767b6fdc22677b130a87e839998735
parent0616dd78d92e34066dc8a23a3158258c1d31921e
param_limit: re-write completely to make it simpler

I was trying to debug something and I realized that I totally can't
understand how this works.  So I re-wrote it.

The original does a backward thing were it marks some strees and then
figures out everything at the end.  It should just be setting states and
letting the core figure out the stree stuff.

It turned out the bug was not related to this so I'm not positive that it
fixes anything but I've been running this code for a few weeks and it
doesn't seem to break anything either.  So I'm going to commit it.

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