summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp0x/fallthrough1.C
blob: 523067e6849c104c51d0e27a841c0f8e607d0d31 (plain)
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
// PR c/7652
// { dg-do compile { target c++11 } }
// { dg-options "-Wextra -Wall -Wpedantic" }

extern void bar (int);
void
fn (int i)
{
  [[gnu::fallthrough]] int j = 0; // { dg-warning "attribute ignored" }

  if (j)
    [[gnu::fallthrough]];  // { dg-error "invalid use" }

  [[gnu::fallthrough]];  // { dg-error "invalid use" }
  switch (i)
  {
    [[gnu::fallthrough]]; // { dg-warning "statement will never" }
  case 1:
   i++;
   [[gnu::fallthrough]];
  case 2:
    if (i) // { dg-warning "statement may fall through" }
      bar (2);
    else
      [[gnu::fallthrough]];
  case 3:
    if (i > 1)
      [[gnu::fallthrough]];
    else
      return;
  case 4:
    if (i)
      [[gnu::fallthrough]]; // { dg-warning "not preceding" }
    [[gnu::fallthrough]];
  case 5:
   ;
   [[gnu::fallthrough]];
  case 6:
    if (i) // { dg-warning "statement may fall through" }
      bar (6);
    else
      {
	[[gnu::fallthrough]];
      }
  case 7:
    if (i > 1)
      {
	[[gnu::fallthrough]];
      }
    else
      bar (7); // { dg-warning "statement may fall through" }
  default:
    --j;
  }

  [[gnu::fallthrough]]; // { dg-error "invalid use" }
}