extern void abort (void); static unsigned char g_2 = 1; static int g_9; static int *l_8 = &g_9; static void func_12(int p_13) { int * l_17 = &g_9; *l_17 &= 0 < p_13; } int main(void) { unsigned char l_11 = 254; *l_8 |= g_2; l_11 |= *l_8; func_12(l_11); if (g_9 != 1) abort (); return 0; }