capped: known values are always capped
commitf234477de1a4b2583fb9487a4a4172ba92906387
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 8 May 2013 08:21:58 +0000 (8 11:21 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 8 May 2013 08:21:58 +0000 (8 11:21 +0300)
tree2704e4d599b1cd786e76043c910dbf158c589f06
parentfb4aa2725fc2f6811f97ee3b1dbcc2d9c3e68627
capped: known values are always capped

If the value is known that means it's capped.  This silences a few false
positives.

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