db: declare strnlen() as returning "0-s32max[<=p1]"
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 15 Jul 2013 06:24:45 +0000 (09:24 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 15 Jul 2013 06:24:45 +0000 (09:24 +0300)
commit01032e4f7fdcd232b0d2135c4ec2cffe7bd46191
tree6770ac017a94102a85f9d5dd3a0f0557e2c8a990
parentd77c4d07aed12887d6b1f2d9d85d0129257613e2
db: declare strnlen() as returning "0-s32max[<=p1]"

It used to annotated as returning up to u32max but if you saved the return
value in a signed int then the u32max wrapped to negative.  It caused
false positives.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_data/db/fixup_all.sh