The nullify_path() here is a bug. It over-writes all the states from
commitd6e073db5a0223f47764ec23e3413ceb2ddeaddf
authorDan Carpenter <error27@gmail.com>
Fri, 15 Aug 2008 07:00:01 +0000 (15 10:00 +0300)
committerDan Carpenter <error27@gmail.com>
Fri, 15 Aug 2008 07:00:01 +0000 (15 10:00 +0300)
treec57b7348932bdb29e3490911650c0ff9b8415593
parent7e2e516654e82c9a3c7c65fbfc5f35b5dc67236f
The nullify_path() here is a bug.  It over-writes all the states from
inside the loop.  It's only needed in the case of the forever loop.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_flow.c