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

/** bug 3407632
 */

#include <testfwk.h>

int y;

void f(unsigned int x)
{
	if(x > 0x3fff)
		y = 0;
}

void g(unsigned int x)
{
	if(x > 0x4000)
		y = 0;
}

void
testBug (void)
{
	y = 1;
	f(1);
	ASSERT(y == 1);
	g(1);
	ASSERT(y == 1);
	g(0x4000);
	ASSERT(y == 1);
	f(0x4000);
	ASSERT(y == 0);
}