sval: handle pointer math better
commit1936872b697de0f523057a68d50d7ff877931ca5
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 24 Jul 2018 14:10:05 +0000 (24 17:10 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 24 Jul 2018 16:35:08 +0000 (24 19:35 +0300)
tree00defff4aab85e662db02a0e7b7b89621d0aa532
parentbe6ea829b622e3426ac99e085edbe8b399ce9658
sval: handle pointer math better

We need to take alignment into consideration.  If you have "(int *)0 + 1"
that equals 4 because of alignment but in the original code it said it
was 1.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_sval.c