| commit | 61839d87d5f46d62cf324c32fb775aaf8b24d6ed | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 1 Jun 2016 07:57:00 +0000 (1 10:57 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 1 Jun 2016 07:57:00 +0000 (1 10:57 +0300) | ||
| tree | fbecdb53cd88e382b99345a0d692fcf8cd16ae1b | treesnapshot (tar.gz zip) |
| parent | c9836dce51a44156a7b1a87b2d797851c7208e3c | commitdiff |
implied: add a comment explaining how implications work
I always get confused but it's really simple. Only mark the stree as
true or false if it's definitely true or definitely false. It doesn't
have to be a leaf_sm.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
I always get confused but it's really simple. Only mark the stree as
true or false if it's definitely true or definitely false. It doesn't
have to be a leaf_sm.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_implied.c | diffblobblamehistory |