From a079c94abc711db322d9a399db19cdf2807de074 Mon Sep 17 00:00:00 2001 From: Jordan Rose Date: Wed, 26 Mar 2014 18:59:22 +0000 Subject: [PATCH] [analyzer] Remove the implemented Identical* checkers from the "potential" list. 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 | 63 ---------------------------- 1 file changed, 63 deletions(-) diff --git a/www/analyzer/potential_checkers.html b/www/analyzer/potential_checkers.html index ab8917c7cb..5b32dd0329 100644 --- a/www/analyzer/potential_checkers.html +++ b/www/analyzer/potential_checkers.html @@ -1050,32 +1050,6 @@ void test() { } -different.IdenticalExprBinOp -
(C)


-There are identical sub-expressions to the left and to the right of the -operator -
-#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
-}
-
- different.FuncPtrInsteadOfCall
(C)


Possibly a function call should be used instead of a pointer to function @@ -1087,18 +1061,6 @@ void test() { } -different.IdenticalCondIfElseIf -
(C)


-The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a -probability of logical error presence -
-void test() { 
-  int i = 7;
-  if (i == 1) {}
-  else if (i == 1) {} // warn
-}
-
- SuccessiveAssign
(C)


Successive assign to a variable @@ -1146,21 +1108,6 @@ void test() { } -different.IdenticalStmtThenElse -
(C)


-The 'else' statement is equivalent to the 'then' statement -
-void test() {
-  int i;
-  if (i==1) {
-    i++;
-  }
-  else { // warn
-    i++;
-  }
-}
-
- different.MultipleAccessors
(C++)


multiple accessors met for 'class::field' @@ -1281,16 +1228,6 @@ void test() { } -different.CondOpIdenticalReturn -
(C)


-The return expressions of the '?:' operator are identical -
-void test() {
-  unsigned a;
-  a = a > 5 ? a : a; // warn
-}
-
- different.LogicalOpUselessArg
(C)


The second operand of the && operator has no impact on expression result -- 2.40.0