| commit | e0de37696e080db37989061d1856c44c8e0807da | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 9 Dec 2014 07:09:42 +0000 (9 10:09 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 9 Dec 2014 07:09:42 +0000 (9 10:09 +0300) | ||
| tree | 12ed1e6d4e6081b83020b13aec0a012f96436522 | treesnapshot (tar.gz zip) |
| parent | 0822d66b6fb54f40fb7478ee15b01816498a2d3a | commitdiff |
type: pointers are unsigned
Before if there neither MOD_UNSIGNED nor MOD_SIGNED were set then it was
treated like a signed value. This only affects pointers apparently. Now
type_signed() will only return true if MOD_SIGNED is set.
I needed to make a change to smatch_ranges.c as well, otherwise this lead
to bugs.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Before if there neither MOD_UNSIGNED nor MOD_SIGNED were set then it was
treated like a signed value. This only affects pointers apparently. Now
type_signed() will only return true if MOD_SIGNED is set.
I needed to make a change to smatch_ranges.c as well, otherwise this lead
to bugs.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_ranges.c | diffblobblamehistory | |
| smatch_type.c | diffblobblamehistory |