flow: set loop_count to zero when parsing inline functions
commit25e797875a4324be396420ca54e2766a6f7d96a0
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 25 Jan 2018 14:08:33 +0000 (25 17:08 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 25 Jan 2018 14:08:33 +0000 (25 17:08 +0300)
tree7020fe0875134d3eb5ce7d92a788d0ecacd3ac1f
parentf854520dc97da3d6e619a60233dd2960c7ad305b
flow: set loop_count to zero when parsing inline functions

I deliberately didn't do this before because it's a trade off.  The choice
is either mark some returns as impossible when they are actually possible
on the second iteration through the loop or mark some returns as possible
when they are impossible.  Either way is going to cause some confusion.

I have decided to mark returns as impossible.  This does cause a couple
issues where some unpublished code complains that "why are we checking
for IS_ERR() when that's not possible".  I will write a work around for
that eventually.

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