support/regression/tests/bug3559997.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
56
57
58
59
60
61
62
63

/*
   bug3559997.c
*/

#include <testfwk.h>

#pragma disable_warning 85

typedef struct 
{
        long   i_size;
} s1_t;   

typedef struct {
        s1_t s; 
} i_t, *ip_t;

typedef struct
{
	char *m3;
	long m4;
} data_t;

data_t data;

void f1(char *a, char *p, int b)
{
}

char *f2(int a, int b, char c)
{
	return(0);
}

int f3(char *p, int c)
{
	return(1);
}

void rx(ip_t i)
{
	char *bp = 0;
	int dev = 0;


	bp = f2(dev, 0, 1);
	f1(data.m3, bp, 1); 
	if (f3(bp, 2) < 0) 
		return;
	if (data.m4 > i->s.i_size)
		i->s.i_size = data.m4;
			
}

void testBug(void)
{
	i_t i;
	data.m4 = 0xaa55;
	i.s.i_size = 0x55aa;
	rx(&i);
	ASSERT(i.s.i_size == 0xaa55);
}