support/regression/tests/bug-2627.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

/*
    bug-2627.c, an ifxForOp issue
*/

#include <testfwk.h>

int i, j, k;

void f(void)
{
	goto l2;

l1:
	if(i < j)
		i++;

l2:
	if(i < j)
		goto l1;
	j++;
}

void g(void)
{
	goto l2;

l1:
	k++;

	if(i < j)
		i++;

l2:
	if(i < j)
		goto l1;
}

void
testBug(void)
{
	i = 0;
	j = 1;
	k = 0;

	f();
	ASSERT(i == 1);
	ASSERT(j == 2);
	ASSERT(k == 0);

	g();
	ASSERT(i == 2);
	ASSERT(j == 2);
	ASSERT(k == 1);
}