| commit | 9edd4d0f73b81baaa7153982bf716949a5b1b926 | [log] [tgz] |
|---|---|---|
| author | Tom Care <tom.care@uqconnect.edu.au> | Fri Aug 27 22:50:47 2010 +0000 |
| committer | Tom Care <tom.care@uqconnect.edu.au> | Fri Aug 27 22:50:47 2010 +0000 |
| tree | 297990573e9b640407fd731b915af38976614d01 | |
| parent | 6d0e6ce200aa06b06f0e9b493ed365bbe2982cee [diff] [blame] |
Added checking of (x == x) and (x != x) to IdempotentOperationChecker and updated test cases flagged by it. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@112313 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Checker/IdempotentOperationChecker.cpp b/lib/Checker/IdempotentOperationChecker.cpp index 35fb83e..8a9e333 100644 --- a/lib/Checker/IdempotentOperationChecker.cpp +++ b/lib/Checker/IdempotentOperationChecker.cpp
@@ -210,6 +210,8 @@ case BO_Xor: case BO_LOr: case BO_LAnd: + case BO_EQ: + case BO_NE: if (LHSVal != RHSVal || LHSContainsFalsePositive || RHSContainsFalsePositive) break;