| commit | 1574d936a6e1fa2f3b2b386c2238d5af3f5576ac | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sat, 31 Jul 2010 05:57:45 +0000 (31 07:57 +0200) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sat, 31 Jul 2010 05:57:45 +0000 (31 07:57 +0200) | ||
| tree | 6365f3ca100c38c50ea3ea0262646f36d781a5df | treesnapshot (tar.gz zip) |
| parent | 5a8ea20e31a9e656c4970e6839724fdd2001515e | commitdiff |
overflow: make array size tracking into a library function
I separated out the buffer size tracking code into smatch_buf_size.c. Now
any check can call get_array_size() and get_array_size_bytes().
Signed-off-by: Dan Carpenter <error27@gmail.com>
I separated out the buffer size tracking code into smatch_buf_size.c. Now
any check can call get_array_size() and get_array_size_bytes().
Signed-off-by: Dan Carpenter <error27@gmail.com>
| Makefile | diffblobblamehistory | |
| check_overflow.c | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_buf_size.c | [new file with mode: 0644] | blob |