]> granicus.if.org Git - clang/commitdiff
[analyzer] Remove the implemented Identical* checkers from the "potential" list.
authorJordan Rose <jordan_rose@apple.com>
Wed, 26 Mar 2014 18:59:22 +0000 (18:59 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 26 Mar 2014 18:59:22 +0000 (18:59 +0000)
Edit by Daniel Fahlgren.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@204842 91177308-0d34-0410-b5e6-96231b3b80d8

www/analyzer/potential_checkers.html

index ab8917c7cb4605afe9e0202f399d1e8e42c9dfd5..5b32dd0329d897c520cd8a9a7bfb1adaceca8466 100644 (file)
@@ -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 &amp;&amp; operator has no impact on expression result