buf_size: return the size of &foo
commit7eef9cb8ad48bea196b10b4cb0c13f2cd0e92512
authorDan Carpenter <dan.carpenter@oracle.com>
Sat, 16 Jun 2012 13:41:16 +0000 (16 16:41 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Sat, 16 Jun 2012 13:41:16 +0000 (16 16:41 +0300)
treeb0489846a99291310055f040eef2dd023aab0162
parent3a27ab523ed0d5822157d8cb8a503f91a0e91f6b
buf_size: return the size of &foo

Also this tries to return the correct size for: &foo.buf[0] because that
is a common idiom instead of just passing the address.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_buf_size.c
validation/sm_buf_size5.c [new file with mode: 0644]