test/Analysis/copypaste/dependent-exist.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// RUN: %clang_analyze_cc1 -fms-extensions -std=c++1z -analyzer-checker=alpha.clone.CloneChecker -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;
}