r204842 - [analyzer] Remove the implemented Identical* checkers from the "potential" list.

Jordan Rose jordan_rose at apple.com
Wed Mar 26 11:59:23 PDT 2014


Author: jrose
Date: Wed Mar 26 13:59:22 2014
New Revision: 204842

URL: http://llvm.org/viewvc/llvm-project?rev=204842&view=rev
Log:
[analyzer] Remove the implemented Identical* checkers from the "potential" list.

Edit by Daniel Fahlgren.

Modified:
    cfe/trunk/www/analyzer/potential_checkers.html

Modified: cfe/trunk/www/analyzer/potential_checkers.html
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/www/analyzer/potential_checkers.html?rev=204842&r1=204841&r2=204842&view=diff
==============================================================================
--- cfe/trunk/www/analyzer/potential_checkers.html (original)
+++ cfe/trunk/www/analyzer/potential_checkers.html Wed Mar 26 13:59:22 2014
@@ -1050,32 +1050,6 @@ void test() {
 }
 </pre></td><td class="aligned"></td></tr>
 
-<tr><td><span class="name">different.IdenticalExprBinOp
-<br>(C)</span><br><br>
-There are identical sub-expressions to the left and to the right of the 
-operator
-</td><td><pre>
-#define A 1
-#define B 1
-
-bool isNan(double d) { 
-  return d != d; // ok
-}
-
-int f();
-
-void test() {
-  int i = 0;
-  if (i != 0 && i != 0) {} // warn
-
-  if(i == A || i == B) {} // ok
-
-  if (++i != 0 && ++i != 0) {} // ok
-
-  if (f() && f()) {} // ok
-}
-</pre></td><td class="aligned"></td></tr>
-
 <tr><td><span class="name">different.FuncPtrInsteadOfCall
 <br>(C)</span><br><br>
 Possibly a function call should be used instead of a pointer to function
@@ -1087,18 +1061,6 @@ void test() {
 }
 </pre></td><td class="aligned"></td></tr>
 
-<tr><td><span class="name">different.IdenticalCondIfElseIf
-<br>(C)</span><br><br>
-The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a 
-probability of logical error presence
-</td><td><pre>
-void test() { 
-  int i = 7;
-  if (i == 1) {}
-  else if (i == 1) {} // warn
-}
-</pre></td><td class="aligned"></td></tr>
-
 <tr><td><span class="name">SuccessiveAssign
 <br>(C)</span><br><br>
 Successive assign to a variable
@@ -1146,21 +1108,6 @@ void test() {
 }
 </pre></td><td class="aligned"></td></tr>
 
-<tr><td><span class="name">different.IdenticalStmtThenElse
-<br>(C)</span><br><br>
-The 'else' statement is equivalent to the 'then' statement
-</td><td><pre>
-void test() {
-  int i;
-  if (i==1) {
-    i++;
-  }
-  else { // warn
-    i++;
-  }
-}
-</pre></td><td class="aligned"></td></tr>
-
 <tr><td><span class="name">different.MultipleAccessors
 <br>(C++)</span><br><br>
 multiple accessors met for 'class::field'
@@ -1281,16 +1228,6 @@ void test() {
 }
 </pre></td><td class="aligned"></td></tr>
 
-<tr><td><span class="name">different.CondOpIdenticalReturn
-<br>(C)</span><br><br>
-The return expressions of the '?:' operator are identical
-</td><td><pre>
-void test() {
-  unsigned a;
-  a = a > 5 ? a : a; // warn
-}
-</pre></td><td class="aligned"></td></tr>
-
 <tr><td><span class="name">different.LogicalOpUselessArg
 <br>(C)</span><br><br>
 The second operand of the && operator has no impact on expression result





More information about the cfe-commits mailing list