check_memory: separate out a malloced state
commit211d984c107b6d2cffb24deccf0f4728fea0f285
authorDan Carpenter <error27@gmail.com>
Fri, 6 Mar 2009 20:33:40 +0000 (6 23:33 +0300)
committerDan Carpenter <error27@gmail.com>
Fri, 6 Mar 2009 20:33:40 +0000 (6 23:33 +0300)
tree9042db37d8fb9f93326d08e33eefc4021f936624
parentc3fccb32ceee70f8b82999f0205600f8d294e598
check_memory:  separate out a malloced state

malloced is the combination of both &allocated and &null.  It would be
cool if smatch had a way to assign more than one possible state.

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