1 /*
2    bug-2957.c
3  */
4 
5 #include <testfwk.h>
6 
bug2957(char * p,int i,char c)7 char bug2957(char *p, int i, char c)
8 {
9     p[0] = c;
10     p[i] = 8;
11     return p[0]; // Always returns c.
12 }
13 
testBug(void)14 void testBug(void)
15 {
16 #if 0 // TODO: Fix bug 2957, enable!
17 	char c;
18 	ASSERT(bug2957(&c, 0, 0) == 8);
19 #endif
20 }
21 
22