blob: ebd417664bb0903cdfcb6357ee3755d6202f61cf (
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
33
34
35
36
37
38
39
|
extern void abort (void);
#define assert(x) if(!(x)) abort()
struct S1
{
signed char f0;
};
int g_23 = 0;
static struct S1
foo (void)
{
int *l_100 = &g_23;
int **l_110 = &l_100;
struct S1 l_128 = { 1 };
assert (l_100 == &g_23);
assert (l_100 == &g_23);
assert (l_100 == &g_23);
assert (l_100 == &g_23);
assert (l_100 == &g_23);
assert (l_100 == &g_23);
assert (l_100 == &g_23);
return l_128;
}
static signed char bar(signed char si1, signed char si2)
{
return (si1 <= 0) ? si1 : (si2 * 2);
}
int main (void)
{
struct S1 s = foo();
if (bar(0x99 ^ (s.f0 && 1), 1) != -104)
abort ();
return 0;
}
|