If the pointer is initialized to non-null then set the state appropriately.
commitffccf413bad33b19b22d27a02d5e48afb3ca39f1
authorDan Carpenter <dcarpenter@usbsys.site>
Wed, 17 Sep 2008 09:12:59 +0000 (17 12:12 +0300)
committerDan Carpenter <dcarpenter@usbsys.site>
Wed, 17 Sep 2008 09:12:59 +0000 (17 12:12 +0300)
treeca6122fe2039d6ce66d5f18f3247351137673c8c
parent7a1f920136b2693af7766c56990d1c4dfa1344c3
If the pointer is initialized to non-null then set the state appropriately.

Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>
check_null_deref.c