| // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=alpha.clone.CloneChecker -analyzer-config alpha.clone.CloneChecker:MinimumCloneComplexity=10 -verify %s |
| |
| // Tests that macros and non-macro clones aren't mixed into the same hash |
| // group. This is currently necessary as all clones in a hash group need |
| // to have the same complexity value. Macros have smaller complexity values |
| // and need to be in their own hash group. |
| |
| int foo(int a) { // expected-warning{{Duplicate code detected}} |
| a = a + 1; |
| a = a + 1 / 1; |
| a = a + 1 + 1 + 1; |
| a = a + 1 - 1 + 1 + 1; |
| a = a + 1 * 1 + 1 + 1 + 1; |
| a = a + 1 / 1 + 1 + 1 + 1; |
| return a; |
| } |
| |
| int fooClone(int a) { // expected-note{{Similar code here}} |
| a = a + 1; |
| a = a + 1 / 1; |
| a = a + 1 + 1 + 1; |
| a = a + 1 - 1 + 1 + 1; |
| a = a + 1 * 1 + 1 + 1 + 1; |
| a = a + 1 / 1 + 1 + 1 + 1; |
| return a; |
| } |
| |
| // Below is the same AST as above but this time generated with macros. The |
| // clones below should land in their own hash group for the reasons given above. |
| |
| #define ASSIGN(T, V) T = T + V |
| |
| int macro(int a) { // expected-warning{{Duplicate code detected}} |
| ASSIGN(a, 1); |
| ASSIGN(a, 1 / 1); |
| ASSIGN(a, 1 + 1 + 1); |
| ASSIGN(a, 1 - 1 + 1 + 1); |
| ASSIGN(a, 1 * 1 + 1 + 1 + 1); |
| ASSIGN(a, 1 / 1 + 1 + 1 + 1); |
| return a; |
| } |
| |
| int macroClone(int a) { // expected-note{{Similar code here}} |
| ASSIGN(a, 1); |
| ASSIGN(a, 1 / 1); |
| ASSIGN(a, 1 + 1 + 1); |
| ASSIGN(a, 1 - 1 + 1 + 1); |
| ASSIGN(a, 1 * 1 + 1 + 1 + 1); |
| ASSIGN(a, 1 / 1 + 1 + 1 + 1); |
| return a; |
| } |
| |
| // FIXME: Macros with empty definitions in the AST are currently ignored. |
| |
| #define EMPTY |
| |
| int fooFalsePositiveClone(int a) { // expected-note{{Similar code here}} |
| a = EMPTY a + 1; |
| a = a + 1 / 1; |
| a = a + 1 + 1 + 1; |
| a = a + 1 - 1 + 1 + 1; |
| a = a + 1 * 1 + 1 + 1 + 1; |
| a = a + 1 / 1 + 1 + 1 + 1; |
| return a; |
| } |
| |
| |