kernel_user_data: fix a type issue in set_points_to_user_data()
commit59c432273245fd156779f7e3b582ce7cc25e6eff
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 26 Feb 2019 14:53:52 +0000 (26 17:53 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 26 Feb 2019 14:53:52 +0000 (26 17:53 +0300)
treecfd8a83cf636e91947c2b35b3698563f56120496
parent2b91429575420c66dc1508364bf22b1dcf2c0869
kernel_user_data: fix a type issue in set_points_to_user_data()

Originally this just set everything to llong_ctype which is wrong.
This function is still a bit weird because we want to set
*void_ptr = whole_range().  My feeling is that that code probably still
is useful.

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