diff options
author | Jordan Rose <jordan_rose@apple.com> | 2014-03-26 18:59:22 +0000 |
---|---|---|
committer | Jordan Rose <jordan_rose@apple.com> | 2014-03-26 18:59:22 +0000 |
commit | a079c94abc711db322d9a399db19cdf2807de074 (patch) | |
tree | 342dc210a793ddd0825260a487642a7da3cffd44 /www | |
parent | bedde6562c6f728d2b68867b73eacd3c43da3280 (diff) | |
download | clang-a079c94abc711db322d9a399db19cdf2807de074.tar.gz clang-a079c94abc711db322d9a399db19cdf2807de074.tar.bz2 clang-a079c94abc711db322d9a399db19cdf2807de074.tar.xz |
[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
Diffstat (limited to 'www')
-rw-r--r-- | www/analyzer/potential_checkers.html | 63 |
1 files changed, 0 insertions, 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() { } </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 |