repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: af6b9dc) | patch
sval: type: handle type_bits() for addresses
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 19 Nov 2012 16:46:08 +0000 (19:46 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 19 Nov 2012 18:47:47 +0000 (21:47 +0300)
commit04a122ec5645d2e3a41ecd653d1f3cecc9deb230
tree2e4e236909505bcfdde0f19cf9bbd2ec93258e66tree | snapshot (tar.gz zip)
parentaf6b9dc9b1dad6ceea9cd80c3aa1092003c56434commit | diff
sval: type: handle type_bits() for addresses

Sparse doesn't set the ->bit_size field if you have an ampersand address.
So say smatch has to evaluate the expression if (&foo - &bar > 0) { ...
it wants to cast both sides to the right type but it doesn't know how.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_type.c diff | blob | blame | history
Static analysis for C