1 /*
2    bug3166064.c
3 */
4 
5 #include <testfwk.h>
6 
print(const char * fmt,...)7 int print (const char * fmt, ...)
8 {
9 	ASSERT (*fmt == '%');
10 	return 5;
11 }
12 
bug3166064(unsigned char x)13 void bug3166064(unsigned char x)
14 {
15 	ASSERT (x == 5);
16 }
17 
18 unsigned long l;
19 
f(int * pi,unsigned char * pc)20 unsigned long *f(int * pi, unsigned char * pc)
21 {
22 	pi;
23 	pc;
24 	return &l;
25 }
26 
bug3394118(void * p)27 void bug3394118(void * p)
28 {
29 	ASSERT (p == &l);
30 }
31 
testBug(void)32 void testBug(void)
33 {
34 	bug3166064(print("%d", 1));
35 	bug3394118(f(0, 0));
36 }
37