// RUN: %clang_cc1 -analyze -fcxx-exceptions -std=c++1z -analyzer-checker=alpha.clone.CloneChecker -verify %s

// expected-no-diagnostics

bool foo1(int x) {
  if (x > 0)
    return false;
  else if (x < 0)
    try { x--; } catch (int i) {}
  return true;
}

// Uses parenthesis instead of type
bool foo2(int x) {
  if (x > 0)
    return false;
  else if (x < 0)
    try { x--; } catch (...) {}
  return true;
}

// Catches a different type (long instead of int)
bool foo3(int x) {
  if (x > 0)
    return false;
  else if (x < 0)
    try { x--; } catch (long i) {}
  return true;
}