| commit | 5de6ff148ae5844942eb0d5055d51edf195415e4 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 17 Feb 2015 10:16:02 +0000 (17 13:16 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 17 Feb 2015 10:16:02 +0000 (17 13:16 +0300) | ||
| tree | 149097921a9228ad98459deb76e3a991b93eecfc | treesnapshot (tar.gz zip) |
| parent | a6c2a4d9d18571ae37ac426393987d5f239fd35b | commitdiff |
buf_size: don't save useless information in the database
We're recording that we don't know the size of the buffer. That's the
default state so we don't need to record it. We're also recording that
the buf size is zero, that means the pointer is NULL. This is saved in
smatch_extra so we don't need to duplicate it here. There are a lot of
NULL pointers because stuff gets initialized with kzalloc() so this is a
lot of data.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
We're recording that we don't know the size of the buffer. That's the
default state so we don't need to record it. We're also recording that
the buf size is zero, that means the pointer is NULL. This is saved in
smatch_extra so we don't need to duplicate it here. There are a lot of
NULL pointers because stuff gets initialized with kzalloc() so this is a
lot of data.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_buf_size.c | diffblobblamehistory |