*new* impossible_mask: complain if people do "if ((x & 2) == 1"
commit713d1be6f742861744f60bdb08dacba9aaafba91
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 19 Nov 2015 05:40:31 +0000 (19 08:40 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 19 Nov 2015 05:40:31 +0000 (19 08:40 +0300)
treef220ce0f4b0cdc762c045a1e9d31f25f6f1567d2
parent8b0b434584c3c63f3e6ce4c1d560d6a9a6687ff2
*new* impossible_mask: complain if people do "if ((x & 2) == 1"

David Binderman reported one of these bugs for a staging driver.  The code
is clearly wrong but we don't know how to fix.  Let's track it in Smatch so
we don't forget.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
check_impossible_mask.c [new file with mode: 0644]
check_list.h