gcc/testsuite/c-c++-common/analyzer/infinite-recursion.c


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

extern void marker_A(void);
extern void marker_B(void);
extern void marker_C(void);
extern void marker_D(void);

void test(int flag)
{
  marker_A();

  if (flag) {
    marker_B();

    /* Recurse, infinitely, as it happens: */
    test(flag); /* { dg-warning "infinite recursion" } */

    marker_C();
  }

  marker_D();
}

/* A cycle of 4 mutually-recursive functions (but only for certain inputs).  */

extern void mutual_test_1 (int flag);
extern void mutual_test_2 (int flag);
extern void mutual_test_3 (int flag);
extern void mutual_test_4 (int flag);

void mutual_test_1 (int flag)
{
  marker_A ();
  if (flag)
    mutual_test_2 (flag); /* { dg-warning "infinite recursion" } */
}

void mutual_test_2 (int flag)
{
  marker_B ();
  if (flag)
    mutual_test_3 (flag); /* { dg-warning "infinite recursion" } */
}

void mutual_test_3 (int flag)
{
  marker_C ();
  if (flag)
    mutual_test_4 (flag); /* { dg-warning "infinite recursion" } */
}

void mutual_test_4 (int flag)
{
  marker_D ();
  if (flag)
    mutual_test_1 (flag); /* { dg-warning "infinite recursion" } */
}