1  extern void abort (void);
       2  
       3  static unsigned char g_2 = 1;
       4  static int g_9;
       5  static int *l_8 = &g_9;
       6  
       7  static void func_12(int p_13)
       8  {
       9    int * l_17 = &g_9;
      10    *l_17 &= 0 < p_13;
      11  }
      12  
      13  int main(void)
      14  {
      15    unsigned char l_11 = 254;
      16    *l_8 |= g_2;
      17    l_11 |= *l_8;
      18    func_12(l_11);
      19    if (g_9 != 1)
      20      abort ();
      21    return 0;
      22  } 
      23