test/Analysis/copypaste/catch.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

// RUN: %clang_analyze_cc1 -fcxx-exceptions -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)
    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;
}