| commit | 958b44b8c7047203d207f127d159afe2e3d88a56 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 13 Feb 2018 13:48:26 +0000 (13 16:48 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 13 Feb 2018 13:48:26 +0000 (13 16:48 +0300) | ||
| tree | 51d213804254ae6b2428fda36657130ee63f704e | treesnapshot (tar.gz zip) |
| parent | c38332657d8ea3baacedb64154eaa3073fcd1da5 | commitdiff |
conditions: hack around "if (foo | bar) {" (bitwise OR)
What this patch does is that it treats | as ||. This is a hack, because
| does not have any implied memory barrier. It means that we might miss
some bugs, but it silences some false positives with the current code and
it's easy to implement.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
What this patch does is that it treats | as ||. This is a hack, because
| does not have any implied memory barrier. It means that we might miss
some bugs, but it silences some false positives with the current code and
it's easy to implement.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_conditions.c | diffblobblamehistory |