support/regression/tests/bug3444293.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

/*
   bug3444293.c
*/

#include <testfwk.h>

void __code* s[3];

void f(void)
{
	s[0] = 0;
	s[1] = 0; // Access to s is off by one byte here.
}

void testBug(void)
{
	s[0] = (void __code*)(0xffff);
	s[1] = (void __code*)(0xffff);
	f();
	ASSERT(!s[0]);
	ASSERT(!s[1]);
}