blob: ea05bbd4281bb45acdaa01b96d2f737b5381f6b4 [file] [log] [blame]
 // 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; }