Remove unneeded code. This stuff is handled in smatch_flow.c now.
commit5792d4d05c824d8eaf53b14f3aa4711d44d688b6
authorDan Carpenter <error27@gmail.com>
Sat, 16 Aug 2008 20:52:08 +0000 (16 23:52 +0300)
committerDan Carpenter <error27@gmail.com>
Sat, 16 Aug 2008 20:52:08 +0000 (16 23:52 +0300)
tree17096672ed528eccc08b728ce15385f9087aaefe
parent2cb35de71d9b85bfe9996b519e3ec30a8a9a578f
Remove unneeded code.  This stuff is handled in smatch_flow.c now.

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