db, annotate: move strnlen() return annotation to the db
commitb4c14bdd1a5ba9f41cf1ec9a57370315b530941c
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 14 Jun 2013 07:59:12 +0000 (14 10:59 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 14 Jun 2013 07:59:12 +0000 (14 10:59 +0300)
tree010fc3fc8459c304939a9d80ae8f97f1268e0c24
parentcaf2e8a842d82b5b5152b455209c53837461bc15
db, annotate: move strnlen() return annotation to the db

It's better to put as much stuff as possible in the database, I think.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_annotate.c
smatch_data/db/create_db.sh
smatch_data/db/fixup_all.sh [new file with mode: 0755]