math: handle bitwise OR
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 5 Sep 2013 19:53:45 +0000 (22:53 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 5 Sep 2013 19:53:45 +0000 (22:53 +0300)
commite90d623b488b1cfee3831c5a50aefb717fe94553
treec235ee9460e715531c32d1090036e26e92fe91ea
parent1f2e9ea33c77080a39336a066fab0f505e6aa9a5
math: handle bitwise OR

Avoid some false positives about integer wrapping bugs.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_math.c
validation/sm_math2.c [new file with mode: 0644]