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

index aeaa2a8..6df89ad 100755 (executable)
@@ -3,7 +3,7 @@
 # mark some paramaters as coming from user space
 cat << EOF | sqlite3 smatch_db.sqlite
 
-update return_states set return = '0-u32max[<=p1]' where function = 'strnlen';
+update return_states set return = '0-s32max[<=p1]' where function = 'strnlen';
 
 EOF