dependent-exist.cpp 432 Bytes
// RUN: %clang_analyze_cc1 -fms-extensions -std=c++1z -analyzer-checker=alpha.clone.CloneChecker -analyzer-config alpha.clone.CloneChecker:MinimumCloneComplexity=10 -verify %s

// expected-no-diagnostics

bool foo1(int x) {
  if (x < 0) {
    __if_exists(x) { return false; }
  }
  return true;
}

// Same as above, but __if_not_exists
bool foo2(int x) {
  if (x < 0) {
    __if_not_exists(x) { return false; }
  }
  return true;
}