| commit | 52ba7a55ccd7706f9cfe532ff106fb87a5c871de | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 17 Jan 2013 20:42:05 +0000 (17 23:42 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 17 Jan 2013 20:42:05 +0000 (17 23:42 +0300) | ||
| tree | 997b9a8433b5571087dec83766cac233c4b35ec7 | treesnapshot (tar.gz zip) |
| parent | 7d3c01f66369e8389f39f2d41a65736e4d1d1f6c | commitdiff |
smatch_comparison: store how two variables compare with each other
The goal here is to keep a record of which variables are larger and which
are smaller, even if we don't know what the values are. That way we can
say "a - b" is greater than zero if "a" is larger than "b".
This patch just stores the information, it doesn't use it.
Also it only gets the information if there is a compare. It could use
math operations like divide and subtract as well.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The goal here is to keep a record of which variables are larger and which
are smaller, even if we don't know what the values are. That way we can
say "a - b" is greater than zero if "a" is larger than "b".
This patch just stores the information, it doesn't use it.
Also it only gets the information if there is a compare. It could use
math operations like divide and subtract as well.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| Makefile | diffblobblamehistory | |
| check_list.h | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_comparison.c | [new file with mode: 0644] | blob |