clang/test/Analysis/copypaste/attributes.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

// RUN: %clang_analyze_cc1 -std=c++1z -analyzer-checker=alpha.clone.CloneChecker -verify %s

// expected-no-diagnostics

int foo1(int n) {
  int result = 0;
  switch (n) {
  case 33:
    result += 33;
    [[clang::fallthrough]];
  case 44:
    result += 44;
  }
  return result;
}

// Identical to foo1 except the missing attribute.
int foo2(int n) {
  int result = 0;
  switch (n) {
  case 33:
    result += 33;
    ;
  case 44:
    result += 44;
  }
  return result;
}