flow: only fake parameter assignments once
commitb986f57ade4974ec51f3f4ac234c7d58a25b61c1
authorDan Carpenter <error27@gmail.com>
Tue, 28 Mar 2023 15:20:57 +0000 (28 18:20 +0300)
committerDan Carpenter <error27@gmail.com>
Tue, 28 Mar 2023 15:20:57 +0000 (28 18:20 +0300)
tree7c6a9b5b6e23f7e289a4e5355e96a3577bbdcb29
parent60e88e6bc79370eb7a5e630f5fe8ea538a92bec0
flow: only fake parameter assignments once

This is similar to parsing inlines only once but taking it a bit further.

First of all, all calls should be parsed only once, not just inlines.  And
the inlining code only affected actually parsing the function and inserting
return states into the database.  But we still load the call data into the
DB.

It's kind of tricky to know what things are required and which are not.

But creating fake assignments is not required.  I was worried that the
fake state data was freed too early so I re-worked that a bit.

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