
/* WARNING: Function: __x86.get_pc_thunk.si replaced with injection: get_pc_thunk_si */
/* WARNING: Unknown calling convention */

_Bool lbitset_subset_p(bitset_conflict dst,bitset_conflict src)

{
  lbitset_elt *plVar1;
  lbitset_elt_struct *plVar2;
  lbitset_elt *plVar3;
  lbitset_elt_struct *plVar4;
  
  plVar2 = (src->l).head;
  plVar4 = (dst->l).head;
  if (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0) {
    do {
      plVar3 = plVar4;
      if (plVar2 == (lbitset_elt_struct *)0x0) {
        plVar1 = lbitset_zero_elts;
        if (plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])) {
          return false;
        }
      }
      else {
        plVar1 = plVar2;
        if (plVar4 == (lbitset_elt_struct *)0x0) {
          plVar3 = lbitset_zero_elts;
        }
        else if (plVar2->index != plVar4->index) {
          if (plVar2->index < plVar4->index) {
            plVar3 = lbitset_zero_elts + 2;
            lbitset_zero_elts[2].next = plVar4;
          }
          else {
            plVar1 = lbitset_zero_elts + 1;
            lbitset_zero_elts[1].next = plVar2;
          }
        }
        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {
          return false;
        }
      }
      if (plVar3->words[1] != (plVar1->words[1] | plVar3->words[1])) {
        return false;
      }
      plVar2 = plVar1->next;
      plVar4 = plVar3->next;
    } while (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0);
  }
  return true;
}



/* WARNING: Function: __i686.get_pc_thunk.si replaced with injection: get_pc_thunk_si */

undefined4 FUN_00057e60(int param_1,int param_2)

{
  undefined4 *puVar1;
  undefined4 *puVar2;
  undefined4 *puVar3;
  undefined4 *puVar4;
  
  puVar2 = *(undefined4 **)(param_2 + 0x14);
  puVar4 = *(undefined4 **)(param_1 + 0x14);
  if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {
    do {
      puVar3 = puVar4;
      if (puVar2 == (undefined4 *)0x0) {
        puVar1 = &DAT_00096f20;
        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {
          return 0;
        }
      }
      else {
        puVar1 = puVar2;
        if (puVar4 == (undefined4 *)0x0) {
          puVar3 = &DAT_00096f20;
        }
        else if (puVar2[2] != puVar4[2]) {
          if ((uint)puVar2[2] < (uint)puVar4[2]) {
            puVar3 = &DAT_00096f48;
            DAT_00096f48 = puVar4;
          }
          else {
            puVar1 = &DAT_00096f34;
            DAT_00096f34 = puVar2;
          }
        }
        if (puVar3[3] != (puVar1[3] | puVar3[3])) {
          return 0;
        }
      }
      if (puVar3[4] != (puVar1[4] | puVar3[4])) {
        return 0;
      }
      puVar2 = (undefined4 *)*puVar1;
      puVar4 = (undefined4 *)*puVar3;
    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);
  }
  return 1;
}


PUSH ESI
CALL 0x00015fe2
ADD ESI,0x3e19a
PUSH EBX
MOV EAX,dword ptr [ESP + 0x10]
MOV EDX,dword ptr [ESP + 0xc]
MOV EAX,dword ptr [EAX + 0x14]
MOV EDX,dword ptr [EDX + 0x14]
MOV ECX,EAX
OR ECX,EDX
JNZ 0x00057ec4
JMP 0x00057f00
TEST EDX,EDX
JZ 0x00057ee0
MOV ECX,dword ptr [EDX + 0x8]
CMP dword ptr [EAX + 0x8],ECX
JZ 0x00057ea2
JNC 0x00057ef0
MOV dword ptr [ESI + 0xf48],EDX
LEA EDX,[ESI + 0xf48]
MOV ECX,dword ptr [EDX + 0xc]
MOV EBX,dword ptr [EAX + 0xc]
OR EBX,ECX
CMP ECX,EBX
JNZ 0x00057eda
MOV ECX,dword ptr [EDX + 0x10]
MOV EBX,dword ptr [EAX + 0x10]
OR EBX,ECX
CMP ECX,EBX
JNZ 0x00057eda
MOV EAX,dword ptr [EAX]
MOV EDX,dword ptr [EDX]
MOV ECX,EAX
OR ECX,EDX
JZ 0x00057f00
TEST EAX,EAX
JNZ 0x00057e88
LEA EAX,[ESI + 0xf20]
MOV ECX,dword ptr [EDX + 0xc]
MOV EBX,dword ptr [EAX + 0xc]
OR EBX,ECX
CMP ECX,EBX
JZ 0x00057eae
XOR EAX,EAX
POP EBX
POP ESI
RET
LEA EDX,[ESI + 0xf20]
JMP 0x00057ea2
MOV dword ptr [ESI + 0xf34],EAX
LEA EAX,[ESI + 0xf34]
JMP 0x00057ea2
MOV EAX,0x1
POP EBX
POP ESI
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.si replaced with injection: get_pc_thunk_si */\n\nundefined4 FUN_00057e60(int param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  \n  puVar2 = *(undefined4 **)(param_2 + 0x14);\n  puVar4 = *(undefined4 **)(param_1 + 0x14);\n  if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }\n  return 1;\n}\n\n" comment (function_definition "undefined4 FUN_00057e60(int param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  \n  puVar2 = *(undefined4 **)(param_2 + 0x14);\n  puVar4 = *(undefined4 **)(param_1 + 0x14);\n  if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }\n  return 1;\n}" type_identifier (function_declarator "FUN_00057e60(int param_1,int param_2)" identifier (parameter_list "(int param_1,int param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  \n  puVar2 = *(undefined4 **)(param_2 + 0x14);\n  puVar4 = *(undefined4 **)(param_1 + 0x14);\n  if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }\n  return 1;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined4 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined4 *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "undefined4 *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (expression_statement "puVar2 = *(undefined4 **)(param_2 + 0x14);" (assignment_expression "puVar2 = *(undefined4 **)(param_2 + 0x14)" identifier = (pointer_expression "*(undefined4 **)(param_2 + 0x14)" * (cast_expression "(undefined4 **)(param_2 + 0x14)" ( (type_descriptor "undefined4 **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_2 + 0x14)" ( (binary_expression "param_2 + 0x14" identifier + number_literal) ))))) ;) (expression_statement "puVar4 = *(undefined4 **)(param_1 + 0x14);" (assignment_expression "puVar4 = *(undefined4 **)(param_1 + 0x14)" identifier = (pointer_expression "*(undefined4 **)(param_1 + 0x14)" * (cast_expression "(undefined4 **)(param_1 + 0x14)" ( (type_descriptor "undefined4 **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_1 + 0x14)" ( (binary_expression "param_1 + 0x14" identifier + number_literal) ))))) ;) (if_statement "if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }" if (parenthesized_expression "(puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0)" ( (binary_expression "puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0" (binary_expression "puVar2 != (undefined4 *)0x0" identifier != (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) || (binary_expression "puVar4 != (undefined4 *)0x0" identifier != (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal))) )) (compound_statement "{\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }" { (do_statement "do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);" do (compound_statement "{\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    }" { (expression_statement "puVar3 = puVar4;" (assignment_expression "puVar3 = puVar4" identifier = identifier) ;) (if_statement "if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }" if (parenthesized_expression "(puVar2 == (undefined4 *)0x0)" ( (binary_expression "puVar2 == (undefined4 *)0x0" identifier == (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }" { (expression_statement "puVar1 = &DAT_00096f20;" (assignment_expression "puVar1 = &DAT_00096f20" identifier = (pointer_expression "&DAT_00096f20" & identifier)) ;) (if_statement "if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }" if (parenthesized_expression "(puVar4[3] != (DAT_00096f2c | puVar4[3]))" ( (binary_expression "puVar4[3] != (DAT_00096f2c | puVar4[3])" (subscript_expression "puVar4[3]" identifier [ number_literal ]) != (parenthesized_expression "(DAT_00096f2c | puVar4[3])" ( (binary_expression "DAT_00096f2c | puVar4[3]" identifier | (subscript_expression "puVar4[3]" identifier [ number_literal ])) ))) )) (compound_statement "{\n          return 0;\n        }" { (return_statement "return 0;" return number_literal ;) })) }) (else_clause "else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }" else (compound_statement "{\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }" { (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" identifier = identifier) ;) (if_statement "if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" if (parenthesized_expression "(puVar4 == (undefined4 *)0x0)" ( (binary_expression "puVar4 == (undefined4 *)0x0" identifier == (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n          puVar3 = &DAT_00096f20;\n        }" { (expression_statement "puVar3 = &DAT_00096f20;" (assignment_expression "puVar3 = &DAT_00096f20" identifier = (pointer_expression "&DAT_00096f20" & identifier)) ;) }) (else_clause "else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" else (if_statement "if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" if (parenthesized_expression "(puVar2[2] != puVar4[2])" ( (binary_expression "puVar2[2] != puVar4[2]" (subscript_expression "puVar2[2]" identifier [ number_literal ]) != (subscript_expression "puVar4[2]" identifier [ number_literal ])) )) (compound_statement "{\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" { (if_statement "if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }" if (parenthesized_expression "((uint)puVar2[2] < (uint)puVar4[2])" ( (binary_expression "(uint)puVar2[2] < (uint)puVar4[2]" (cast_expression "(uint)puVar2[2]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "puVar2[2]" identifier [ number_literal ])) < (cast_expression "(uint)puVar4[2]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "puVar4[2]" identifier [ number_literal ]))) )) (compound_statement "{\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }" { (expression_statement "puVar3 = &DAT_00096f48;" (assignment_expression "puVar3 = &DAT_00096f48" identifier = (pointer_expression "&DAT_00096f48" & identifier)) ;) (expression_statement "DAT_00096f48 = puVar4;" (assignment_expression "DAT_00096f48 = puVar4" identifier = identifier) ;) }) (else_clause "else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }" else (compound_statement "{\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }" { (expression_statement "puVar1 = &DAT_00096f34;" (assignment_expression "puVar1 = &DAT_00096f34" identifier = (pointer_expression "&DAT_00096f34" & identifier)) ;) (expression_statement "DAT_00096f34 = puVar2;" (assignment_expression "DAT_00096f34 = puVar2" identifier = identifier) ;) }))) })))) (if_statement "if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }" if (parenthesized_expression "(puVar3[3] != (puVar1[3] | puVar3[3]))" ( (binary_expression "puVar3[3] != (puVar1[3] | puVar3[3])" (subscript_expression "puVar3[3]" identifier [ number_literal ]) != (parenthesized_expression "(puVar1[3] | puVar3[3])" ( (binary_expression "puVar1[3] | puVar3[3]" (subscript_expression "puVar1[3]" identifier [ number_literal ]) | (subscript_expression "puVar3[3]" identifier [ number_literal ])) ))) )) (compound_statement "{\n          return 0;\n        }" { (return_statement "return 0;" return number_literal ;) })) }))) (if_statement "if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }" if (parenthesized_expression "(puVar3[4] != (puVar1[4] | puVar3[4]))" ( (binary_expression "puVar3[4] != (puVar1[4] | puVar3[4])" (subscript_expression "puVar3[4]" identifier [ number_literal ]) != (parenthesized_expression "(puVar1[4] | puVar3[4])" ( (binary_expression "puVar1[4] | puVar3[4]" (subscript_expression "puVar1[4]" identifier [ number_literal ]) | (subscript_expression "puVar3[4]" identifier [ number_literal ])) ))) )) (compound_statement "{\n        return 0;\n      }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "puVar2 = (undefined4 *)*puVar1;" (assignment_expression "puVar2 = (undefined4 *)*puVar1" identifier = (cast_expression "(undefined4 *)*puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "*puVar1" * identifier))) ;) (expression_statement "puVar4 = (undefined4 *)*puVar3;" (assignment_expression "puVar4 = (undefined4 *)*puVar3" identifier = (cast_expression "(undefined4 *)*puVar3" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "*puVar3" * identifier))) ;) }) while (parenthesized_expression "(puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0)" ( (binary_expression "puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0" (binary_expression "puVar2 != (undefined4 *)0x0" identifier != (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) || (binary_expression "puVar4 != (undefined4 *)0x0" identifier != (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal))) )) ;) })) (return_statement "return 1;" return number_literal ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.si replaced with injection: get_pc_thunk_si */\n/* WARNING: Unknown calling convention */\n\n_Bool lbitset_subset_p(bitset_conflict dst,bitset_conflict src)\n\n{\n  lbitset_elt *plVar1;\n  lbitset_elt_struct *plVar2;\n  lbitset_elt *plVar3;\n  lbitset_elt_struct *plVar4;\n  \n  plVar2 = (src->l).head;\n  plVar4 = (dst->l).head;\n  if (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0) {\n    do {\n      plVar3 = plVar4;\n      if (plVar2 == (lbitset_elt_struct *)0x0) {\n        plVar1 = lbitset_zero_elts;\n        if (plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])) {\n          return false;\n        }\n      }\n      else {\n        plVar1 = plVar2;\n        if (plVar4 == (lbitset_elt_struct *)0x0) {\n          plVar3 = lbitset_zero_elts;\n        }\n        else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }\n        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {\n          return false;\n        }\n      }\n      if (plVar3->words[1] != (plVar1->words[1] | plVar3->words[1])) {\n        return false;\n      }\n      plVar2 = plVar1->next;\n      plVar4 = plVar3->next;\n    } while (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0);\n  }\n  return true;\n}\n\n" comment comment (function_definition "_Bool lbitset_subset_p(bitset_conflict dst,bitset_conflict src)\n\n{\n  lbitset_elt *plVar1;\n  lbitset_elt_struct *plVar2;\n  lbitset_elt *plVar3;\n  lbitset_elt_struct *plVar4;\n  \n  plVar2 = (src->l).head;\n  plVar4 = (dst->l).head;\n  if (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0) {\n    do {\n      plVar3 = plVar4;\n      if (plVar2 == (lbitset_elt_struct *)0x0) {\n        plVar1 = lbitset_zero_elts;\n        if (plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])) {\n          return false;\n        }\n      }\n      else {\n        plVar1 = plVar2;\n        if (plVar4 == (lbitset_elt_struct *)0x0) {\n          plVar3 = lbitset_zero_elts;\n        }\n        else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }\n        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {\n          return false;\n        }\n      }\n      if (plVar3->words[1] != (plVar1->words[1] | plVar3->words[1])) {\n        return false;\n      }\n      plVar2 = plVar1->next;\n      plVar4 = plVar3->next;\n    } while (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0);\n  }\n  return true;\n}" type_identifier (function_declarator "lbitset_subset_p(bitset_conflict dst,bitset_conflict src)" identifier (parameter_list "(bitset_conflict dst,bitset_conflict src)" ( (parameter_declaration "bitset_conflict dst" type_identifier identifier) , (parameter_declaration "bitset_conflict src" type_identifier identifier) ))) (compound_statement "{\n  lbitset_elt *plVar1;\n  lbitset_elt_struct *plVar2;\n  lbitset_elt *plVar3;\n  lbitset_elt_struct *plVar4;\n  \n  plVar2 = (src->l).head;\n  plVar4 = (dst->l).head;\n  if (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0) {\n    do {\n      plVar3 = plVar4;\n      if (plVar2 == (lbitset_elt_struct *)0x0) {\n        plVar1 = lbitset_zero_elts;\n        if (plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])) {\n          return false;\n        }\n      }\n      else {\n        plVar1 = plVar2;\n        if (plVar4 == (lbitset_elt_struct *)0x0) {\n          plVar3 = lbitset_zero_elts;\n        }\n        else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }\n        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {\n          return false;\n        }\n      }\n      if (plVar3->words[1] != (plVar1->words[1] | plVar3->words[1])) {\n        return false;\n      }\n      plVar2 = plVar1->next;\n      plVar4 = plVar3->next;\n    } while (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0);\n  }\n  return true;\n}" { (declaration "lbitset_elt *plVar1;" type_identifier (pointer_declarator "*plVar1" * identifier) ;) (declaration "lbitset_elt_struct *plVar2;" type_identifier (pointer_declarator "*plVar2" * identifier) ;) (declaration "lbitset_elt *plVar3;" type_identifier (pointer_declarator "*plVar3" * identifier) ;) (declaration "lbitset_elt_struct *plVar4;" type_identifier (pointer_declarator "*plVar4" * identifier) ;) (expression_statement "plVar2 = (src->l).head;" (assignment_expression "plVar2 = (src->l).head" identifier = (field_expression "(src->l).head" (parenthesized_expression "(src->l)" ( (field_expression "src->l" identifier -> field_identifier) )) . field_identifier)) ;) (expression_statement "plVar4 = (dst->l).head;" (assignment_expression "plVar4 = (dst->l).head" identifier = (field_expression "(dst->l).head" (parenthesized_expression "(dst->l)" ( (field_expression "dst->l" identifier -> field_identifier) )) . field_identifier)) ;) (if_statement "if (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0) {\n    do {\n      plVar3 = plVar4;\n      if (plVar2 == (lbitset_elt_struct *)0x0) {\n        plVar1 = lbitset_zero_elts;\n        if (plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])) {\n          return false;\n        }\n      }\n      else {\n        plVar1 = plVar2;\n        if (plVar4 == (lbitset_elt_struct *)0x0) {\n          plVar3 = lbitset_zero_elts;\n        }\n        else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }\n        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {\n          return false;\n        }\n      }\n      if (plVar3->words[1] != (plVar1->words[1] | plVar3->words[1])) {\n        return false;\n      }\n      plVar2 = plVar1->next;\n      plVar4 = plVar3->next;\n    } while (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0);\n  }" if (parenthesized_expression "(plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0)" ( (binary_expression "plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0" (binary_expression "plVar2 != (lbitset_elt_struct *)0x0" identifier != (cast_expression "(lbitset_elt_struct *)0x0" ( (type_descriptor "lbitset_elt_struct *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) || (binary_expression "plVar4 != (lbitset_elt_struct *)0x0" identifier != (cast_expression "(lbitset_elt_struct *)0x0" ( (type_descriptor "lbitset_elt_struct *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal))) )) (compound_statement "{\n    do {\n      plVar3 = plVar4;\n      if (plVar2 == (lbitset_elt_struct *)0x0) {\n        plVar1 = lbitset_zero_elts;\n        if (plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])) {\n          return false;\n        }\n      }\n      else {\n        plVar1 = plVar2;\n        if (plVar4 == (lbitset_elt_struct *)0x0) {\n          plVar3 = lbitset_zero_elts;\n        }\n        else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }\n        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {\n          return false;\n        }\n      }\n      if (plVar3->words[1] != (plVar1->words[1] | plVar3->words[1])) {\n        return false;\n      }\n      plVar2 = plVar1->next;\n      plVar4 = plVar3->next;\n    } while (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0);\n  }" { (do_statement "do {\n      plVar3 = plVar4;\n      if (plVar2 == (lbitset_elt_struct *)0x0) {\n        plVar1 = lbitset_zero_elts;\n        if (plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])) {\n          return false;\n        }\n      }\n      else {\n        plVar1 = plVar2;\n        if (plVar4 == (lbitset_elt_struct *)0x0) {\n          plVar3 = lbitset_zero_elts;\n        }\n        else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }\n        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {\n          return false;\n        }\n      }\n      if (plVar3->words[1] != (plVar1->words[1] | plVar3->words[1])) {\n        return false;\n      }\n      plVar2 = plVar1->next;\n      plVar4 = plVar3->next;\n    } while (plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0);" do (compound_statement "{\n      plVar3 = plVar4;\n      if (plVar2 == (lbitset_elt_struct *)0x0) {\n        plVar1 = lbitset_zero_elts;\n        if (plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])) {\n          return false;\n        }\n      }\n      else {\n        plVar1 = plVar2;\n        if (plVar4 == (lbitset_elt_struct *)0x0) {\n          plVar3 = lbitset_zero_elts;\n        }\n        else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }\n        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {\n          return false;\n        }\n      }\n      if (plVar3->words[1] != (plVar1->words[1] | plVar3->words[1])) {\n        return false;\n      }\n      plVar2 = plVar1->next;\n      plVar4 = plVar3->next;\n    }" { (expression_statement "plVar3 = plVar4;" (assignment_expression "plVar3 = plVar4" identifier = identifier) ;) (if_statement "if (plVar2 == (lbitset_elt_struct *)0x0) {\n        plVar1 = lbitset_zero_elts;\n        if (plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])) {\n          return false;\n        }\n      }\n      else {\n        plVar1 = plVar2;\n        if (plVar4 == (lbitset_elt_struct *)0x0) {\n          plVar3 = lbitset_zero_elts;\n        }\n        else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }\n        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {\n          return false;\n        }\n      }" if (parenthesized_expression "(plVar2 == (lbitset_elt_struct *)0x0)" ( (binary_expression "plVar2 == (lbitset_elt_struct *)0x0" identifier == (cast_expression "(lbitset_elt_struct *)0x0" ( (type_descriptor "lbitset_elt_struct *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        plVar1 = lbitset_zero_elts;\n        if (plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])) {\n          return false;\n        }\n      }" { (expression_statement "plVar1 = lbitset_zero_elts;" (assignment_expression "plVar1 = lbitset_zero_elts" identifier = identifier) ;) (if_statement "if (plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])) {\n          return false;\n        }" if (parenthesized_expression "(plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0]))" ( (binary_expression "plVar4->words[0] != (lbitset_zero_elts[0].words[0] | plVar4->words[0])" (subscript_expression "plVar4->words[0]" (field_expression "plVar4->words" identifier -> field_identifier) [ number_literal ]) != (parenthesized_expression "(lbitset_zero_elts[0].words[0] | plVar4->words[0])" ( (binary_expression "lbitset_zero_elts[0].words[0] | plVar4->words[0]" (subscript_expression "lbitset_zero_elts[0].words[0]" (field_expression "lbitset_zero_elts[0].words" (subscript_expression "lbitset_zero_elts[0]" identifier [ number_literal ]) . field_identifier) [ number_literal ]) | (subscript_expression "plVar4->words[0]" (field_expression "plVar4->words" identifier -> field_identifier) [ number_literal ])) ))) )) (compound_statement "{\n          return false;\n        }" { (return_statement "return false;" return false ;) })) }) (else_clause "else {\n        plVar1 = plVar2;\n        if (plVar4 == (lbitset_elt_struct *)0x0) {\n          plVar3 = lbitset_zero_elts;\n        }\n        else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }\n        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {\n          return false;\n        }\n      }" else (compound_statement "{\n        plVar1 = plVar2;\n        if (plVar4 == (lbitset_elt_struct *)0x0) {\n          plVar3 = lbitset_zero_elts;\n        }\n        else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }\n        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {\n          return false;\n        }\n      }" { (expression_statement "plVar1 = plVar2;" (assignment_expression "plVar1 = plVar2" identifier = identifier) ;) (if_statement "if (plVar4 == (lbitset_elt_struct *)0x0) {\n          plVar3 = lbitset_zero_elts;\n        }\n        else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }" if (parenthesized_expression "(plVar4 == (lbitset_elt_struct *)0x0)" ( (binary_expression "plVar4 == (lbitset_elt_struct *)0x0" identifier == (cast_expression "(lbitset_elt_struct *)0x0" ( (type_descriptor "lbitset_elt_struct *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n          plVar3 = lbitset_zero_elts;\n        }" { (expression_statement "plVar3 = lbitset_zero_elts;" (assignment_expression "plVar3 = lbitset_zero_elts" identifier = identifier) ;) }) (else_clause "else if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }" else (if_statement "if (plVar2->index != plVar4->index) {\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }" if (parenthesized_expression "(plVar2->index != plVar4->index)" ( (binary_expression "plVar2->index != plVar4->index" (field_expression "plVar2->index" identifier -> field_identifier) != (field_expression "plVar4->index" identifier -> field_identifier)) )) (compound_statement "{\n          if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }\n        }" { (if_statement "if (plVar2->index < plVar4->index) {\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }\n          else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }" if (parenthesized_expression "(plVar2->index < plVar4->index)" ( (binary_expression "plVar2->index < plVar4->index" (field_expression "plVar2->index" identifier -> field_identifier) < (field_expression "plVar4->index" identifier -> field_identifier)) )) (compound_statement "{\n            plVar3 = lbitset_zero_elts + 2;\n            lbitset_zero_elts[2].next = plVar4;\n          }" { (expression_statement "plVar3 = lbitset_zero_elts + 2;" (assignment_expression "plVar3 = lbitset_zero_elts + 2" identifier = (binary_expression "lbitset_zero_elts + 2" identifier + number_literal)) ;) (expression_statement "lbitset_zero_elts[2].next = plVar4;" (assignment_expression "lbitset_zero_elts[2].next = plVar4" (field_expression "lbitset_zero_elts[2].next" (subscript_expression "lbitset_zero_elts[2]" identifier [ number_literal ]) . field_identifier) = identifier) ;) }) (else_clause "else {\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }" else (compound_statement "{\n            plVar1 = lbitset_zero_elts + 1;\n            lbitset_zero_elts[1].next = plVar2;\n          }" { (expression_statement "plVar1 = lbitset_zero_elts + 1;" (assignment_expression "plVar1 = lbitset_zero_elts + 1" identifier = (binary_expression "lbitset_zero_elts + 1" identifier + number_literal)) ;) (expression_statement "lbitset_zero_elts[1].next = plVar2;" (assignment_expression "lbitset_zero_elts[1].next = plVar2" (field_expression "lbitset_zero_elts[1].next" (subscript_expression "lbitset_zero_elts[1]" identifier [ number_literal ]) . field_identifier) = identifier) ;) }))) })))) (if_statement "if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {\n          return false;\n        }" if (parenthesized_expression "(plVar3->words[0] != (plVar1->words[0] | plVar3->words[0]))" ( (binary_expression "plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])" (subscript_expression "plVar3->words[0]" (field_expression "plVar3->words" identifier -> field_identifier) [ number_literal ]) != (parenthesized_expression "(plVar1->words[0] | plVar3->words[0])" ( (binary_expression "plVar1->words[0] | plVar3->words[0]" (subscript_expression "plVar1->words[0]" (field_expression "plVar1->words" identifier -> field_identifier) [ number_literal ]) | (subscript_expression "plVar3->words[0]" (field_expression "plVar3->words" identifier -> field_identifier) [ number_literal ])) ))) )) (compound_statement "{\n          return false;\n        }" { (return_statement "return false;" return false ;) })) }))) (if_statement "if (plVar3->words[1] != (plVar1->words[1] | plVar3->words[1])) {\n        return false;\n      }" if (parenthesized_expression "(plVar3->words[1] != (plVar1->words[1] | plVar3->words[1]))" ( (binary_expression "plVar3->words[1] != (plVar1->words[1] | plVar3->words[1])" (subscript_expression "plVar3->words[1]" (field_expression "plVar3->words" identifier -> field_identifier) [ number_literal ]) != (parenthesized_expression "(plVar1->words[1] | plVar3->words[1])" ( (binary_expression "plVar1->words[1] | plVar3->words[1]" (subscript_expression "plVar1->words[1]" (field_expression "plVar1->words" identifier -> field_identifier) [ number_literal ]) | (subscript_expression "plVar3->words[1]" (field_expression "plVar3->words" identifier -> field_identifier) [ number_literal ])) ))) )) (compound_statement "{\n        return false;\n      }" { (return_statement "return false;" return false ;) })) (expression_statement "plVar2 = plVar1->next;" (assignment_expression "plVar2 = plVar1->next" identifier = (field_expression "plVar1->next" identifier -> field_identifier)) ;) (expression_statement "plVar4 = plVar3->next;" (assignment_expression "plVar4 = plVar3->next" identifier = (field_expression "plVar3->next" identifier -> field_identifier)) ;) }) while (parenthesized_expression "(plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0)" ( (binary_expression "plVar2 != (lbitset_elt_struct *)0x0 || plVar4 != (lbitset_elt_struct *)0x0" (binary_expression "plVar2 != (lbitset_elt_struct *)0x0" identifier != (cast_expression "(lbitset_elt_struct *)0x0" ( (type_descriptor "lbitset_elt_struct *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) || (binary_expression "plVar4 != (lbitset_elt_struct *)0x0" identifier != (cast_expression "(lbitset_elt_struct *)0x0" ( (type_descriptor "lbitset_elt_struct *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal))) )) ;) })) (return_statement "return true;" return true ;) })))
(translation_unit "undefined4 FUN_00057e60(int param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  \n  puVar2 = *(undefined4 **)(param_2 + 0x14);\n  puVar4 = *(undefined4 **)(param_1 + 0x14);\n  if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }\n  return 1;\n}\n\n" (function_definition "undefined4 FUN_00057e60(int param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  \n  puVar2 = *(undefined4 **)(param_2 + 0x14);\n  puVar4 = *(undefined4 **)(param_1 + 0x14);\n  if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }\n  return 1;\n}" type_identifier (function_declarator "FUN_00057e60(int param_1,int param_2)" identifier (parameter_list "(int param_1,int param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  \n  puVar2 = *(undefined4 **)(param_2 + 0x14);\n  puVar4 = *(undefined4 **)(param_1 + 0x14);\n  if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }\n  return 1;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined4 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined4 *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "undefined4 *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (expression_statement "puVar2 = *(undefined4 **)(param_2 + 0x14);" (assignment_expression "puVar2 = *(undefined4 **)(param_2 + 0x14)" identifier = (pointer_expression "*(undefined4 **)(param_2 + 0x14)" * (cast_expression "(undefined4 **)(param_2 + 0x14)" ( (type_descriptor "undefined4 **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_2 + 0x14)" ( (binary_expression "param_2 + 0x14" identifier + number_literal) ))))) ;) (expression_statement "puVar4 = *(undefined4 **)(param_1 + 0x14);" (assignment_expression "puVar4 = *(undefined4 **)(param_1 + 0x14)" identifier = (pointer_expression "*(undefined4 **)(param_1 + 0x14)" * (cast_expression "(undefined4 **)(param_1 + 0x14)" ( (type_descriptor "undefined4 **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_1 + 0x14)" ( (binary_expression "param_1 + 0x14" identifier + number_literal) ))))) ;) (if_statement "if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }" if (parenthesized_expression "(puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0)" ( (binary_expression "puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0" (binary_expression "puVar2 != (undefined4 *)0x0" identifier != (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) || (binary_expression "puVar4 != (undefined4 *)0x0" identifier != (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal))) )) (compound_statement "{\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }" { (do_statement "do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);" do (compound_statement "{\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    }" { (expression_statement "puVar3 = puVar4;" (assignment_expression "puVar3 = puVar4" identifier = identifier) ;) (if_statement "if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }" if (parenthesized_expression "(puVar2 == (undefined4 *)0x0)" ( (binary_expression "puVar2 == (undefined4 *)0x0" identifier == (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }" { (expression_statement "puVar1 = &DAT_00096f20;" (assignment_expression "puVar1 = &DAT_00096f20" identifier = (pointer_expression "&DAT_00096f20" & identifier)) ;) (if_statement "if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }" if (parenthesized_expression "(puVar4[3] != (DAT_00096f2c | puVar4[3]))" ( (binary_expression "puVar4[3] != (DAT_00096f2c | puVar4[3])" (subscript_expression "puVar4[3]" identifier [ number_literal ]) != (parenthesized_expression "(DAT_00096f2c | puVar4[3])" ( (binary_expression "DAT_00096f2c | puVar4[3]" identifier | (subscript_expression "puVar4[3]" identifier [ number_literal ])) ))) )) (compound_statement "{\n          return 0;\n        }" { (return_statement "return 0;" return number_literal ;) })) }) (else_clause "else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }" else (compound_statement "{\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }" { (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" identifier = identifier) ;) (if_statement "if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" if (parenthesized_expression "(puVar4 == (undefined4 *)0x0)" ( (binary_expression "puVar4 == (undefined4 *)0x0" identifier == (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n          puVar3 = &DAT_00096f20;\n        }" { (expression_statement "puVar3 = &DAT_00096f20;" (assignment_expression "puVar3 = &DAT_00096f20" identifier = (pointer_expression "&DAT_00096f20" & identifier)) ;) }) (else_clause "else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" else (if_statement "if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" if (parenthesized_expression "(puVar2[2] != puVar4[2])" ( (binary_expression "puVar2[2] != puVar4[2]" (subscript_expression "puVar2[2]" identifier [ number_literal ]) != (subscript_expression "puVar4[2]" identifier [ number_literal ])) )) (compound_statement "{\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" { (if_statement "if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }" if (parenthesized_expression "((uint)puVar2[2] < (uint)puVar4[2])" ( (binary_expression "(uint)puVar2[2] < (uint)puVar4[2]" (cast_expression "(uint)puVar2[2]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "puVar2[2]" identifier [ number_literal ])) < (cast_expression "(uint)puVar4[2]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "puVar4[2]" identifier [ number_literal ]))) )) (compound_statement "{\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }" { (expression_statement "puVar3 = &DAT_00096f48;" (assignment_expression "puVar3 = &DAT_00096f48" identifier = (pointer_expression "&DAT_00096f48" & identifier)) ;) (expression_statement "DAT_00096f48 = puVar4;" (assignment_expression "DAT_00096f48 = puVar4" identifier = identifier) ;) }) (else_clause "else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }" else (compound_statement "{\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }" { (expression_statement "puVar1 = &DAT_00096f34;" (assignment_expression "puVar1 = &DAT_00096f34" identifier = (pointer_expression "&DAT_00096f34" & identifier)) ;) (expression_statement "DAT_00096f34 = puVar2;" (assignment_expression "DAT_00096f34 = puVar2" identifier = identifier) ;) }))) })))) (if_statement "if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }" if (parenthesized_expression "(puVar3[3] != (puVar1[3] | puVar3[3]))" ( (binary_expression "puVar3[3] != (puVar1[3] | puVar3[3])" (subscript_expression "puVar3[3]" identifier [ number_literal ]) != (parenthesized_expression "(puVar1[3] | puVar3[3])" ( (binary_expression "puVar1[3] | puVar3[3]" (subscript_expression "puVar1[3]" identifier [ number_literal ]) | (subscript_expression "puVar3[3]" identifier [ number_literal ])) ))) )) (compound_statement "{\n          return 0;\n        }" { (return_statement "return 0;" return number_literal ;) })) }))) (if_statement "if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }" if (parenthesized_expression "(puVar3[4] != (puVar1[4] | puVar3[4]))" ( (binary_expression "puVar3[4] != (puVar1[4] | puVar3[4])" (subscript_expression "puVar3[4]" identifier [ number_literal ]) != (parenthesized_expression "(puVar1[4] | puVar3[4])" ( (binary_expression "puVar1[4] | puVar3[4]" (subscript_expression "puVar1[4]" identifier [ number_literal ]) | (subscript_expression "puVar3[4]" identifier [ number_literal ])) ))) )) (compound_statement "{\n        return 0;\n      }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "puVar2 = (undefined4 *)*puVar1;" (assignment_expression "puVar2 = (undefined4 *)*puVar1" identifier = (cast_expression "(undefined4 *)*puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "*puVar1" * identifier))) ;) (expression_statement "puVar4 = (undefined4 *)*puVar3;" (assignment_expression "puVar4 = (undefined4 *)*puVar3" identifier = (cast_expression "(undefined4 *)*puVar3" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "*puVar3" * identifier))) ;) }) while (parenthesized_expression "(puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0)" ( (binary_expression "puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0" (binary_expression "puVar2 != (undefined4 *)0x0" identifier != (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) || (binary_expression "puVar4 != (undefined4 *)0x0" identifier != (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal))) )) ;) })) (return_statement "return 1;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) || (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT))) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression & IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) != (parenthesized_expression ( (binary_expression IDENT | (subscript_expression IDENT [ LIT ])) ))) )) (compound_statement { (return_statement return LIT ;) })) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression & IDENT)) ;) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) != (subscript_expression IDENT [ LIT ])) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) < (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression & IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression & IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }))) })))) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) != (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) | (subscript_expression IDENT [ LIT ])) ))) )) (compound_statement { (return_statement return LIT ;) })) }))) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) != (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) | (subscript_expression IDENT [ LIT ])) ))) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) || (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT))) )) ;) })) (return_statement return LIT ;) })))
(function_definition "undefined4 FUN_00057e60(int param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  \n  puVar2 = *(undefined4 **)(param_2 + 0x14);\n  puVar4 = *(undefined4 **)(param_1 + 0x14);\n  if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }\n  return 1;\n}" (type_identifier "undefined4") (function_declarator "FUN_00057e60(int param_1,int param_2)" (identifier "FUN_00057e60") (parameter_list "(int param_1,int param_2)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) () ")"))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  \n  puVar2 = *(undefined4 **)(param_2 + 0x14);\n  puVar4 = *(undefined4 **)(param_1 + 0x14);\n  if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }\n  return 1;\n}" ({ "{") (declaration "undefined4 *puVar1;" (type_identifier "undefined4") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "undefined4 *puVar2;" (type_identifier "undefined4") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "undefined4 *puVar3;" (type_identifier "undefined4") (pointer_declarator "*puVar3" (* "*") (identifier "puVar3")) (; ";")) (declaration "undefined4 *puVar4;" (type_identifier "undefined4") (pointer_declarator "*puVar4" (* "*") (identifier "puVar4")) (; ";")) (expression_statement "puVar2 = *(undefined4 **)(param_2 + 0x14);" (assignment_expression "puVar2 = *(undefined4 **)(param_2 + 0x14)" (identifier "puVar2") (= "=") (pointer_expression "*(undefined4 **)(param_2 + 0x14)" (* "*") (cast_expression "(undefined4 **)(param_2 + 0x14)" (( "(") (type_descriptor "undefined4 **" (type_identifier "undefined4") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(param_2 + 0x14)" (( "(") (binary_expression "param_2 + 0x14" (identifier "param_2") (+ "+") (number_literal "0x14")) () ")"))))) (; ";")) (expression_statement "puVar4 = *(undefined4 **)(param_1 + 0x14);" (assignment_expression "puVar4 = *(undefined4 **)(param_1 + 0x14)" (identifier "puVar4") (= "=") (pointer_expression "*(undefined4 **)(param_1 + 0x14)" (* "*") (cast_expression "(undefined4 **)(param_1 + 0x14)" (( "(") (type_descriptor "undefined4 **" (type_identifier "undefined4") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(param_1 + 0x14)" (( "(") (binary_expression "param_1 + 0x14" (identifier "param_1") (+ "+") (number_literal "0x14")) () ")"))))) (; ";")) (if_statement "if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }" (if "if") (parenthesized_expression "(puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0)" (( "(") (binary_expression "puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0" (binary_expression "puVar2 != (undefined4 *)0x0" (identifier "puVar2") (!= "!=") (cast_expression "(undefined4 *)0x0" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) (|| "||") (binary_expression "puVar4 != (undefined4 *)0x0" (identifier "puVar4") (!= "!=") (cast_expression "(undefined4 *)0x0" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0")))) () ")")) (compound_statement "{\n    do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);\n  }" ({ "{") (do_statement "do {\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);" (do "do") (compound_statement "{\n      puVar3 = puVar4;\n      if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }\n      if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }\n      puVar2 = (undefined4 *)*puVar1;\n      puVar4 = (undefined4 *)*puVar3;\n    }" ({ "{") (expression_statement "puVar3 = puVar4;" (assignment_expression "puVar3 = puVar4" (identifier "puVar3") (= "=") (identifier "puVar4")) (; ";")) (if_statement "if (puVar2 == (undefined4 *)0x0) {\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }\n      else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }" (if "if") (parenthesized_expression "(puVar2 == (undefined4 *)0x0)" (( "(") (binary_expression "puVar2 == (undefined4 *)0x0" (identifier "puVar2") (== "==") (cast_expression "(undefined4 *)0x0" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n        puVar1 = &DAT_00096f20;\n        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }\n      }" ({ "{") (expression_statement "puVar1 = &DAT_00096f20;" (assignment_expression "puVar1 = &DAT_00096f20" (identifier "puVar1") (= "=") (pointer_expression "&DAT_00096f20" (& "&") (identifier "DAT_00096f20"))) (; ";")) (if_statement "if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {\n          return 0;\n        }" (if "if") (parenthesized_expression "(puVar4[3] != (DAT_00096f2c | puVar4[3]))" (( "(") (binary_expression "puVar4[3] != (DAT_00096f2c | puVar4[3])" (subscript_expression "puVar4[3]" (identifier "puVar4") ([ "[") (number_literal "3") (] "]")) (!= "!=") (parenthesized_expression "(DAT_00096f2c | puVar4[3])" (( "(") (binary_expression "DAT_00096f2c | puVar4[3]" (identifier "DAT_00096f2c") (| "|") (subscript_expression "puVar4[3]" (identifier "puVar4") ([ "[") (number_literal "3") (] "]"))) () ")"))) () ")")) (compound_statement "{\n          return 0;\n        }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (} "}")) (else_clause "else {\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }" (else "else") (compound_statement "{\n        puVar1 = puVar2;\n        if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }\n        if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }\n      }" ({ "{") (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" (identifier "puVar1") (= "=") (identifier "puVar2")) (; ";")) (if_statement "if (puVar4 == (undefined4 *)0x0) {\n          puVar3 = &DAT_00096f20;\n        }\n        else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" (if "if") (parenthesized_expression "(puVar4 == (undefined4 *)0x0)" (( "(") (binary_expression "puVar4 == (undefined4 *)0x0" (identifier "puVar4") (== "==") (cast_expression "(undefined4 *)0x0" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n          puVar3 = &DAT_00096f20;\n        }" ({ "{") (expression_statement "puVar3 = &DAT_00096f20;" (assignment_expression "puVar3 = &DAT_00096f20" (identifier "puVar3") (= "=") (pointer_expression "&DAT_00096f20" (& "&") (identifier "DAT_00096f20"))) (; ";")) (} "}")) (else_clause "else if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" (else "else") (if_statement "if (puVar2[2] != puVar4[2]) {\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" (if "if") (parenthesized_expression "(puVar2[2] != puVar4[2])" (( "(") (binary_expression "puVar2[2] != puVar4[2]" (subscript_expression "puVar2[2]" (identifier "puVar2") ([ "[") (number_literal "2") (] "]")) (!= "!=") (subscript_expression "puVar4[2]" (identifier "puVar4") ([ "[") (number_literal "2") (] "]"))) () ")")) (compound_statement "{\n          if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }\n        }" ({ "{") (if_statement "if ((uint)puVar2[2] < (uint)puVar4[2]) {\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }\n          else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }" (if "if") (parenthesized_expression "((uint)puVar2[2] < (uint)puVar4[2])" (( "(") (binary_expression "(uint)puVar2[2] < (uint)puVar4[2]" (cast_expression "(uint)puVar2[2]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (subscript_expression "puVar2[2]" (identifier "puVar2") ([ "[") (number_literal "2") (] "]"))) (< "<") (cast_expression "(uint)puVar4[2]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (subscript_expression "puVar4[2]" (identifier "puVar4") ([ "[") (number_literal "2") (] "]")))) () ")")) (compound_statement "{\n            puVar3 = &DAT_00096f48;\n            DAT_00096f48 = puVar4;\n          }" ({ "{") (expression_statement "puVar3 = &DAT_00096f48;" (assignment_expression "puVar3 = &DAT_00096f48" (identifier "puVar3") (= "=") (pointer_expression "&DAT_00096f48" (& "&") (identifier "DAT_00096f48"))) (; ";")) (expression_statement "DAT_00096f48 = puVar4;" (assignment_expression "DAT_00096f48 = puVar4" (identifier "DAT_00096f48") (= "=") (identifier "puVar4")) (; ";")) (} "}")) (else_clause "else {\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }" (else "else") (compound_statement "{\n            puVar1 = &DAT_00096f34;\n            DAT_00096f34 = puVar2;\n          }" ({ "{") (expression_statement "puVar1 = &DAT_00096f34;" (assignment_expression "puVar1 = &DAT_00096f34" (identifier "puVar1") (= "=") (pointer_expression "&DAT_00096f34" (& "&") (identifier "DAT_00096f34"))) (; ";")) (expression_statement "DAT_00096f34 = puVar2;" (assignment_expression "DAT_00096f34 = puVar2" (identifier "DAT_00096f34") (= "=") (identifier "puVar2")) (; ";")) (} "}")))) (} "}"))))) (if_statement "if (puVar3[3] != (puVar1[3] | puVar3[3])) {\n          return 0;\n        }" (if "if") (parenthesized_expression "(puVar3[3] != (puVar1[3] | puVar3[3]))" (( "(") (binary_expression "puVar3[3] != (puVar1[3] | puVar3[3])" (subscript_expression "puVar3[3]" (identifier "puVar3") ([ "[") (number_literal "3") (] "]")) (!= "!=") (parenthesized_expression "(puVar1[3] | puVar3[3])" (( "(") (binary_expression "puVar1[3] | puVar3[3]" (subscript_expression "puVar1[3]" (identifier "puVar1") ([ "[") (number_literal "3") (] "]")) (| "|") (subscript_expression "puVar3[3]" (identifier "puVar3") ([ "[") (number_literal "3") (] "]"))) () ")"))) () ")")) (compound_statement "{\n          return 0;\n        }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (} "}")))) (if_statement "if (puVar3[4] != (puVar1[4] | puVar3[4])) {\n        return 0;\n      }" (if "if") (parenthesized_expression "(puVar3[4] != (puVar1[4] | puVar3[4]))" (( "(") (binary_expression "puVar3[4] != (puVar1[4] | puVar3[4])" (subscript_expression "puVar3[4]" (identifier "puVar3") ([ "[") (number_literal "4") (] "]")) (!= "!=") (parenthesized_expression "(puVar1[4] | puVar3[4])" (( "(") (binary_expression "puVar1[4] | puVar3[4]" (subscript_expression "puVar1[4]" (identifier "puVar1") ([ "[") (number_literal "4") (] "]")) (| "|") (subscript_expression "puVar3[4]" (identifier "puVar3") ([ "[") (number_literal "4") (] "]"))) () ")"))) () ")")) (compound_statement "{\n        return 0;\n      }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "puVar2 = (undefined4 *)*puVar1;" (assignment_expression "puVar2 = (undefined4 *)*puVar1" (identifier "puVar2") (= "=") (cast_expression "(undefined4 *)*puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*puVar1" (* "*") (identifier "puVar1")))) (; ";")) (expression_statement "puVar4 = (undefined4 *)*puVar3;" (assignment_expression "puVar4 = (undefined4 *)*puVar3" (identifier "puVar4") (= "=") (cast_expression "(undefined4 *)*puVar3" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*puVar3" (* "*") (identifier "puVar3")))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0)" (( "(") (binary_expression "puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0" (binary_expression "puVar2 != (undefined4 *)0x0" (identifier "puVar2") (!= "!=") (cast_expression "(undefined4 *)0x0" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) (|| "||") (binary_expression "puVar4 != (undefined4 *)0x0" (identifier "puVar4") (!= "!=") (cast_expression "(undefined4 *)0x0" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0")))) () ")")) (; ";")) (} "}"))) (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.si replaced with injection: get_pc_thunk_si */
/* WARNING: Unknown calling convention */

type_1 function_1(type_2 dst,type_2 src)

{
  type_3 *plVar1;
  type_4 *var_1;
  type_3 *plVar3;
  type_4 *var_2;
  
  var_1 = (src->l).head;
  var_2 = (dst->l).head;
  if (var_1 != (type_4 *)0x0 || var_2 != (type_4 *)0x0) {
    do {
      plVar3 = var_2;
      if (var_1 == (type_4 *)0x0) {
        plVar1 = var_3;
        if (var_2->words[0] != (var_3[0].words[0] | var_2->words[0])) {
          return false;
        }
      }
      else {
        plVar1 = var_1;
        if (var_2 == (type_4 *)0x0) {
          plVar3 = var_3;
        }
        else if (var_1->index != var_2->index) {
          if (var_1->index < var_2->index) {
            plVar3 = var_3 + 2;
            var_3[2].next = var_2;
          }
          else {
            plVar1 = var_3 + 1;
            var_3[1].next = var_1;
          }
        }
        if (plVar3->words[0] != (plVar1->words[0] | plVar3->words[0])) {
          return false;
        }
      }
      if (plVar3->words[1] != (plVar1->words[1] | plVar3->words[1])) {
        return false;
      }
      var_1 = plVar1->next;
      var_2 = plVar3->next;
    } while (var_1 != (type_4 *)0x0 || var_2 != (type_4 *)0x0);
  }
  return true;
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal))) right: (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal))))) consequence: (compound_statement (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (parenthesized_expression (binary_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))))) consequence: (compound_statement (return_statement (number_literal))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier))))) alternative: (else_clause (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal)))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal))))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (identifier)))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (identifier)))))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal)))))) consequence: (compound_statement (return_statement (number_literal))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal)))))) consequence: (compound_statement (return_statement (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier)))))) condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal))) right: (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal)))))))) (return_statement (number_literal)))))

/* WARNING: Function: __i686.get_pc_thunk.si replaced with injection: get_pc_thunk_si */

undefined4 MASKED(int param_1,int param_2)

{
  undefined4 *puVar1;
  undefined4 *puVar2;
  undefined4 *puVar3;
  undefined4 *puVar4;
  
  puVar2 = *(undefined4 **)(param_2 + 0x14);
  puVar4 = *(undefined4 **)(param_1 + 0x14);
  if (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0) {
    do {
      puVar3 = puVar4;
      if (puVar2 == (undefined4 *)0x0) {
        puVar1 = &DAT_00096f20;
        if (puVar4[3] != (DAT_00096f2c | puVar4[3])) {
          return 0;
        }
      }
      else {
        puVar1 = puVar2;
        if (puVar4 == (undefined4 *)0x0) {
          puVar3 = &DAT_00096f20;
        }
        else if (puVar2[2] != puVar4[2]) {
          if ((uint)puVar2[2] < (uint)puVar4[2]) {
            puVar3 = &DAT_00096f48;
            DAT_00096f48 = puVar4;
          }
          else {
            puVar1 = &DAT_00096f34;
            DAT_00096f34 = puVar2;
          }
        }
        if (puVar3[3] != (puVar1[3] | puVar3[3])) {
          return 0;
        }
      }
      if (puVar3[4] != (puVar1[4] | puVar3[4])) {
        return 0;
      }
      puVar2 = (undefined4 *)*puVar1;
      puVar4 = (undefined4 *)*puVar3;
    } while (puVar2 != (undefined4 *)0x0 || puVar4 != (undefined4 *)0x0);
  }
  return 1;
}

