info: dereferences_param: print the dereferences even if it's non-NULL
commit45ccf00698a207e10560d2e0d795eb7087c56a13
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 5 Dec 2012 12:58:42 +0000 (5 15:58 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 5 Dec 2012 12:58:42 +0000 (5 15:58 +0300)
tree42453a8857c31cfd03c2187ffdaceca14262aae1
parent7e062a37ee183b9ec6506954eb4273b6ee3b2726
info: dereferences_param: print the dereferences even if it's non-NULL

There was code here to ignore dereferences if we knew already that we are
always passed a valid pointer.

I doesn't hurt anything to print more information and I was got annoyed
that this info was not printed yesterday.  The thing is that the data in
the database is always changing.  I think if you just print as much
information as you know then the results will be more reproducible.

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