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