blob: ebd417664bb0903cdfcb6357ee3755d6202f61cf [file] [log] [blame]
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;
}