| commit | 86898ad9886b2e61eb2afce5b2fee9a363fe2e4a | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 4 Feb 2019 08:40:04 +0000 (4 11:40 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 4 Feb 2019 08:40:04 +0000 (4 11:40 +0300) | ||
| tree | c80ae8244ba4908a596a3748ebb6985531ab197c | treesnapshot (tar.gz zip) |
| parent | 95ce0bb0ce0cd4183cef2324510613363b84471e | commitdiff |
type: handle pointer type correctly
Smatch did a horrible hack for backwards compatibility but it turns out
that it was only needed for comparisons. Also if you subtract an int from
a pointer then surely you get a pointer type? I did that last change where
I switched the OR to and AND right before I committed the change so it
hasn't been tested. But it feels right.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Smatch did a horrible hack for backwards compatibility but it turns out
that it was only needed for comparisons. Also if you subtract an int from
a pointer then surely you get a pointer type? I did that last change where
I switched the OR to and AND right before I committed the change so it
hasn't been tested. But it feels right.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_type.c | diffblobblamehistory |