smatch_data/kernel.array_bounds: array boundary data
commiteb2d5b62023de596ceb7f5f60cdf967d12c924cc
authorDan Carpenter <error27@gmail.com>
Mon, 30 Aug 2010 12:28:50 +0000 (30 14:28 +0200)
committerDan Carpenter <error27@gmail.com>
Mon, 30 Aug 2010 12:28:50 +0000 (30 14:28 +0200)
tree7d12ad814d5c1879525d538ccf8410fb10a384c1
parentf51fe913b59610a5d12669792e2de5156932b176
smatch_data/kernel.array_bounds:  array boundary data

This is used by check_overflow.c

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_data/kernel.array_bounds [new file with mode: 0644]