// RUN: %check_clang_tidy %s bugprone-branch-clone %t --

/* Only one expected warning per function allowed at the very end. */

int func(void)
{
  return 0;
}

int func2(void)
{
  return 0;
}

int funcParam(int a)
{
  return 0;
}

/* '!=' operator*/


/* '!=' with int pointer */

int checkNotEqualIntPointerLiteralCompare1(void) {
  int* p = 0;
  return (p != 0); // no warning
}

int checkNotEqualIntPointerLiteralCompare2(void) {
  return (6 != 7); // no warning
}

int checkNotEqualIntPointerDeclCompare1(void) {
  int k = 3;
  int* f = &k;
  int* g = &k;
  return (f != g); // no warning
}

int checkNotEqualCastIntPointerDeclCompare11(void) {
  int k = 7;
  int* f = &k;
  return ((int*)f != (int*)f);
}
int checkNotEqualCastIntPointerDeclCompare12(void) {
  int k = 7;
  int* f = &k;
  return ((int*)((char*)f) != (int*)f); // no warning
}
int checkNotEqualBinaryOpIntPointerCompare1(void) {
  int k = 7;
  int res;
  int* f= &k;
  res = (f + 4 != f + 4);
  return (0);
}
int checkNotEqualBinaryOpIntPointerCompare2(void) {
  int k = 7;
  int* f = &k;
  int* g = &k;
  return (f + 4 != g + 4); // no warning
}


int checkNotEqualBinaryOpIntPointerCompare3(void) {
  int k = 7;
  int res;
  int* f= &k;
  res = ((int*)f + 4 != (int*)f + 4);
  return (0);
}
int checkNotEqualBinaryOpIntPointerCompare4(void) {
  int k = 7;
  int res;
  int* f= &k;
  res = ((int*)f + 4 != (int*)((char*)f) + 4);  // no warning
  return (0);
}

int checkNotEqualNestedBinaryOpIntPointerCompare1(void) {
  int res;
  int k = 7;
  int t= 1;
  int* u= &k+2;
  int* f= &k+3;
  res = ((f + (3)*t) != (f + (3)*t));
  return (0);
}

int checkNotEqualNestedBinaryOpIntPointerCompare2(void) {
  int res;
  int k = 7;
  int t= 1;
  int* u= &k+2;
  int* f= &k+3;
  res = (((3)*t + f) != (f + (3)*t));  // no warning
  return (0);
}
/*   end '!=' int*          */

/* '!=' with function*/

int checkNotEqualSameFunction() {
  unsigned a = 0;
  unsigned b = 1;
  int res = (a+func() != a+func());  // no warning
  return (0);
}

int checkNotEqualDifferentFunction() {
  unsigned a = 0;
  unsigned b = 1;
  int res = (a+func() != a+func2());  // no warning
  return (0);
}

int checkNotEqualSameFunctionSameParam() {
  unsigned a = 0;
  unsigned b = 1;
  int res = (a+funcParam(a) != a+funcParam(a));  // no warning
  return (0);
}

int checkNotEqualSameFunctionDifferentParam() {
  unsigned a = 0;
  unsigned b = 1;
  int res = (a+funcParam(a) != a+funcParam(b));  // no warning
  return (0);
}

/*   end '!=' with function*/

/*   end '!=' */


/* Checking use of identical expressions in conditional operator*/

unsigned test_unsigned(unsigned a) {
  unsigned b = 1;
  a = a > 5 ? b : b;
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
  return a;
}

void test_signed() {
  int a = 0;
  a = a > 5 ? a : a;
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_bool(bool a) {
  a = a > 0 ? a : a;
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_float() {
  float a = 0;
  float b = 0;
  a = a > 5 ? a : a;
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

const char *test_string() {
  float a = 0;
  return a > 5 ? "abc" : "abc";
// CHECK-MESSAGES: :[[@LINE-1]]:16: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_unsigned_expr() {
  unsigned a = 0;
  unsigned b = 0;
  a = a > 5 ? a+b : a+b;
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_signed_expr() {
  int a = 0;
  int b = 1;
  a = a > 5 ? a+b : a+b;
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_bool_expr(bool a) {
  bool b = 0;
  a = a > 0 ? a&&b : a&&b;
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_unsigned_expr_negative() {
  unsigned a = 0;
  unsigned b = 0;
  a = a > 5 ? a+b : b+a; // no warning
}

void test_signed_expr_negative() {
  int a = 0;
  int b = 1;
  a = a > 5 ? b+a : a+b; // no warning
}

void test_bool_expr_negative(bool a) {
  bool b = 0;
  a = a > 0 ? a&&b : b&&a; // no warning
}

void test_float_expr_positive() {
  float a = 0;
  float b = 0;
  a = a > 5 ? a+b : a+b;
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_expr_positive_func() {
  unsigned a = 0;
  unsigned b = 1;
  a = a > 5 ? a+func() : a+func();
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_expr_negative_func() {
  unsigned a = 0;
  unsigned b = 1;
  a = a > 5 ? a+func() : a+func2(); // no warning
}

void test_expr_positive_funcParam() {
  unsigned a = 0;
  unsigned b = 1;
  a = a > 5 ? a+funcParam(b) : a+funcParam(b);
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_expr_negative_funcParam() {
  unsigned a = 0;
  unsigned b = 1;
  a = a > 5 ? a+funcParam(a) : a+funcParam(b); // no warning
}

void test_expr_positive_inc() {
  unsigned a = 0;
  unsigned b = 1;
  a = a > 5 ? a++ : a++;
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_expr_negative_inc() {
  unsigned a = 0;
  unsigned b = 1;
  a = a > 5 ? a++ : b++; // no warning
}

void test_expr_positive_assign() {
  unsigned a = 0;
  unsigned b = 1;
  a = a > 5 ? a=1 : a=1;
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_expr_negative_assign() {
  unsigned a = 0;
  unsigned b = 1;
  a = a > 5 ? a=1 : a=2; // no warning
}

void test_signed_nested_expr() {
  int a = 0;
  int b = 1;
  int c = 3;
  a = a > 5 ? a+b+(c+a)*(a + b*(c+a)) : a+b+(c+a)*(a + b*(c+a));
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_signed_nested_expr_negative() {
  int a = 0;
  int b = 1;
  int c = 3;
  a = a > 5 ? a+b+(c+a)*(a + b*(c+a)) : a+b+(c+a)*(a + b*(a+c)); // no warning
}

void test_signed_nested_cond_expr_negative() {
  int a = 0;
  int b = 1;
  int c = 3;
  a = a > 5 ? (b > 5 ? 1 : 4) : (b > 5 ? 2 : 4); // no warning
}

void test_signed_nested_cond_expr() {
  int a = 0;
  int b = 1;
  int c = 3;
  a = a > 5 ? (b > 5 ? 1 : 4) : (b > 5 ? 4 : 4);
// CHECK-MESSAGES: :[[@LINE-1]]:40: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}

void test_identical_branches1(bool b) {
  int i = 0;
  if (b) {
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical then and else branches [bugprone-branch-clone]
    ++i;
  } else {
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: else branch starts here
    ++i;
  }
}

void test_identical_branches2(bool b) {
  int i = 0;
  if (b) {
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical then and else branches [bugprone-branch-clone]
    ++i;
  } else
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: else branch starts here
    ++i;
}

void test_identical_branches3(bool b) {
  int i = 0;
  if (b) { // no warning
    ++i;
  } else {
    i++;
  }
}

void test_identical_branches4(bool b) {
  int i = 0;
  if (b) {
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical then and else branches [bugprone-branch-clone]
  } else {
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: else branch starts here
  }
}

void test_identical_branches_break(bool b) {
  while (true) {
    if (b)
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: if with identical then and else branches [bugprone-branch-clone]
      break;
    else
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: else branch starts here
      break;
  }
}

void test_identical_branches_continue(bool b) {
  while (true) {
    if (b)
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: if with identical then and else branches [bugprone-branch-clone]
      continue;
    else
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: else branch starts here
      continue;
  }
}

void test_identical_branches_func(bool b) {
  if (b)
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical then and else branches [bugprone-branch-clone]
    func();
  else
// CHECK-MESSAGES: :[[@LINE-1]]:3: note: else branch starts here
    func();
}

void test_identical_branches_func_arguments(bool b) {
  if (b) // no-warning
    funcParam(1);
  else
    funcParam(2);
}

void test_identical_branches_cast1(bool b) {
  long v = -7;
  if (b) // no-warning
    v = (signed int) v;
  else
    v = (unsigned int) v;
}

void test_identical_branches_cast2(bool b) {
  long v = -7;
  if (b)
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical then and else branches [bugprone-branch-clone]
    v = (signed int) v;
  else
// CHECK-MESSAGES: :[[@LINE-1]]:3: note: else branch starts here
    v = (signed int) v;
}

int test_identical_branches_return_int(bool b) {
  int i = 0;
  if (b) {
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical then and else branches [bugprone-branch-clone]
    i++;
    return i;
  } else {
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: else branch starts here
    i++;
    return i;
  }
}

int test_identical_branches_return_func(bool b) {
  if (b) {
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical then and else branches [bugprone-branch-clone]
    return func();
  } else {
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: else branch starts here
    return func();
  }
}

void test_identical_branches_for(bool b) {
  int i;
  int j;
  if (b) {
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical then and else branches [bugprone-branch-clone]
    for (i = 0, j = 0; i < 10; i++)
      j += 4;
  } else {
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: else branch starts here
    for (i = 0, j = 0; i < 10; i++)
      j += 4;
  }
}

void test_identical_branches_while(bool b) {
  int i = 10;
  if (b) {
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical then and else branches [bugprone-branch-clone]
    while (func())
      i--;
  } else {
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: else branch starts here
    while (func())
      i--;
  }
}

void test_identical_branches_while_2(bool b) {
  int i = 10;
  if (b) { // no-warning
    while (func())
      i--;
  } else {
    while (func())
      i++;
  }
}

void test_identical_branches_do_while(bool b) {
  int i = 10;
  if (b) {
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical then and else branches [bugprone-branch-clone]
    do {
      i--;
    } while (func());
  } else {
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: else branch starts here
    do {
      i--;
    } while (func());
  }
}

void test_identical_branches_if(bool b, int i) {
  if (b) {
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical then and else branches [bugprone-branch-clone]
    if (i < 5)
      i += 10;
  } else {
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: else branch starts here
    if (i < 5)
      i += 10;
  }
}

void test_identical_bitwise1() {
  int a = 5 | 5; // no-warning
}

void test_identical_bitwise2() {
  int a = 5;
  int b = a | a; // no-warning
}

void test_identical_bitwise3() {
  int a = 5;
  int b = (a | a); // no-warning
}

void test_identical_bitwise4() {
  int a = 4;
  int b = a | 4; // no-warning
}

void test_identical_bitwise5() {
  int a = 4;
  int b = 4;
  int c = a | b; // no-warning
}

void test_identical_bitwise6() {
  int a = 5;
  int b = a | 4 | a;
}

void test_identical_bitwise7() {
  int a = 5;
  int b = func() | func();
}

void test_identical_logical1(int a) {
  if (a == 4 && a == 4)
    ;
}

void test_identical_logical2(int a) {
  if (a == 4 || a == 5 || a == 4)
    ;
}

void test_identical_logical3(int a) {
  if (a == 4 || a == 5 || a == 6) // no-warning
    ;
}

void test_identical_logical4(int a) {
  if (a == func() || a == func()) // no-warning
    ;
}

#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wlogical-op-parentheses"
void test_identical_logical5(int x, int y) {
  if (x == 4 && y == 5 || x == 4 && y == 6) // no-warning
    ;
}

void test_identical_logical6(int x, int y) {
  if (x == 4 && y == 5 || x == 4 && y == 5)
    ;
}

void test_identical_logical7(int x, int y) {
  // FIXME: We should warn here
  if (x == 4 && y == 5 || x == 4)
    ;
}

void test_identical_logical8(int x, int y) {
  // FIXME: We should warn here
  if (x == 4 || y == 5 && x == 4)
    ;
}

void test_identical_logical9(int x, int y) {
  // FIXME: We should warn here
  if (x == 4 || x == 4 && y == 5)
    ;
}
#pragma clang diagnostic pop

void test_warn_chained_if_stmts_1(int x) {
  if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: repeated branch body in conditional chain [bugprone-branch-clone]
// CHECK-MESSAGES: :[[@LINE-2]]:6: note: end of the original
  else if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 1 starts here
}

void test_warn_chained_if_stmts_2(int x) {
  if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: repeated branch body in conditional chain [bugprone-branch-clone]
// CHECK-MESSAGES: :[[@LINE-2]]:6: note: end of the original
  else if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 1 starts here
  else if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 2 starts here
}

void test_warn_chained_if_stmts_3(int x) {
  if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: repeated branch body in conditional chain [bugprone-branch-clone]
// CHECK-MESSAGES: :[[@LINE-2]]:6: note: end of the original
  else if (x == 2)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 1 starts here
  else if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 2 starts here
}

void test_warn_chained_if_stmts_4(int x) {
  if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: repeated branch body in conditional chain [bugprone-branch-clone]
// CHECK-MESSAGES: :[[@LINE-2]]:6: note: end of the original
  else if (func())
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 1 starts here
  else if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 2 starts here
}

void test_warn_chained_if_stmts_5(int x) {
  if (x & 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: repeated branch body in conditional chain [bugprone-branch-clone]
// CHECK-MESSAGES: :[[@LINE-2]]:6: note: end of the original
  else if (x & 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 1 starts here
}

void test_warn_chained_if_stmts_6(int x) {
  if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: repeated branch body in conditional chain [bugprone-branch-clone]
// CHECK-MESSAGES: :[[@LINE-2]]:6: note: end of the original
  else if (x == 2)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 1 starts here
  else if (x == 2)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 2 starts here
  else if (x == 3)
    ;
}

void test_warn_chained_if_stmts_7(int x) {
  if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: repeated branch body in conditional chain [bugprone-branch-clone]
// CHECK-MESSAGES: :[[@LINE-2]]:6: note: end of the original
  else if (x == 2)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 1 starts here
  else if (x == 3)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 2 starts here
  else if (x == 2)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 3 starts here
  else if (x == 5)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 4 starts here
}

void test_warn_chained_if_stmts_8(int x) {
  if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: repeated branch body in conditional chain [bugprone-branch-clone]
// CHECK-MESSAGES: :[[@LINE-2]]:6: note: end of the original
  else if (x == 2)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 1 starts here
  else if (x == 3)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 2 starts here
  else if (x == 2)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 3 starts here
  else if (x == 5)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 4 starts here
  else if (x == 3)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 5 starts here
  else if (x == 7)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 6 starts here
}

void test_nowarn_chained_if_stmts_1(int x) {
  if (func())
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: repeated branch body in conditional chain [bugprone-branch-clone]
// CHECK-MESSAGES: :[[@LINE-2]]:6: note: end of the original
  else if (func())
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 1 starts here
}

void test_nowarn_chained_if_stmts_2(int x) {
  if (func())
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: repeated branch body in conditional chain [bugprone-branch-clone]
// CHECK-MESSAGES: :[[@LINE-2]]:6: note: end of the original
  else if (x == 1)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 1 starts here
  else if (func())
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 2 starts here
}

void test_nowarn_chained_if_stmts_3(int x) {
  if (x++)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: warning: repeated branch body in conditional chain [bugprone-branch-clone]
// CHECK-MESSAGES: :[[@LINE-2]]:6: note: end of the original
  else if (x++)
    ;
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: clone 1 starts here
}

void test_warn_wchar() {
  const wchar_t * a = 0 ? L"Warning" : L"Warning";
// CHECK-MESSAGES: :[[@LINE-1]]:25: warning: conditional operator with identical true and false expressions [bugprone-branch-clone]
}
void test_nowarn_wchar() {
  const wchar_t * a = 0 ? L"No" : L"Warning";
}

void test_nowarn_long() {
  int a = 0, b = 0;
  long c;
  if (0) {
    b -= a;
    c = 0;
  } else {
    b -= a;
    c = 0LL;
  }
}

// Identical inner conditions

void test_warn_inner_if_1(int x) {
  if (x == 1) {
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: if with identical inner if statement [bugprone-branch-clone]
    if (x == 1)
// CHECK-MESSAGES: :[[@LINE-1]]:5: note: inner if starts here
      ;
  }

  // FIXME: Should warn here. The warning is currently not emitted because there
  // is code between the conditions.
  if (x == 1) {
    int y = x;
    if (x == 1)
      ;
  }
}

void test_nowarn_inner_if_1(int x) {
  // Don't warn when condition has side effects.
  if (x++ == 1) {
    if (x++ == 1)
      ;
  }

  // Don't warn when x is changed before inner condition.
  if (x < 10) {
    x++;
    if (x < 10)
      ;
  }
}