aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/mem2reg/quadra00.c
blob: 63b489c9827c50808394599d26c02bb2659de4bf (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
#define	TEST(N)			\
	do {			\
		d = b + a[N];	\
		if (d < b)	\
			c++;	\
		b = d;		\
	} while (0)

int foo(int *a, int b, int c)
{
	int d;

	TEST(0);
	TEST(1);
	TEST(2);

	return d + c;
}

/*
 * check-name: quadratic phisrc
 * check-command: test-linearize -Wno-decl $file
 * check-known-to-fail
 * check-output-ignore
 * check-output-excludes: phi\\..*, .*, .*
 * check-output-excludes: phi\\..*, .*, .*, .*
 * check-output-pattern(6): phisrc\\.
 */