user_data: introduce is_capped_user_data()
commitd3231b8a1534c27410bd6bd69e0dabaa3b3997ab
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 23 May 2013 14:51:06 +0000 (23 17:51 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 23 May 2013 14:51:06 +0000 (23 17:51 +0300)
tree27da02256d4642cb0a885916b7f295fa9ae64e0d
parentdc95a199d50c7c6f847e4831527e8763c397d29d
user_data: introduce is_capped_user_data()

I use this to check for integer underflows.  is_user_data() returns false
if the data has been capped.

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