blob: 93cf32578d0497c236c3cf9be3810fb5b854508e (
plain) (
blame)
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
|
/*
pr15262.c from the execute part of the gcc torture tests.
*/
#include <testfwk.h>
#ifdef __SDCC
#pragma std_c99
#endif
/* We used to mis-compile this testcase as we did not know that
&a+offsetof(b,a) was the same as &a.b */
struct A
{
int t;
int i;
};
void
bar (float *p)
{
*p = 5.2;
}
#ifndef __SDCC_pdk14 // Lack of memory
int
foo(struct A *locp, int i, int str)
{
float f, g, *p;
int T355;
int *T356;
/* Currently, the alias analyzer has limited support for handling
aliases of structure fields when no other variables are aliased.
Introduce additional aliases to confuse it. */
p = i ? &g : &f;
bar (p);
if (*p > 0.0)
str = 1;
T355 = locp->i;
T356 = &locp->i;
*T356 = str;
T355 = locp->i;
return T355;
}
#endif
void
testTortureExecute (void)
{
#ifndef __SDCC_pdk14 // Lack of memory
struct A loc;
int str;
loc.i = 2;
str = foo (&loc, 10, 3);
if (str!=1)
ASSERT (0);
return;
#endif
}
|
