math: put an escape hatch in handle_conditional_rl()
commit70dba076926529a3b2230a71dc888fae61dec63b
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 21 May 2013 13:44:07 +0000 (21 16:44 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 21 May 2013 13:44:07 +0000 (21 16:44 +0300)
tree47f6618c06c2ed5949aee5aac2a65b59476b3538
parent1abe0b2b9ba84b036093184e93ced55ef4e45a83
math: put an escape hatch in handle_conditional_rl()

In the kernel in mptbase_raid_process_event_data() there is a place which
has 10 nested conditionals.

To parse conditionals we need to break apart the condition and it's one of
the more expensive things in Smatch.  This is because you have implied
states which need to be copied over and over.

So I have put an escape hatch to give up on those cases if the memory is
low.  This is how all these cases where handled until yesterday so giving
up here is not horrible.

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