blob: 521a4a012a22ee55bee31028237728726d37eecd (
plain)
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
|
/*
bug-2625.c
*/
#include <testfwk.h>
struct s {
int a,b,c;
unsigned char array[512-3*sizeof(int)];
};
int check_ptr(unsigned char *p, struct s *sp)
{
if (p > sp->array + 400) /* Converting the array to its address for the add */
return 1; /* incorrectly used the size of the array to */
else /* determine the size of the resulting pointer. */
return 0;
}
#if !defined( __SDCC_pdk14) && !defined( __SDCC_pdk15) && !defined( __SDCC_pic14) // Lack of memory
__xdata struct s teststruct;
#endif
void testBug (void)
{
#if !defined( __SDCC_pdk14) && !defined( __SDCC_pdk15) && !defined( __SDCC_pic14) // Lack of memory
struct s * sp = &teststruct;
ASSERT (check_ptr(&(sp->array[400]),sp) == 0);
ASSERT (check_ptr(&(sp->array[401]),sp) == 1);
#endif
}
|
