
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

reg_errcode_t link_nfa_nodes(void *extra,bin_tree_t *node)

{
  undefined4 *puVar1;
  byte bVar2;
  int iVar3;
  int *piVar4;
  Idx *pIVar5;
  int iVar6;
  int iVar7;
  Idx IVar8;
  
  bVar2 = (node->token).field_0x4;
  iVar3 = node->node_idx;
  switch(bVar2) {
  default:
    if ((bVar2 & 8) != 0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");
    }
    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = node->next->node_idx;
    break;
  case 2:
    if (node->next != (bin_tree_t *)0x0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");
    }
    break;
  case 4:
    IVar8 = node->next->node_idx;
    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = IVar8;
    if ((node->token).field_0x4 == '\x04') goto LAB_00017f56;
    break;
  case 8:
  case 9:
  case 0xc:
    IVar8 = node->next->node_idx;
LAB_00017f56:
    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);
    *puVar1 = 1;
    puVar1[1] = 1;
    pIVar5 = (Idx *)malloc(4);
    puVar1[2] = pIVar5;
    if (pIVar5 == (Idx *)0x0) {
      puVar1[1] = 0;
      *puVar1 = 0;
      return _REG_ESPACE;
    }
    *pIVar5 = IVar8;
    return _REG_NOERROR;
  case 10:
  case 0xb:
    *(byte *)((int)extra + 0x58) = *(byte *)((int)extra + 0x58) | 1;
    if (node->left == (bin_tree_t *)0x0) {
      iVar7 = node->next->node_idx;
    }
    else {
      iVar7 = node->left->first->node_idx;
    }
    if (node->right == (bin_tree_t *)0x0) {
      iVar6 = node->next->node_idx;
    }
    else {
      iVar6 = node->right->first->node_idx;
    }
    if (iVar7 < 0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");
    }
    if (iVar6 < 0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");
    }
    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);
    *puVar1 = 2;
    piVar4 = (int *)malloc(8);
    puVar1[2] = piVar4;
    if (piVar4 != (int *)0x0) {
      if (iVar7 == iVar6) {
        puVar1[1] = 1;
        *piVar4 = iVar7;
        return _REG_NOERROR;
      }
      puVar1[1] = 2;
      if (iVar7 < iVar6) {
        *piVar4 = iVar7;
        piVar4[1] = iVar6;
        return _REG_NOERROR;
      }
      *piVar4 = iVar6;
      piVar4[1] = iVar7;
      return _REG_NOERROR;
    }
    return _REG_ESPACE;
  case 0x10:
    break;
  }
  return _REG_NOERROR;
}



/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

undefined4 FUN_00017e20(int param_1,int param_2)

{
  undefined4 *puVar1;
  int iVar2;
  int *piVar3;
  undefined4 *puVar4;
  int iVar5;
  int iVar6;
  undefined4 uVar7;
  
  iVar2 = *(int *)(param_2 + 0x1c);
  switch(*(byte *)(param_2 + 0x18)) {
  default:
    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");
    }
    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =
         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);
    break;
  case 2:
    if (*(int *)(param_2 + 0x10) != 0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");
    }
    break;
  case 4:
    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);
    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;
    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;
    break;
  case 8:
  case 9:
  case 0xc:
    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);
code_r0x00017f56:
    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);
    *puVar1 = 1;
    puVar1[1] = 1;
    puVar4 = (undefined4 *)malloc(4);
    puVar1[2] = puVar4;
    if (puVar4 == (undefined4 *)0x0) {
      puVar1[1] = 0;
      *puVar1 = 0;
      return 0xc;
    }
    *puVar4 = uVar7;
    return 0;
  case 10:
  case 0xb:
    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;
    if (*(int *)(param_2 + 4) == 0) {
      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);
    }
    else {
      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);
    }
    if (*(int *)(param_2 + 8) == 0) {
      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);
    }
    else {
      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);
    }
    if (iVar6 < 0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");
    }
    if (iVar5 < 0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");
    }
    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);
    *puVar1 = 2;
    piVar3 = (int *)malloc(8);
    puVar1[2] = piVar3;
    if (piVar3 != (int *)0x0) {
      if (iVar6 == iVar5) {
        puVar1[1] = 1;
        *piVar3 = iVar6;
        return 0;
      }
      puVar1[1] = 2;
      if (iVar6 < iVar5) {
        *piVar3 = iVar6;
        piVar3[1] = iVar5;
        return 0;
      }
      *piVar3 = iVar5;
      piVar3[1] = iVar6;
      return 0;
    }
    return 0xc;
  case 0x10:
    break;
  }
  return 0;
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
CALL 0x00011ce0
ADD EBX,0x151d7
SUB ESP,0xc
MOV EAX,dword ptr [ESP + 0x24]
MOV EDI,dword ptr [ESP + 0x20]
MOVZX EDX,byte ptr [EAX + 0x18]
MOV ECX,dword ptr [EAX + 0x1c]
CMP DL,0x10
JA 0x00017e58
MOVZX ESI,DL
MOV EBP,dword ptr [EBX + ESI*0x4 + 0xffff9280]
ADD EBP,EBX
JMP EBP
AND EDX,0x8
JNZ 0x00018038
MOV EAX,dword ptr [EAX + 0x10]
MOV EDX,dword ptr [EAX + 0x1c]
MOV EAX,dword ptr [EDI + 0xc]
MOV dword ptr [EAX + ECX*0x4],EDX
XOR EAX,EAX
ADD ESP,0xc
POP EBX
POP ESI
POP EDI
POP EBP
RET
LEA EAX,[EBX + 0xffff9720]
PUSH EAX
LEA EAX,[EBX + 0xffff914c]
PUSH 0x5cc
PUSH EAX
LEA EAX,[EBX + 0xffff9240]
PUSH EAX
CALL 0x00011470
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nundefined4 FUN_00017e20(int param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  int iVar2;\n  int *piVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  int iVar6;\n  undefined4 uVar7;\n  \n  iVar2 = *(int *)(param_2 + 0x1c);\n  switch(*(byte *)(param_2 + 0x18)) {\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }\n  return 0;\n}\n\n" comment (function_definition "undefined4 FUN_00017e20(int param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  int iVar2;\n  int *piVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  int iVar6;\n  undefined4 uVar7;\n  \n  iVar2 = *(int *)(param_2 + 0x1c);\n  switch(*(byte *)(param_2 + 0x18)) {\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }\n  return 0;\n}" type_identifier (function_declarator "FUN_00017e20(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  int iVar2;\n  int *piVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  int iVar6;\n  undefined4 uVar7;\n  \n  iVar2 = *(int *)(param_2 + 0x1c);\n  switch(*(byte *)(param_2 + 0x18)) {\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }\n  return 0;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (declaration "undefined4 *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "undefined4 uVar7;" type_identifier identifier ;) (expression_statement "iVar2 = *(int *)(param_2 + 0x1c);" (assignment_expression "iVar2 = *(int *)(param_2 + 0x1c)" identifier = (pointer_expression "*(int *)(param_2 + 0x1c)" * (cast_expression "(int *)(param_2 + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x1c)" ( (binary_expression "param_2 + 0x1c" identifier + number_literal) ))))) ;) (switch_statement "switch(*(byte *)(param_2 + 0x18)) {\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }" switch (parenthesized_expression "(*(byte *)(param_2 + 0x18))" ( (pointer_expression "*(byte *)(param_2 + 0x18)" * (cast_expression "(byte *)(param_2 + 0x18)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) )) (compound_statement "{\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }" { (case_statement "default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;" default : (if_statement "if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }" if (parenthesized_expression "((*(byte *)(param_2 + 0x18) & 8) != 0)" ( (binary_expression "(*(byte *)(param_2 + 0x18) & 8) != 0" (parenthesized_expression "(*(byte *)(param_2 + 0x18) & 8)" ( (binary_expression "*(byte *)(param_2 + 0x18) & 8" (pointer_expression "*(byte *)(param_2 + 0x18)" * (cast_expression "(byte *)(param_2 + 0x18)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) & number_literal) )) != number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }" { comment (expression_statement "__assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");" (call_expression "__assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes")" identifier (argument_list "("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes")" ( (string_literal ""!IS_EPSILON_NODE (node->token.type)"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (expression_statement "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" (pointer_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" * (cast_expression "(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0xc) + iVar2 * 4)" ( (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4" (pointer_expression "*(int *)(param_1 + 0xc)" * (cast_expression "(int *)(param_1 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) + (binary_expression "iVar2 * 4" identifier * number_literal)) )))) = (pointer_expression "*(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" * (cast_expression "(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) ;) (break_statement "break;" break ;)) (case_statement "case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;" case number_literal : (if_statement "if (*(int *)(param_2 + 0x10) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }" if (parenthesized_expression "(*(int *)(param_2 + 0x10) != 0)" ( (binary_expression "*(int *)(param_2 + 0x10) != 0" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }" { comment (expression_statement "__assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");" (call_expression "__assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes")" identifier (argument_list "("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes")" ( (string_literal ""node->next == NULL"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (break_statement "break;" break ;)) (case_statement "case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;" case number_literal : (expression_statement "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" identifier = (pointer_expression "*(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" * (cast_expression "(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) ;) (expression_statement "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;" (assignment_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7" (pointer_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" * (cast_expression "(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0xc) + iVar2 * 4)" ( (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4" (pointer_expression "*(int *)(param_1 + 0xc)" * (cast_expression "(int *)(param_1 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) + (binary_expression "iVar2 * 4" identifier * number_literal)) )))) = identifier) ;) (if_statement "if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;" if (parenthesized_expression "(*(char *)(param_2 + 0x18) == '\x04')" ( (binary_expression "*(char *)(param_2 + 0x18) == '\x04'" (pointer_expression "*(char *)(param_2 + 0x18)" * (cast_expression "(char *)(param_2 + 0x18)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) == (char_literal "'\x04'" ' escape_sequence ')) )) (goto_statement "goto code_r0x00017f56;" goto statement_identifier ;)) (break_statement "break;" break ;)) (case_statement "case 8:" case number_literal :) (case_statement "case 9:" case number_literal :) (case_statement "case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;" case number_literal : (expression_statement "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" identifier = (pointer_expression "*(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" * (cast_expression "(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) ;) (labeled_statement "code_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);" statement_identifier : (expression_statement "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);" (assignment_expression "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" identifier = (cast_expression "(undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" ( (binary_expression "*(int *)(param_1 + 0x14) + iVar2 * 0xc" (pointer_expression "*(int *)(param_1 + 0x14)" * (cast_expression "(int *)(param_1 + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x14)" ( (binary_expression "param_1 + 0x14" identifier + number_literal) )))) + (binary_expression "iVar2 * 0xc" identifier * number_literal)) )))) ;)) (expression_statement "*puVar1 = 1;" (assignment_expression "*puVar1 = 1" (pointer_expression "*puVar1" * identifier) = number_literal) ;) (expression_statement "puVar1[1] = 1;" (assignment_expression "puVar1[1] = 1" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "puVar4 = (undefined4 *)malloc(4);" (assignment_expression "puVar4 = (undefined4 *)malloc(4)" identifier = (cast_expression "(undefined4 *)malloc(4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "malloc(4)" identifier (argument_list "(4)" ( number_literal ))))) ;) (expression_statement "puVar1[2] = puVar4;" (assignment_expression "puVar1[2] = puVar4" (subscript_expression "puVar1[2]" identifier [ number_literal ]) = identifier) ;) (if_statement "if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\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      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }" { (expression_statement "puVar1[1] = 0;" (assignment_expression "puVar1[1] = 0" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*puVar1 = 0;" (assignment_expression "*puVar1 = 0" (pointer_expression "*puVar1" * identifier) = number_literal) ;) (return_statement "return 0xc;" return number_literal ;) })) (expression_statement "*puVar4 = uVar7;" (assignment_expression "*puVar4 = uVar7" (pointer_expression "*puVar4" * identifier) = identifier) ;) (return_statement "return 0;" return number_literal ;)) (case_statement "case 10:" case number_literal :) (case_statement "case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;" case number_literal : (expression_statement "*(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;" (assignment_expression "*(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1" (pointer_expression "*(byte *)(param_1 + 0x58)" * (cast_expression "(byte *)(param_1 + 0x58)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x58)" ( (binary_expression "param_1 + 0x58" identifier + number_literal) )))) = (binary_expression "*(byte *)(param_1 + 0x58) | 1" (pointer_expression "*(byte *)(param_1 + 0x58)" * (cast_expression "(byte *)(param_1 + 0x58)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x58)" ( (binary_expression "param_1 + 0x58" identifier + number_literal) )))) | number_literal)) ;) (if_statement "if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }" if (parenthesized_expression "(*(int *)(param_2 + 4) == 0)" ( (binary_expression "*(int *)(param_2 + 4) == 0" (pointer_expression "*(int *)(param_2 + 4)" * (cast_expression "(int *)(param_2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }" { (expression_statement "iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c)" identifier = (pointer_expression "*(int *)(*(int *)(param_2 + 0x10) + 0x1c)" * (cast_expression "(int *)(*(int *)(param_2 + 0x10) + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) ;) }) (else_clause "else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }" else (compound_statement "{\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }" { (expression_statement "iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);" (assignment_expression "iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" identifier = (pointer_expression "*(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" * (cast_expression "(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" ( (binary_expression "*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c" (pointer_expression "*(int *)(*(int *)(param_2 + 4) + 0xc)" * (cast_expression "(int *)(*(int *)(param_2 + 4) + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 4) + 0xc)" ( (binary_expression "*(int *)(param_2 + 4) + 0xc" (pointer_expression "*(int *)(param_2 + 4)" * (cast_expression "(int *)(param_2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) )))) + number_literal) )))) + number_literal) ))))) ;) }))) (if_statement "if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }" if (parenthesized_expression "(*(int *)(param_2 + 8) == 0)" ( (binary_expression "*(int *)(param_2 + 8) == 0" (pointer_expression "*(int *)(param_2 + 8)" * (cast_expression "(int *)(param_2 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 8)" ( (binary_expression "param_2 + 8" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }" { (expression_statement "iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c)" identifier = (pointer_expression "*(int *)(*(int *)(param_2 + 0x10) + 0x1c)" * (cast_expression "(int *)(*(int *)(param_2 + 0x10) + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) ;) }) (else_clause "else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }" else (compound_statement "{\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }" { (expression_statement "iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);" (assignment_expression "iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" identifier = (pointer_expression "*(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" * (cast_expression "(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" ( (binary_expression "*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c" (pointer_expression "*(int *)(*(int *)(param_2 + 8) + 0xc)" * (cast_expression "(int *)(*(int *)(param_2 + 8) + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 8) + 0xc)" ( (binary_expression "*(int *)(param_2 + 8) + 0xc" (pointer_expression "*(int *)(param_2 + 8)" * (cast_expression "(int *)(param_2 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 8)" ( (binary_expression "param_2 + 8" identifier + number_literal) )))) + number_literal) )))) + number_literal) ))))) ;) }))) (if_statement "if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }" if (parenthesized_expression "(iVar6 < 0)" ( (binary_expression "iVar6 < 0" identifier < number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }" { comment (expression_statement "__assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");" (call_expression "__assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes")" identifier (argument_list "("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes")" ( (string_literal ""left > -1"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (if_statement "if (iVar5 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }" if (parenthesized_expression "(iVar5 < 0)" ( (binary_expression "iVar5 < 0" identifier < number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }" { comment (expression_statement "__assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");" (call_expression "__assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes")" identifier (argument_list "("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes")" ( (string_literal ""right > -1"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (expression_statement "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);" (assignment_expression "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" identifier = (cast_expression "(undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" ( (binary_expression "*(int *)(param_1 + 0x14) + iVar2 * 0xc" (pointer_expression "*(int *)(param_1 + 0x14)" * (cast_expression "(int *)(param_1 + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x14)" ( (binary_expression "param_1 + 0x14" identifier + number_literal) )))) + (binary_expression "iVar2 * 0xc" identifier * number_literal)) )))) ;) (expression_statement "*puVar1 = 2;" (assignment_expression "*puVar1 = 2" (pointer_expression "*puVar1" * identifier) = number_literal) ;) (expression_statement "piVar3 = (int *)malloc(8);" (assignment_expression "piVar3 = (int *)malloc(8)" identifier = (cast_expression "(int *)malloc(8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "malloc(8)" identifier (argument_list "(8)" ( number_literal ))))) ;) (expression_statement "puVar1[2] = piVar3;" (assignment_expression "puVar1[2] = piVar3" (subscript_expression "puVar1[2]" identifier [ number_literal ]) = identifier) ;) (if_statement "if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }" if (parenthesized_expression "(piVar3 != (int *)0x0)" ( (binary_expression "piVar3 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }" { (if_statement "if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }" if (parenthesized_expression "(iVar6 == iVar5)" ( (binary_expression "iVar6 == iVar5" identifier == identifier) )) (compound_statement "{\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }" { (expression_statement "puVar1[1] = 1;" (assignment_expression "puVar1[1] = 1" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*piVar3 = iVar6;" (assignment_expression "*piVar3 = iVar6" (pointer_expression "*piVar3" * identifier) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "puVar1[1] = 2;" (assignment_expression "puVar1[1] = 2" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (if_statement "if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }" if (parenthesized_expression "(iVar6 < iVar5)" ( (binary_expression "iVar6 < iVar5" identifier < identifier) )) (compound_statement "{\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }" { (expression_statement "*piVar3 = iVar6;" (assignment_expression "*piVar3 = iVar6" (pointer_expression "*piVar3" * identifier) = identifier) ;) (expression_statement "piVar3[1] = iVar5;" (assignment_expression "piVar3[1] = iVar5" (subscript_expression "piVar3[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "*piVar3 = iVar5;" (assignment_expression "*piVar3 = iVar5" (pointer_expression "*piVar3" * identifier) = identifier) ;) (expression_statement "piVar3[1] = iVar6;" (assignment_expression "piVar3[1] = iVar6" (subscript_expression "piVar3[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) (return_statement "return 0xc;" return number_literal ;)) (case_statement "case 0x10:\n    break;" case number_literal : (break_statement "break;" break ;)) })) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nreg_errcode_t link_nfa_nodes(void *extra,bin_tree_t *node)\n\n{\n  undefined4 *puVar1;\n  byte bVar2;\n  int iVar3;\n  int *piVar4;\n  Idx *pIVar5;\n  int iVar6;\n  int iVar7;\n  Idx IVar8;\n  \n  bVar2 = (node->token).field_0x4;\n  iVar3 = node->node_idx;\n  switch(bVar2) {\n  default:\n    if ((bVar2 & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = node->next->node_idx;\n    break;\n  case 2:\n    if (node->next != (bin_tree_t *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    IVar8 = node->next->node_idx;\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = IVar8;\n    if ((node->token).field_0x4 == '\x04') goto LAB_00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    IVar8 = node->next->node_idx;\nLAB_00017f56:\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    pIVar5 = (Idx *)malloc(4);\n    puVar1[2] = pIVar5;\n    if (pIVar5 == (Idx *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return _REG_ESPACE;\n    }\n    *pIVar5 = IVar8;\n    return _REG_NOERROR;\n  case 10:\n  case 0xb:\n    *(byte *)((int)extra + 0x58) = *(byte *)((int)extra + 0x58) | 1;\n    if (node->left == (bin_tree_t *)0x0) {\n      iVar7 = node->next->node_idx;\n    }\n    else {\n      iVar7 = node->left->first->node_idx;\n    }\n    if (node->right == (bin_tree_t *)0x0) {\n      iVar6 = node->next->node_idx;\n    }\n    else {\n      iVar6 = node->right->first->node_idx;\n    }\n    if (iVar7 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 2;\n    piVar4 = (int *)malloc(8);\n    puVar1[2] = piVar4;\n    if (piVar4 != (int *)0x0) {\n      if (iVar7 == iVar6) {\n        puVar1[1] = 1;\n        *piVar4 = iVar7;\n        return _REG_NOERROR;\n      }\n      puVar1[1] = 2;\n      if (iVar7 < iVar6) {\n        *piVar4 = iVar7;\n        piVar4[1] = iVar6;\n        return _REG_NOERROR;\n      }\n      *piVar4 = iVar6;\n      piVar4[1] = iVar7;\n      return _REG_NOERROR;\n    }\n    return _REG_ESPACE;\n  case 0x10:\n    break;\n  }\n  return _REG_NOERROR;\n}\n\n" comment (function_definition "reg_errcode_t link_nfa_nodes(void *extra,bin_tree_t *node)\n\n{\n  undefined4 *puVar1;\n  byte bVar2;\n  int iVar3;\n  int *piVar4;\n  Idx *pIVar5;\n  int iVar6;\n  int iVar7;\n  Idx IVar8;\n  \n  bVar2 = (node->token).field_0x4;\n  iVar3 = node->node_idx;\n  switch(bVar2) {\n  default:\n    if ((bVar2 & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = node->next->node_idx;\n    break;\n  case 2:\n    if (node->next != (bin_tree_t *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    IVar8 = node->next->node_idx;\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = IVar8;\n    if ((node->token).field_0x4 == '\x04') goto LAB_00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    IVar8 = node->next->node_idx;\nLAB_00017f56:\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    pIVar5 = (Idx *)malloc(4);\n    puVar1[2] = pIVar5;\n    if (pIVar5 == (Idx *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return _REG_ESPACE;\n    }\n    *pIVar5 = IVar8;\n    return _REG_NOERROR;\n  case 10:\n  case 0xb:\n    *(byte *)((int)extra + 0x58) = *(byte *)((int)extra + 0x58) | 1;\n    if (node->left == (bin_tree_t *)0x0) {\n      iVar7 = node->next->node_idx;\n    }\n    else {\n      iVar7 = node->left->first->node_idx;\n    }\n    if (node->right == (bin_tree_t *)0x0) {\n      iVar6 = node->next->node_idx;\n    }\n    else {\n      iVar6 = node->right->first->node_idx;\n    }\n    if (iVar7 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 2;\n    piVar4 = (int *)malloc(8);\n    puVar1[2] = piVar4;\n    if (piVar4 != (int *)0x0) {\n      if (iVar7 == iVar6) {\n        puVar1[1] = 1;\n        *piVar4 = iVar7;\n        return _REG_NOERROR;\n      }\n      puVar1[1] = 2;\n      if (iVar7 < iVar6) {\n        *piVar4 = iVar7;\n        piVar4[1] = iVar6;\n        return _REG_NOERROR;\n      }\n      *piVar4 = iVar6;\n      piVar4[1] = iVar7;\n      return _REG_NOERROR;\n    }\n    return _REG_ESPACE;\n  case 0x10:\n    break;\n  }\n  return _REG_NOERROR;\n}" type_identifier (function_declarator "link_nfa_nodes(void *extra,bin_tree_t *node)" identifier (parameter_list "(void *extra,bin_tree_t *node)" ( (parameter_declaration "void *extra" primitive_type (pointer_declarator "*extra" * identifier)) , (parameter_declaration "bin_tree_t *node" type_identifier (pointer_declarator "*node" * identifier)) ))) (compound_statement "{\n  undefined4 *puVar1;\n  byte bVar2;\n  int iVar3;\n  int *piVar4;\n  Idx *pIVar5;\n  int iVar6;\n  int iVar7;\n  Idx IVar8;\n  \n  bVar2 = (node->token).field_0x4;\n  iVar3 = node->node_idx;\n  switch(bVar2) {\n  default:\n    if ((bVar2 & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = node->next->node_idx;\n    break;\n  case 2:\n    if (node->next != (bin_tree_t *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    IVar8 = node->next->node_idx;\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = IVar8;\n    if ((node->token).field_0x4 == '\x04') goto LAB_00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    IVar8 = node->next->node_idx;\nLAB_00017f56:\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    pIVar5 = (Idx *)malloc(4);\n    puVar1[2] = pIVar5;\n    if (pIVar5 == (Idx *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return _REG_ESPACE;\n    }\n    *pIVar5 = IVar8;\n    return _REG_NOERROR;\n  case 10:\n  case 0xb:\n    *(byte *)((int)extra + 0x58) = *(byte *)((int)extra + 0x58) | 1;\n    if (node->left == (bin_tree_t *)0x0) {\n      iVar7 = node->next->node_idx;\n    }\n    else {\n      iVar7 = node->left->first->node_idx;\n    }\n    if (node->right == (bin_tree_t *)0x0) {\n      iVar6 = node->next->node_idx;\n    }\n    else {\n      iVar6 = node->right->first->node_idx;\n    }\n    if (iVar7 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 2;\n    piVar4 = (int *)malloc(8);\n    puVar1[2] = piVar4;\n    if (piVar4 != (int *)0x0) {\n      if (iVar7 == iVar6) {\n        puVar1[1] = 1;\n        *piVar4 = iVar7;\n        return _REG_NOERROR;\n      }\n      puVar1[1] = 2;\n      if (iVar7 < iVar6) {\n        *piVar4 = iVar7;\n        piVar4[1] = iVar6;\n        return _REG_NOERROR;\n      }\n      *piVar4 = iVar6;\n      piVar4[1] = iVar7;\n      return _REG_NOERROR;\n    }\n    return _REG_ESPACE;\n  case 0x10:\n    break;\n  }\n  return _REG_NOERROR;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "byte bVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int *piVar4;" primitive_type (pointer_declarator "*piVar4" * identifier) ;) (declaration "Idx *pIVar5;" type_identifier (pointer_declarator "*pIVar5" * identifier) ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "Idx IVar8;" type_identifier identifier ;) (expression_statement "bVar2 = (node->token).field_0x4;" (assignment_expression "bVar2 = (node->token).field_0x4" identifier = (field_expression "(node->token).field_0x4" (parenthesized_expression "(node->token)" ( (field_expression "node->token" identifier -> field_identifier) )) . field_identifier)) ;) (expression_statement "iVar3 = node->node_idx;" (assignment_expression "iVar3 = node->node_idx" identifier = (field_expression "node->node_idx" identifier -> field_identifier)) ;) (switch_statement "switch(bVar2) {\n  default:\n    if ((bVar2 & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = node->next->node_idx;\n    break;\n  case 2:\n    if (node->next != (bin_tree_t *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    IVar8 = node->next->node_idx;\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = IVar8;\n    if ((node->token).field_0x4 == '\x04') goto LAB_00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    IVar8 = node->next->node_idx;\nLAB_00017f56:\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    pIVar5 = (Idx *)malloc(4);\n    puVar1[2] = pIVar5;\n    if (pIVar5 == (Idx *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return _REG_ESPACE;\n    }\n    *pIVar5 = IVar8;\n    return _REG_NOERROR;\n  case 10:\n  case 0xb:\n    *(byte *)((int)extra + 0x58) = *(byte *)((int)extra + 0x58) | 1;\n    if (node->left == (bin_tree_t *)0x0) {\n      iVar7 = node->next->node_idx;\n    }\n    else {\n      iVar7 = node->left->first->node_idx;\n    }\n    if (node->right == (bin_tree_t *)0x0) {\n      iVar6 = node->next->node_idx;\n    }\n    else {\n      iVar6 = node->right->first->node_idx;\n    }\n    if (iVar7 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 2;\n    piVar4 = (int *)malloc(8);\n    puVar1[2] = piVar4;\n    if (piVar4 != (int *)0x0) {\n      if (iVar7 == iVar6) {\n        puVar1[1] = 1;\n        *piVar4 = iVar7;\n        return _REG_NOERROR;\n      }\n      puVar1[1] = 2;\n      if (iVar7 < iVar6) {\n        *piVar4 = iVar7;\n        piVar4[1] = iVar6;\n        return _REG_NOERROR;\n      }\n      *piVar4 = iVar6;\n      piVar4[1] = iVar7;\n      return _REG_NOERROR;\n    }\n    return _REG_ESPACE;\n  case 0x10:\n    break;\n  }" switch (parenthesized_expression "(bVar2)" ( identifier )) (compound_statement "{\n  default:\n    if ((bVar2 & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = node->next->node_idx;\n    break;\n  case 2:\n    if (node->next != (bin_tree_t *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    IVar8 = node->next->node_idx;\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = IVar8;\n    if ((node->token).field_0x4 == '\x04') goto LAB_00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    IVar8 = node->next->node_idx;\nLAB_00017f56:\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    pIVar5 = (Idx *)malloc(4);\n    puVar1[2] = pIVar5;\n    if (pIVar5 == (Idx *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return _REG_ESPACE;\n    }\n    *pIVar5 = IVar8;\n    return _REG_NOERROR;\n  case 10:\n  case 0xb:\n    *(byte *)((int)extra + 0x58) = *(byte *)((int)extra + 0x58) | 1;\n    if (node->left == (bin_tree_t *)0x0) {\n      iVar7 = node->next->node_idx;\n    }\n    else {\n      iVar7 = node->left->first->node_idx;\n    }\n    if (node->right == (bin_tree_t *)0x0) {\n      iVar6 = node->next->node_idx;\n    }\n    else {\n      iVar6 = node->right->first->node_idx;\n    }\n    if (iVar7 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 2;\n    piVar4 = (int *)malloc(8);\n    puVar1[2] = piVar4;\n    if (piVar4 != (int *)0x0) {\n      if (iVar7 == iVar6) {\n        puVar1[1] = 1;\n        *piVar4 = iVar7;\n        return _REG_NOERROR;\n      }\n      puVar1[1] = 2;\n      if (iVar7 < iVar6) {\n        *piVar4 = iVar7;\n        piVar4[1] = iVar6;\n        return _REG_NOERROR;\n      }\n      *piVar4 = iVar6;\n      piVar4[1] = iVar7;\n      return _REG_NOERROR;\n    }\n    return _REG_ESPACE;\n  case 0x10:\n    break;\n  }" { (case_statement "default:\n    if ((bVar2 & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = node->next->node_idx;\n    break;" default : (if_statement "if ((bVar2 & 8) != 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }" if (parenthesized_expression "((bVar2 & 8) != 0)" ( (binary_expression "(bVar2 & 8) != 0" (parenthesized_expression "(bVar2 & 8)" ( (binary_expression "bVar2 & 8" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }" { comment (expression_statement "__assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");" (call_expression "__assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes")" identifier (argument_list "("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes")" ( (string_literal ""!IS_EPSILON_NODE (node->token.type)"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (expression_statement "*(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = node->next->node_idx;" (assignment_expression "*(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = node->next->node_idx" (pointer_expression "*(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4)" * (cast_expression "(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4)" ( (type_descriptor "Idx *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)((int)extra + 0xc) + iVar3 * 4)" ( (binary_expression "*(int *)((int)extra + 0xc) + iVar3 * 4" (pointer_expression "*(int *)((int)extra + 0xc)" * (cast_expression "(int *)((int)extra + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)extra + 0xc)" ( (binary_expression "(int)extra + 0xc" (cast_expression "(int)extra" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) + (binary_expression "iVar3 * 4" identifier * number_literal)) )))) = (field_expression "node->next->node_idx" (field_expression "node->next" identifier -> field_identifier) -> field_identifier)) ;) (break_statement "break;" break ;)) (case_statement "case 2:\n    if (node->next != (bin_tree_t *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;" case number_literal : (if_statement "if (node->next != (bin_tree_t *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }" if (parenthesized_expression "(node->next != (bin_tree_t *)0x0)" ( (binary_expression "node->next != (bin_tree_t *)0x0" (field_expression "node->next" identifier -> field_identifier) != (cast_expression "(bin_tree_t *)0x0" ( (type_descriptor "bin_tree_t *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }" { comment (expression_statement "__assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");" (call_expression "__assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes")" identifier (argument_list "("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes")" ( (string_literal ""node->next == NULL"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (break_statement "break;" break ;)) (case_statement "case 4:\n    IVar8 = node->next->node_idx;\n    *(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = IVar8;\n    if ((node->token).field_0x4 == '\x04') goto LAB_00017f56;\n    break;" case number_literal : (expression_statement "IVar8 = node->next->node_idx;" (assignment_expression "IVar8 = node->next->node_idx" identifier = (field_expression "node->next->node_idx" (field_expression "node->next" identifier -> field_identifier) -> field_identifier)) ;) (expression_statement "*(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = IVar8;" (assignment_expression "*(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4) = IVar8" (pointer_expression "*(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4)" * (cast_expression "(Idx *)(*(int *)((int)extra + 0xc) + iVar3 * 4)" ( (type_descriptor "Idx *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)((int)extra + 0xc) + iVar3 * 4)" ( (binary_expression "*(int *)((int)extra + 0xc) + iVar3 * 4" (pointer_expression "*(int *)((int)extra + 0xc)" * (cast_expression "(int *)((int)extra + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)extra + 0xc)" ( (binary_expression "(int)extra + 0xc" (cast_expression "(int)extra" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) + (binary_expression "iVar3 * 4" identifier * number_literal)) )))) = identifier) ;) (if_statement "if ((node->token).field_0x4 == '\x04') goto LAB_00017f56;" if (parenthesized_expression "((node->token).field_0x4 == '\x04')" ( (binary_expression "(node->token).field_0x4 == '\x04'" (field_expression "(node->token).field_0x4" (parenthesized_expression "(node->token)" ( (field_expression "node->token" identifier -> field_identifier) )) . field_identifier) == (char_literal "'\x04'" ' escape_sequence ')) )) (goto_statement "goto LAB_00017f56;" goto statement_identifier ;)) (break_statement "break;" break ;)) (case_statement "case 8:" case number_literal :) (case_statement "case 9:" case number_literal :) (case_statement "case 0xc:\n    IVar8 = node->next->node_idx;\nLAB_00017f56:\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    pIVar5 = (Idx *)malloc(4);\n    puVar1[2] = pIVar5;\n    if (pIVar5 == (Idx *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return _REG_ESPACE;\n    }\n    *pIVar5 = IVar8;\n    return _REG_NOERROR;" case number_literal : (expression_statement "IVar8 = node->next->node_idx;" (assignment_expression "IVar8 = node->next->node_idx" identifier = (field_expression "node->next->node_idx" (field_expression "node->next" identifier -> field_identifier) -> field_identifier)) ;) (labeled_statement "LAB_00017f56:\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);" statement_identifier : (expression_statement "puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);" (assignment_expression "puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc)" identifier = (cast_expression "(undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)((int)extra + 0x14) + iVar3 * 0xc)" ( (binary_expression "*(int *)((int)extra + 0x14) + iVar3 * 0xc" (pointer_expression "*(int *)((int)extra + 0x14)" * (cast_expression "(int *)((int)extra + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)extra + 0x14)" ( (binary_expression "(int)extra + 0x14" (cast_expression "(int)extra" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) + (binary_expression "iVar3 * 0xc" identifier * number_literal)) )))) ;)) (expression_statement "*puVar1 = 1;" (assignment_expression "*puVar1 = 1" (pointer_expression "*puVar1" * identifier) = number_literal) ;) (expression_statement "puVar1[1] = 1;" (assignment_expression "puVar1[1] = 1" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "pIVar5 = (Idx *)malloc(4);" (assignment_expression "pIVar5 = (Idx *)malloc(4)" identifier = (cast_expression "(Idx *)malloc(4)" ( (type_descriptor "Idx *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "malloc(4)" identifier (argument_list "(4)" ( number_literal ))))) ;) (expression_statement "puVar1[2] = pIVar5;" (assignment_expression "puVar1[2] = pIVar5" (subscript_expression "puVar1[2]" identifier [ number_literal ]) = identifier) ;) (if_statement "if (pIVar5 == (Idx *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return _REG_ESPACE;\n    }" if (parenthesized_expression "(pIVar5 == (Idx *)0x0)" ( (binary_expression "pIVar5 == (Idx *)0x0" identifier == (cast_expression "(Idx *)0x0" ( (type_descriptor "Idx *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return _REG_ESPACE;\n    }" { (expression_statement "puVar1[1] = 0;" (assignment_expression "puVar1[1] = 0" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*puVar1 = 0;" (assignment_expression "*puVar1 = 0" (pointer_expression "*puVar1" * identifier) = number_literal) ;) (return_statement "return _REG_ESPACE;" return identifier ;) })) (expression_statement "*pIVar5 = IVar8;" (assignment_expression "*pIVar5 = IVar8" (pointer_expression "*pIVar5" * identifier) = identifier) ;) (return_statement "return _REG_NOERROR;" return identifier ;)) (case_statement "case 10:" case number_literal :) (case_statement "case 0xb:\n    *(byte *)((int)extra + 0x58) = *(byte *)((int)extra + 0x58) | 1;\n    if (node->left == (bin_tree_t *)0x0) {\n      iVar7 = node->next->node_idx;\n    }\n    else {\n      iVar7 = node->left->first->node_idx;\n    }\n    if (node->right == (bin_tree_t *)0x0) {\n      iVar6 = node->next->node_idx;\n    }\n    else {\n      iVar6 = node->right->first->node_idx;\n    }\n    if (iVar7 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);\n    *puVar1 = 2;\n    piVar4 = (int *)malloc(8);\n    puVar1[2] = piVar4;\n    if (piVar4 != (int *)0x0) {\n      if (iVar7 == iVar6) {\n        puVar1[1] = 1;\n        *piVar4 = iVar7;\n        return _REG_NOERROR;\n      }\n      puVar1[1] = 2;\n      if (iVar7 < iVar6) {\n        *piVar4 = iVar7;\n        piVar4[1] = iVar6;\n        return _REG_NOERROR;\n      }\n      *piVar4 = iVar6;\n      piVar4[1] = iVar7;\n      return _REG_NOERROR;\n    }\n    return _REG_ESPACE;" case number_literal : (expression_statement "*(byte *)((int)extra + 0x58) = *(byte *)((int)extra + 0x58) | 1;" (assignment_expression "*(byte *)((int)extra + 0x58) = *(byte *)((int)extra + 0x58) | 1" (pointer_expression "*(byte *)((int)extra + 0x58)" * (cast_expression "(byte *)((int)extra + 0x58)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)extra + 0x58)" ( (binary_expression "(int)extra + 0x58" (cast_expression "(int)extra" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (binary_expression "*(byte *)((int)extra + 0x58) | 1" (pointer_expression "*(byte *)((int)extra + 0x58)" * (cast_expression "(byte *)((int)extra + 0x58)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)extra + 0x58)" ( (binary_expression "(int)extra + 0x58" (cast_expression "(int)extra" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) | number_literal)) ;) (if_statement "if (node->left == (bin_tree_t *)0x0) {\n      iVar7 = node->next->node_idx;\n    }\n    else {\n      iVar7 = node->left->first->node_idx;\n    }" if (parenthesized_expression "(node->left == (bin_tree_t *)0x0)" ( (binary_expression "node->left == (bin_tree_t *)0x0" (field_expression "node->left" identifier -> field_identifier) == (cast_expression "(bin_tree_t *)0x0" ( (type_descriptor "bin_tree_t *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      iVar7 = node->next->node_idx;\n    }" { (expression_statement "iVar7 = node->next->node_idx;" (assignment_expression "iVar7 = node->next->node_idx" identifier = (field_expression "node->next->node_idx" (field_expression "node->next" identifier -> field_identifier) -> field_identifier)) ;) }) (else_clause "else {\n      iVar7 = node->left->first->node_idx;\n    }" else (compound_statement "{\n      iVar7 = node->left->first->node_idx;\n    }" { (expression_statement "iVar7 = node->left->first->node_idx;" (assignment_expression "iVar7 = node->left->first->node_idx" identifier = (field_expression "node->left->first->node_idx" (field_expression "node->left->first" (field_expression "node->left" identifier -> field_identifier) -> field_identifier) -> field_identifier)) ;) }))) (if_statement "if (node->right == (bin_tree_t *)0x0) {\n      iVar6 = node->next->node_idx;\n    }\n    else {\n      iVar6 = node->right->first->node_idx;\n    }" if (parenthesized_expression "(node->right == (bin_tree_t *)0x0)" ( (binary_expression "node->right == (bin_tree_t *)0x0" (field_expression "node->right" identifier -> field_identifier) == (cast_expression "(bin_tree_t *)0x0" ( (type_descriptor "bin_tree_t *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      iVar6 = node->next->node_idx;\n    }" { (expression_statement "iVar6 = node->next->node_idx;" (assignment_expression "iVar6 = node->next->node_idx" identifier = (field_expression "node->next->node_idx" (field_expression "node->next" identifier -> field_identifier) -> field_identifier)) ;) }) (else_clause "else {\n      iVar6 = node->right->first->node_idx;\n    }" else (compound_statement "{\n      iVar6 = node->right->first->node_idx;\n    }" { (expression_statement "iVar6 = node->right->first->node_idx;" (assignment_expression "iVar6 = node->right->first->node_idx" identifier = (field_expression "node->right->first->node_idx" (field_expression "node->right->first" (field_expression "node->right" identifier -> field_identifier) -> field_identifier) -> field_identifier)) ;) }))) (if_statement "if (iVar7 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }" if (parenthesized_expression "(iVar7 < 0)" ( (binary_expression "iVar7 < 0" identifier < number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }" { comment (expression_statement "__assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");" (call_expression "__assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes")" identifier (argument_list "("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes")" ( (string_literal ""left > -1"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (if_statement "if (iVar6 < 0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }" if (parenthesized_expression "(iVar6 < 0)" ( (binary_expression "iVar6 < 0" identifier < number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }" { comment (expression_statement "__assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");" (call_expression "__assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes")" identifier (argument_list "("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes")" ( (string_literal ""right > -1"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (expression_statement "puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc);" (assignment_expression "puVar1 = (undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc)" identifier = (cast_expression "(undefined4 *)(*(int *)((int)extra + 0x14) + iVar3 * 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)((int)extra + 0x14) + iVar3 * 0xc)" ( (binary_expression "*(int *)((int)extra + 0x14) + iVar3 * 0xc" (pointer_expression "*(int *)((int)extra + 0x14)" * (cast_expression "(int *)((int)extra + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)extra + 0x14)" ( (binary_expression "(int)extra + 0x14" (cast_expression "(int)extra" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) + (binary_expression "iVar3 * 0xc" identifier * number_literal)) )))) ;) (expression_statement "*puVar1 = 2;" (assignment_expression "*puVar1 = 2" (pointer_expression "*puVar1" * identifier) = number_literal) ;) (expression_statement "piVar4 = (int *)malloc(8);" (assignment_expression "piVar4 = (int *)malloc(8)" identifier = (cast_expression "(int *)malloc(8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "malloc(8)" identifier (argument_list "(8)" ( number_literal ))))) ;) (expression_statement "puVar1[2] = piVar4;" (assignment_expression "puVar1[2] = piVar4" (subscript_expression "puVar1[2]" identifier [ number_literal ]) = identifier) ;) (if_statement "if (piVar4 != (int *)0x0) {\n      if (iVar7 == iVar6) {\n        puVar1[1] = 1;\n        *piVar4 = iVar7;\n        return _REG_NOERROR;\n      }\n      puVar1[1] = 2;\n      if (iVar7 < iVar6) {\n        *piVar4 = iVar7;\n        piVar4[1] = iVar6;\n        return _REG_NOERROR;\n      }\n      *piVar4 = iVar6;\n      piVar4[1] = iVar7;\n      return _REG_NOERROR;\n    }" if (parenthesized_expression "(piVar4 != (int *)0x0)" ( (binary_expression "piVar4 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      if (iVar7 == iVar6) {\n        puVar1[1] = 1;\n        *piVar4 = iVar7;\n        return _REG_NOERROR;\n      }\n      puVar1[1] = 2;\n      if (iVar7 < iVar6) {\n        *piVar4 = iVar7;\n        piVar4[1] = iVar6;\n        return _REG_NOERROR;\n      }\n      *piVar4 = iVar6;\n      piVar4[1] = iVar7;\n      return _REG_NOERROR;\n    }" { (if_statement "if (iVar7 == iVar6) {\n        puVar1[1] = 1;\n        *piVar4 = iVar7;\n        return _REG_NOERROR;\n      }" if (parenthesized_expression "(iVar7 == iVar6)" ( (binary_expression "iVar7 == iVar6" identifier == identifier) )) (compound_statement "{\n        puVar1[1] = 1;\n        *piVar4 = iVar7;\n        return _REG_NOERROR;\n      }" { (expression_statement "puVar1[1] = 1;" (assignment_expression "puVar1[1] = 1" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*piVar4 = iVar7;" (assignment_expression "*piVar4 = iVar7" (pointer_expression "*piVar4" * identifier) = identifier) ;) (return_statement "return _REG_NOERROR;" return identifier ;) })) (expression_statement "puVar1[1] = 2;" (assignment_expression "puVar1[1] = 2" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (if_statement "if (iVar7 < iVar6) {\n        *piVar4 = iVar7;\n        piVar4[1] = iVar6;\n        return _REG_NOERROR;\n      }" if (parenthesized_expression "(iVar7 < iVar6)" ( (binary_expression "iVar7 < iVar6" identifier < identifier) )) (compound_statement "{\n        *piVar4 = iVar7;\n        piVar4[1] = iVar6;\n        return _REG_NOERROR;\n      }" { (expression_statement "*piVar4 = iVar7;" (assignment_expression "*piVar4 = iVar7" (pointer_expression "*piVar4" * identifier) = identifier) ;) (expression_statement "piVar4[1] = iVar6;" (assignment_expression "piVar4[1] = iVar6" (subscript_expression "piVar4[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return _REG_NOERROR;" return identifier ;) })) (expression_statement "*piVar4 = iVar6;" (assignment_expression "*piVar4 = iVar6" (pointer_expression "*piVar4" * identifier) = identifier) ;) (expression_statement "piVar4[1] = iVar7;" (assignment_expression "piVar4[1] = iVar7" (subscript_expression "piVar4[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return _REG_NOERROR;" return identifier ;) })) (return_statement "return _REG_ESPACE;" return identifier ;)) (case_statement "case 0x10:\n    break;" case number_literal : (break_statement "break;" break ;)) })) (return_statement "return _REG_NOERROR;" return identifier ;) })))
(translation_unit "undefined4 FUN_00017e20(int param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  int iVar2;\n  int *piVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  int iVar6;\n  undefined4 uVar7;\n  \n  iVar2 = *(int *)(param_2 + 0x1c);\n  switch(*(byte *)(param_2 + 0x18)) {\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }\n  return 0;\n}\n\n" (function_definition "undefined4 FUN_00017e20(int param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  int iVar2;\n  int *piVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  int iVar6;\n  undefined4 uVar7;\n  \n  iVar2 = *(int *)(param_2 + 0x1c);\n  switch(*(byte *)(param_2 + 0x18)) {\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }\n  return 0;\n}" type_identifier (function_declarator "FUN_00017e20(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  int iVar2;\n  int *piVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  int iVar6;\n  undefined4 uVar7;\n  \n  iVar2 = *(int *)(param_2 + 0x1c);\n  switch(*(byte *)(param_2 + 0x18)) {\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }\n  return 0;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (declaration "undefined4 *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "undefined4 uVar7;" type_identifier identifier ;) (expression_statement "iVar2 = *(int *)(param_2 + 0x1c);" (assignment_expression "iVar2 = *(int *)(param_2 + 0x1c)" identifier = (pointer_expression "*(int *)(param_2 + 0x1c)" * (cast_expression "(int *)(param_2 + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x1c)" ( (binary_expression "param_2 + 0x1c" identifier + number_literal) ))))) ;) (switch_statement "switch(*(byte *)(param_2 + 0x18)) {\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }" switch (parenthesized_expression "(*(byte *)(param_2 + 0x18))" ( (pointer_expression "*(byte *)(param_2 + 0x18)" * (cast_expression "(byte *)(param_2 + 0x18)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) )) (compound_statement "{\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }" { (case_statement "default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;" default : (if_statement "if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }" if (parenthesized_expression "((*(byte *)(param_2 + 0x18) & 8) != 0)" ( (binary_expression "(*(byte *)(param_2 + 0x18) & 8) != 0" (parenthesized_expression "(*(byte *)(param_2 + 0x18) & 8)" ( (binary_expression "*(byte *)(param_2 + 0x18) & 8" (pointer_expression "*(byte *)(param_2 + 0x18)" * (cast_expression "(byte *)(param_2 + 0x18)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) & number_literal) )) != number_literal) )) (compound_statement "{\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }" { (expression_statement "__assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");" (call_expression "__assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes")" identifier (argument_list "("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes")" ( (string_literal ""!IS_EPSILON_NODE (node->token.type)"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (expression_statement "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" (pointer_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" * (cast_expression "(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0xc) + iVar2 * 4)" ( (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4" (pointer_expression "*(int *)(param_1 + 0xc)" * (cast_expression "(int *)(param_1 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) + (binary_expression "iVar2 * 4" identifier * number_literal)) )))) = (pointer_expression "*(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" * (cast_expression "(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) ;) (break_statement "break;" break ;)) (case_statement "case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;" case number_literal : (if_statement "if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }" if (parenthesized_expression "(*(int *)(param_2 + 0x10) != 0)" ( (binary_expression "*(int *)(param_2 + 0x10) != 0" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }" { (expression_statement "__assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");" (call_expression "__assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes")" identifier (argument_list "("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes")" ( (string_literal ""node->next == NULL"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (break_statement "break;" break ;)) (case_statement "case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;" case number_literal : (expression_statement "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" identifier = (pointer_expression "*(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" * (cast_expression "(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) ;) (expression_statement "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;" (assignment_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7" (pointer_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" * (cast_expression "(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0xc) + iVar2 * 4)" ( (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4" (pointer_expression "*(int *)(param_1 + 0xc)" * (cast_expression "(int *)(param_1 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) + (binary_expression "iVar2 * 4" identifier * number_literal)) )))) = identifier) ;) (if_statement "if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;" if (parenthesized_expression "(*(char *)(param_2 + 0x18) == '\x04')" ( (binary_expression "*(char *)(param_2 + 0x18) == '\x04'" (pointer_expression "*(char *)(param_2 + 0x18)" * (cast_expression "(char *)(param_2 + 0x18)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) == (char_literal "'\x04'" ' escape_sequence ')) )) (goto_statement "goto code_r0x00017f56;" goto statement_identifier ;)) (break_statement "break;" break ;)) (case_statement "case 8:" case number_literal :) (case_statement "case 9:" case number_literal :) (case_statement "case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;" case number_literal : (expression_statement "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" identifier = (pointer_expression "*(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" * (cast_expression "(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) ;) (labeled_statement "code_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);" statement_identifier : (expression_statement "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);" (assignment_expression "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" identifier = (cast_expression "(undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" ( (binary_expression "*(int *)(param_1 + 0x14) + iVar2 * 0xc" (pointer_expression "*(int *)(param_1 + 0x14)" * (cast_expression "(int *)(param_1 + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x14)" ( (binary_expression "param_1 + 0x14" identifier + number_literal) )))) + (binary_expression "iVar2 * 0xc" identifier * number_literal)) )))) ;)) (expression_statement "*puVar1 = 1;" (assignment_expression "*puVar1 = 1" (pointer_expression "*puVar1" * identifier) = number_literal) ;) (expression_statement "puVar1[1] = 1;" (assignment_expression "puVar1[1] = 1" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "puVar4 = (undefined4 *)malloc(4);" (assignment_expression "puVar4 = (undefined4 *)malloc(4)" identifier = (cast_expression "(undefined4 *)malloc(4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "malloc(4)" identifier (argument_list "(4)" ( number_literal ))))) ;) (expression_statement "puVar1[2] = puVar4;" (assignment_expression "puVar1[2] = puVar4" (subscript_expression "puVar1[2]" identifier [ number_literal ]) = identifier) ;) (if_statement "if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\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      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }" { (expression_statement "puVar1[1] = 0;" (assignment_expression "puVar1[1] = 0" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*puVar1 = 0;" (assignment_expression "*puVar1 = 0" (pointer_expression "*puVar1" * identifier) = number_literal) ;) (return_statement "return 0xc;" return number_literal ;) })) (expression_statement "*puVar4 = uVar7;" (assignment_expression "*puVar4 = uVar7" (pointer_expression "*puVar4" * identifier) = identifier) ;) (return_statement "return 0;" return number_literal ;)) (case_statement "case 10:" case number_literal :) (case_statement "case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;" case number_literal : (expression_statement "*(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;" (assignment_expression "*(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1" (pointer_expression "*(byte *)(param_1 + 0x58)" * (cast_expression "(byte *)(param_1 + 0x58)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x58)" ( (binary_expression "param_1 + 0x58" identifier + number_literal) )))) = (binary_expression "*(byte *)(param_1 + 0x58) | 1" (pointer_expression "*(byte *)(param_1 + 0x58)" * (cast_expression "(byte *)(param_1 + 0x58)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x58)" ( (binary_expression "param_1 + 0x58" identifier + number_literal) )))) | number_literal)) ;) (if_statement "if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }" if (parenthesized_expression "(*(int *)(param_2 + 4) == 0)" ( (binary_expression "*(int *)(param_2 + 4) == 0" (pointer_expression "*(int *)(param_2 + 4)" * (cast_expression "(int *)(param_2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }" { (expression_statement "iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c)" identifier = (pointer_expression "*(int *)(*(int *)(param_2 + 0x10) + 0x1c)" * (cast_expression "(int *)(*(int *)(param_2 + 0x10) + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) ;) }) (else_clause "else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }" else (compound_statement "{\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }" { (expression_statement "iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);" (assignment_expression "iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" identifier = (pointer_expression "*(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" * (cast_expression "(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" ( (binary_expression "*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c" (pointer_expression "*(int *)(*(int *)(param_2 + 4) + 0xc)" * (cast_expression "(int *)(*(int *)(param_2 + 4) + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 4) + 0xc)" ( (binary_expression "*(int *)(param_2 + 4) + 0xc" (pointer_expression "*(int *)(param_2 + 4)" * (cast_expression "(int *)(param_2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) )))) + number_literal) )))) + number_literal) ))))) ;) }))) (if_statement "if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }" if (parenthesized_expression "(*(int *)(param_2 + 8) == 0)" ( (binary_expression "*(int *)(param_2 + 8) == 0" (pointer_expression "*(int *)(param_2 + 8)" * (cast_expression "(int *)(param_2 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 8)" ( (binary_expression "param_2 + 8" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }" { (expression_statement "iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c)" identifier = (pointer_expression "*(int *)(*(int *)(param_2 + 0x10) + 0x1c)" * (cast_expression "(int *)(*(int *)(param_2 + 0x10) + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) ;) }) (else_clause "else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }" else (compound_statement "{\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }" { (expression_statement "iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);" (assignment_expression "iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" identifier = (pointer_expression "*(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" * (cast_expression "(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" ( (binary_expression "*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c" (pointer_expression "*(int *)(*(int *)(param_2 + 8) + 0xc)" * (cast_expression "(int *)(*(int *)(param_2 + 8) + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 8) + 0xc)" ( (binary_expression "*(int *)(param_2 + 8) + 0xc" (pointer_expression "*(int *)(param_2 + 8)" * (cast_expression "(int *)(param_2 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 8)" ( (binary_expression "param_2 + 8" identifier + number_literal) )))) + number_literal) )))) + number_literal) ))))) ;) }))) (if_statement "if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }" if (parenthesized_expression "(iVar6 < 0)" ( (binary_expression "iVar6 < 0" identifier < number_literal) )) (compound_statement "{\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }" { (expression_statement "__assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");" (call_expression "__assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes")" identifier (argument_list "("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes")" ( (string_literal ""left > -1"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (if_statement "if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }" if (parenthesized_expression "(iVar5 < 0)" ( (binary_expression "iVar5 < 0" identifier < number_literal) )) (compound_statement "{\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }" { (expression_statement "__assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");" (call_expression "__assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes")" identifier (argument_list "("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes")" ( (string_literal ""right > -1"" " string_content ") , (string_literal ""lib/regcomp.c"" " string_content ") , number_literal , (string_literal ""link_nfa_nodes"" " string_content ") ))) ;) })) (expression_statement "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);" (assignment_expression "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" identifier = (cast_expression "(undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" ( (binary_expression "*(int *)(param_1 + 0x14) + iVar2 * 0xc" (pointer_expression "*(int *)(param_1 + 0x14)" * (cast_expression "(int *)(param_1 + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x14)" ( (binary_expression "param_1 + 0x14" identifier + number_literal) )))) + (binary_expression "iVar2 * 0xc" identifier * number_literal)) )))) ;) (expression_statement "*puVar1 = 2;" (assignment_expression "*puVar1 = 2" (pointer_expression "*puVar1" * identifier) = number_literal) ;) (expression_statement "piVar3 = (int *)malloc(8);" (assignment_expression "piVar3 = (int *)malloc(8)" identifier = (cast_expression "(int *)malloc(8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "malloc(8)" identifier (argument_list "(8)" ( number_literal ))))) ;) (expression_statement "puVar1[2] = piVar3;" (assignment_expression "puVar1[2] = piVar3" (subscript_expression "puVar1[2]" identifier [ number_literal ]) = identifier) ;) (if_statement "if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }" if (parenthesized_expression "(piVar3 != (int *)0x0)" ( (binary_expression "piVar3 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }" { (if_statement "if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }" if (parenthesized_expression "(iVar6 == iVar5)" ( (binary_expression "iVar6 == iVar5" identifier == identifier) )) (compound_statement "{\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }" { (expression_statement "puVar1[1] = 1;" (assignment_expression "puVar1[1] = 1" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*piVar3 = iVar6;" (assignment_expression "*piVar3 = iVar6" (pointer_expression "*piVar3" * identifier) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "puVar1[1] = 2;" (assignment_expression "puVar1[1] = 2" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = number_literal) ;) (if_statement "if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }" if (parenthesized_expression "(iVar6 < iVar5)" ( (binary_expression "iVar6 < iVar5" identifier < identifier) )) (compound_statement "{\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }" { (expression_statement "*piVar3 = iVar6;" (assignment_expression "*piVar3 = iVar6" (pointer_expression "*piVar3" * identifier) = identifier) ;) (expression_statement "piVar3[1] = iVar5;" (assignment_expression "piVar3[1] = iVar5" (subscript_expression "piVar3[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "*piVar3 = iVar5;" (assignment_expression "*piVar3 = iVar5" (pointer_expression "*piVar3" * identifier) = identifier) ;) (expression_statement "piVar3[1] = iVar6;" (assignment_expression "piVar3[1] = iVar6" (subscript_expression "piVar3[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) (return_statement "return 0xc;" return number_literal ;)) (case_statement "case 0x10:\n    break;" case number_literal : (break_statement "break;" break ;)) })) (return_statement "return 0;" 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 IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (switch_statement switch (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) )) (compound_statement { (case_statement default : (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) & LIT) )) != LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + (binary_expression IDENT * LIT)) )))) = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) ))))) ;) (break_statement break ;)) (case_statement case LIT : (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) != LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (break_statement break ;)) (case_statement case LIT : (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) ))))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + (binary_expression IDENT * LIT)) )))) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) == (char_literal ' escape_sequence ')) )) (goto_statement goto statement_identifier ;)) (break_statement break ;)) (case_statement case LIT :) (case_statement case LIT :) (case_statement case LIT : (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) ))))) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + (binary_expression IDENT * LIT)) )))) ;)) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( LIT ))))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (return_statement return LIT ;) })) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (return_statement return LIT ;)) (case_statement case LIT :) (case_statement case LIT : (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) | LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) ))))) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) )))) + LIT) ))))) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) ))))) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) )))) + LIT) ))))) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + (binary_expression IDENT * LIT)) )))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( LIT ))))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (return_statement return LIT ;) })) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return LIT ;) })) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return LIT ;) })) (return_statement return LIT ;)) (case_statement case LIT : (break_statement break ;)) })) (return_statement return LIT ;) })))
(function_definition "undefined4 FUN_00017e20(int param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  int iVar2;\n  int *piVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  int iVar6;\n  undefined4 uVar7;\n  \n  iVar2 = *(int *)(param_2 + 0x1c);\n  switch(*(byte *)(param_2 + 0x18)) {\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }\n  return 0;\n}" (type_identifier "undefined4") (function_declarator "FUN_00017e20(int param_1,int param_2)" (identifier "FUN_00017e20") (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  int iVar2;\n  int *piVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  int iVar6;\n  undefined4 uVar7;\n  \n  iVar2 = *(int *)(param_2 + 0x1c);\n  switch(*(byte *)(param_2 + 0x18)) {\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }\n  return 0;\n}" ({ "{") (declaration "undefined4 *puVar1;" (type_identifier "undefined4") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "int *piVar3;" (primitive_type "int") (pointer_declarator "*piVar3" (* "*") (identifier "piVar3")) (; ";")) (declaration "undefined4 *puVar4;" (type_identifier "undefined4") (pointer_declarator "*puVar4" (* "*") (identifier "puVar4")) (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (declaration "undefined4 uVar7;" (type_identifier "undefined4") (identifier "uVar7") (; ";")) (expression_statement "iVar2 = *(int *)(param_2 + 0x1c);" (assignment_expression "iVar2 = *(int *)(param_2 + 0x1c)" (identifier "iVar2") (= "=") (pointer_expression "*(int *)(param_2 + 0x1c)" (* "*") (cast_expression "(int *)(param_2 + 0x1c)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x1c)" (( "(") (binary_expression "param_2 + 0x1c" (identifier "param_2") (+ "+") (number_literal "0x1c")) () ")"))))) (; ";")) (switch_statement "switch(*(byte *)(param_2 + 0x18)) {\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }" (switch "switch") (parenthesized_expression "(*(byte *)(param_2 + 0x18))" (( "(") (pointer_expression "*(byte *)(param_2 + 0x18)" (* "*") (cast_expression "(byte *)(param_2 + 0x18)" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x18)" (( "(") (binary_expression "param_2 + 0x18" (identifier "param_2") (+ "+") (number_literal "0x18")) () ")")))) () ")")) (compound_statement "{\n  default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;\n  case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;\n  case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;\n  case 8:\n  case 9:\n  case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;\n  case 10:\n  case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;\n  case 0x10:\n    break;\n  }" ({ "{") (case_statement "default:\n    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    break;" (default "default") (: ":") (if_statement "if ((*(byte *)(param_2 + 0x18) & 8) != 0) {\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }" (if "if") (parenthesized_expression "((*(byte *)(param_2 + 0x18) & 8) != 0)" (( "(") (binary_expression "(*(byte *)(param_2 + 0x18) & 8) != 0" (parenthesized_expression "(*(byte *)(param_2 + 0x18) & 8)" (( "(") (binary_expression "*(byte *)(param_2 + 0x18) & 8" (pointer_expression "*(byte *)(param_2 + 0x18)" (* "*") (cast_expression "(byte *)(param_2 + 0x18)" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x18)" (( "(") (binary_expression "param_2 + 0x18" (identifier "param_2") (+ "+") (number_literal "0x18")) () ")")))) (& "&") (number_literal "8")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n                    \n      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");\n    }" ({ "{") (expression_statement "__assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");" (call_expression "__assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes")" (identifier "__assert_fail") (argument_list "("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes")" (( "(") (string_literal ""!IS_EPSILON_NODE (node->token.type)"" (" """) (string_content "!IS_EPSILON_NODE (node->token.type)") (" """)) (, ",") (string_literal ""lib/regcomp.c"" (" """) (string_content "lib/regcomp.c") (" """)) (, ",") (number_literal "0x5cc") (, ",") (string_literal ""link_nfa_nodes"" (" """) (string_content "link_nfa_nodes") (" """)) () ")"))) (; ";")) (} "}"))) (expression_statement "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =\n         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" (pointer_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" (* "*") (cast_expression "(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_1 + 0xc) + iVar2 * 4)" (( "(") (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4" (pointer_expression "*(int *)(param_1 + 0xc)" (* "*") (cast_expression "(int *)(param_1 + 0xc)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0xc)" (( "(") (binary_expression "param_1 + 0xc" (identifier "param_1") (+ "+") (number_literal "0xc")) () ")")))) (+ "+") (binary_expression "iVar2 * 4" (identifier "iVar2") (* "*") (number_literal "4"))) () ")")))) (= "=") (pointer_expression "*(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" (* "*") (cast_expression "(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" (( "(") (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" (* "*") (cast_expression "(int *)(param_2 + 0x10)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x10)" (( "(") (binary_expression "param_2 + 0x10" (identifier "param_2") (+ "+") (number_literal "0x10")) () ")")))) (+ "+") (number_literal "0x1c")) () ")"))))) (; ";")) (break_statement "break;" (break "break") (; ";"))) (case_statement "case 2:\n    if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }\n    break;" (case "case") (number_literal "2") (: ":") (if_statement "if (*(int *)(param_2 + 0x10) != 0) {\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }" (if "if") (parenthesized_expression "(*(int *)(param_2 + 0x10) != 0)" (( "(") (binary_expression "*(int *)(param_2 + 0x10) != 0" (pointer_expression "*(int *)(param_2 + 0x10)" (* "*") (cast_expression "(int *)(param_2 + 0x10)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x10)" (( "(") (binary_expression "param_2 + 0x10" (identifier "param_2") (+ "+") (number_literal "0x10")) () ")")))) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n                    \n      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");\n    }" ({ "{") (expression_statement "__assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");" (call_expression "__assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes")" (identifier "__assert_fail") (argument_list "("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes")" (( "(") (string_literal ""node->next == NULL"" (" """) (string_content "node->next == NULL") (" """)) (, ",") (string_literal ""lib/regcomp.c"" (" """) (string_content "lib/regcomp.c") (" """)) (, ",") (number_literal "0x5a9") (, ",") (string_literal ""link_nfa_nodes"" (" """) (string_content "link_nfa_nodes") (" """)) () ")"))) (; ";")) (} "}"))) (break_statement "break;" (break "break") (; ";"))) (case_statement "case 4:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\n    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;\n    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;\n    break;" (case "case") (number_literal "4") (: ":") (expression_statement "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" (identifier "uVar7") (= "=") (pointer_expression "*(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" (* "*") (cast_expression "(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" (( "(") (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" (* "*") (cast_expression "(int *)(param_2 + 0x10)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x10)" (( "(") (binary_expression "param_2 + 0x10" (identifier "param_2") (+ "+") (number_literal "0x10")) () ")")))) (+ "+") (number_literal "0x1c")) () ")"))))) (; ";")) (expression_statement "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;" (assignment_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7" (pointer_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" (* "*") (cast_expression "(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_1 + 0xc) + iVar2 * 4)" (( "(") (binary_expression "*(int *)(param_1 + 0xc) + iVar2 * 4" (pointer_expression "*(int *)(param_1 + 0xc)" (* "*") (cast_expression "(int *)(param_1 + 0xc)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0xc)" (( "(") (binary_expression "param_1 + 0xc" (identifier "param_1") (+ "+") (number_literal "0xc")) () ")")))) (+ "+") (binary_expression "iVar2 * 4" (identifier "iVar2") (* "*") (number_literal "4"))) () ")")))) (= "=") (identifier "uVar7")) (; ";")) (if_statement "if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;" (if "if") (parenthesized_expression "(*(char *)(param_2 + 0x18) == '\x04')" (( "(") (binary_expression "*(char *)(param_2 + 0x18) == '\x04'" (pointer_expression "*(char *)(param_2 + 0x18)" (* "*") (cast_expression "(char *)(param_2 + 0x18)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x18)" (( "(") (binary_expression "param_2 + 0x18" (identifier "param_2") (+ "+") (number_literal "0x18")) () ")")))) (== "==") (char_literal "'\x04'" (' "'") (escape_sequence "\x04") (' "'"))) () ")")) (goto_statement "goto code_r0x00017f56;" (goto "goto") (statement_identifier "code_r0x00017f56") (; ";"))) (break_statement "break;" (break "break") (; ";"))) (case_statement "case 8:" (case "case") (number_literal "8") (: ":")) (case_statement "case 9:" (case "case") (number_literal "9") (: ":")) (case_statement "case 0xc:\n    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);\ncode_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 1;\n    puVar1[1] = 1;\n    puVar4 = (undefined4 *)malloc(4);\n    puVar1[2] = puVar4;\n    if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }\n    *puVar4 = uVar7;\n    return 0;" (case "case") (number_literal "0xc") (: ":") (expression_statement "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" (identifier "uVar7") (= "=") (pointer_expression "*(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" (* "*") (cast_expression "(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" (( "(") (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" (* "*") (cast_expression "(int *)(param_2 + 0x10)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x10)" (( "(") (binary_expression "param_2 + 0x10" (identifier "param_2") (+ "+") (number_literal "0x10")) () ")")))) (+ "+") (number_literal "0x1c")) () ")"))))) (; ";")) (labeled_statement "code_r0x00017f56:\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);" (statement_identifier "code_r0x00017f56") (: ":") (expression_statement "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);" (assignment_expression "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" (identifier "puVar1") (= "=") (cast_expression "(undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" (( "(") (binary_expression "*(int *)(param_1 + 0x14) + iVar2 * 0xc" (pointer_expression "*(int *)(param_1 + 0x14)" (* "*") (cast_expression "(int *)(param_1 + 0x14)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x14)" (( "(") (binary_expression "param_1 + 0x14" (identifier "param_1") (+ "+") (number_literal "0x14")) () ")")))) (+ "+") (binary_expression "iVar2 * 0xc" (identifier "iVar2") (* "*") (number_literal "0xc"))) () ")")))) (; ";"))) (expression_statement "*puVar1 = 1;" (assignment_expression "*puVar1 = 1" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (number_literal "1")) (; ";")) (expression_statement "puVar1[1] = 1;" (assignment_expression "puVar1[1] = 1" (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]")) (= "=") (number_literal "1")) (; ";")) (expression_statement "puVar4 = (undefined4 *)malloc(4);" (assignment_expression "puVar4 = (undefined4 *)malloc(4)" (identifier "puVar4") (= "=") (cast_expression "(undefined4 *)malloc(4)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "malloc(4)" (identifier "malloc") (argument_list "(4)" (( "(") (number_literal "4") () ")"))))) (; ";")) (expression_statement "puVar1[2] = puVar4;" (assignment_expression "puVar1[2] = puVar4" (subscript_expression "puVar1[2]" (identifier "puVar1") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "puVar4")) (; ";")) (if_statement "if (puVar4 == (undefined4 *)0x0) {\n      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\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      puVar1[1] = 0;\n      *puVar1 = 0;\n      return 0xc;\n    }" ({ "{") (expression_statement "puVar1[1] = 0;" (assignment_expression "puVar1[1] = 0" (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]")) (= "=") (number_literal "0")) (; ";")) (expression_statement "*puVar1 = 0;" (assignment_expression "*puVar1 = 0" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (number_literal "0")) (; ";")) (return_statement "return 0xc;" (return "return") (number_literal "0xc") (; ";")) (} "}"))) (expression_statement "*puVar4 = uVar7;" (assignment_expression "*puVar4 = uVar7" (pointer_expression "*puVar4" (* "*") (identifier "puVar4")) (= "=") (identifier "uVar7")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";"))) (case_statement "case 10:" (case "case") (number_literal "10") (: ":")) (case_statement "case 0xb:\n    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;\n    if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }\n    if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }\n    if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }\n    if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }\n    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);\n    *puVar1 = 2;\n    piVar3 = (int *)malloc(8);\n    puVar1[2] = piVar3;\n    if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }\n    return 0xc;" (case "case") (number_literal "0xb") (: ":") (expression_statement "*(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;" (assignment_expression "*(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1" (pointer_expression "*(byte *)(param_1 + 0x58)" (* "*") (cast_expression "(byte *)(param_1 + 0x58)" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x58)" (( "(") (binary_expression "param_1 + 0x58" (identifier "param_1") (+ "+") (number_literal "0x58")) () ")")))) (= "=") (binary_expression "*(byte *)(param_1 + 0x58) | 1" (pointer_expression "*(byte *)(param_1 + 0x58)" (* "*") (cast_expression "(byte *)(param_1 + 0x58)" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x58)" (( "(") (binary_expression "param_1 + 0x58" (identifier "param_1") (+ "+") (number_literal "0x58")) () ")")))) (| "|") (number_literal "1"))) (; ";")) (if_statement "if (*(int *)(param_2 + 4) == 0) {\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }" (if "if") (parenthesized_expression "(*(int *)(param_2 + 4) == 0)" (( "(") (binary_expression "*(int *)(param_2 + 4) == 0" (pointer_expression "*(int *)(param_2 + 4)" (* "*") (cast_expression "(int *)(param_2 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 4)" (( "(") (binary_expression "param_2 + 4" (identifier "param_2") (+ "+") (number_literal "4")) () ")")))) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }" ({ "{") (expression_statement "iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c)" (identifier "iVar6") (= "=") (pointer_expression "*(int *)(*(int *)(param_2 + 0x10) + 0x1c)" (* "*") (cast_expression "(int *)(*(int *)(param_2 + 0x10) + 0x1c)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" (( "(") (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" (* "*") (cast_expression "(int *)(param_2 + 0x10)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x10)" (( "(") (binary_expression "param_2 + 0x10" (identifier "param_2") (+ "+") (number_literal "0x10")) () ")")))) (+ "+") (number_literal "0x1c")) () ")"))))) (; ";")) (} "}")) (else_clause "else {\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }" (else "else") (compound_statement "{\n      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);\n    }" ({ "{") (expression_statement "iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);" (assignment_expression "iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" (identifier "iVar6") (= "=") (pointer_expression "*(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" (* "*") (cast_expression "(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c)" (( "(") (binary_expression "*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c" (pointer_expression "*(int *)(*(int *)(param_2 + 4) + 0xc)" (* "*") (cast_expression "(int *)(*(int *)(param_2 + 4) + 0xc)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_2 + 4) + 0xc)" (( "(") (binary_expression "*(int *)(param_2 + 4) + 0xc" (pointer_expression "*(int *)(param_2 + 4)" (* "*") (cast_expression "(int *)(param_2 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 4)" (( "(") (binary_expression "param_2 + 4" (identifier "param_2") (+ "+") (number_literal "4")) () ")")))) (+ "+") (number_literal "0xc")) () ")")))) (+ "+") (number_literal "0x1c")) () ")"))))) (; ";")) (} "}")))) (if_statement "if (*(int *)(param_2 + 8) == 0) {\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }\n    else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }" (if "if") (parenthesized_expression "(*(int *)(param_2 + 8) == 0)" (( "(") (binary_expression "*(int *)(param_2 + 8) == 0" (pointer_expression "*(int *)(param_2 + 8)" (* "*") (cast_expression "(int *)(param_2 + 8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 8)" (( "(") (binary_expression "param_2 + 8" (identifier "param_2") (+ "+") (number_literal "8")) () ")")))) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);\n    }" ({ "{") (expression_statement "iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);" (assignment_expression "iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c)" (identifier "iVar5") (= "=") (pointer_expression "*(int *)(*(int *)(param_2 + 0x10) + 0x1c)" (* "*") (cast_expression "(int *)(*(int *)(param_2 + 0x10) + 0x1c)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0x1c)" (( "(") (binary_expression "*(int *)(param_2 + 0x10) + 0x1c" (pointer_expression "*(int *)(param_2 + 0x10)" (* "*") (cast_expression "(int *)(param_2 + 0x10)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x10)" (( "(") (binary_expression "param_2 + 0x10" (identifier "param_2") (+ "+") (number_literal "0x10")) () ")")))) (+ "+") (number_literal "0x1c")) () ")"))))) (; ";")) (} "}")) (else_clause "else {\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }" (else "else") (compound_statement "{\n      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);\n    }" ({ "{") (expression_statement "iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);" (assignment_expression "iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" (identifier "iVar5") (= "=") (pointer_expression "*(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" (* "*") (cast_expression "(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c)" (( "(") (binary_expression "*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c" (pointer_expression "*(int *)(*(int *)(param_2 + 8) + 0xc)" (* "*") (cast_expression "(int *)(*(int *)(param_2 + 8) + 0xc)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_2 + 8) + 0xc)" (( "(") (binary_expression "*(int *)(param_2 + 8) + 0xc" (pointer_expression "*(int *)(param_2 + 8)" (* "*") (cast_expression "(int *)(param_2 + 8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 8)" (( "(") (binary_expression "param_2 + 8" (identifier "param_2") (+ "+") (number_literal "8")) () ")")))) (+ "+") (number_literal "0xc")) () ")")))) (+ "+") (number_literal "0x1c")) () ")"))))) (; ";")) (} "}")))) (if_statement "if (iVar6 < 0) {\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }" (if "if") (parenthesized_expression "(iVar6 < 0)" (( "(") (binary_expression "iVar6 < 0" (identifier "iVar6") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n                    \n      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");\n    }" ({ "{") (expression_statement "__assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");" (call_expression "__assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes")" (identifier "__assert_fail") (argument_list "("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes")" (( "(") (string_literal ""left > -1"" (" """) (string_content "left > -1") (" """)) (, ",") (string_literal ""lib/regcomp.c"" (" """) (string_content "lib/regcomp.c") (" """)) (, ",") (number_literal "0x5b9") (, ",") (string_literal ""link_nfa_nodes"" (" """) (string_content "link_nfa_nodes") (" """)) () ")"))) (; ";")) (} "}"))) (if_statement "if (iVar5 < 0) {\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }" (if "if") (parenthesized_expression "(iVar5 < 0)" (( "(") (binary_expression "iVar5 < 0" (identifier "iVar5") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n                    \n      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");\n    }" ({ "{") (expression_statement "__assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");" (call_expression "__assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes")" (identifier "__assert_fail") (argument_list "("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes")" (( "(") (string_literal ""right > -1"" (" """) (string_content "right > -1") (" """)) (, ",") (string_literal ""lib/regcomp.c"" (" """) (string_content "lib/regcomp.c") (" """)) (, ",") (number_literal "0x5ba") (, ",") (string_literal ""link_nfa_nodes"" (" """) (string_content "link_nfa_nodes") (" """)) () ")"))) (; ";")) (} "}"))) (expression_statement "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);" (assignment_expression "puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" (identifier "puVar1") (= "=") (cast_expression "(undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_1 + 0x14) + iVar2 * 0xc)" (( "(") (binary_expression "*(int *)(param_1 + 0x14) + iVar2 * 0xc" (pointer_expression "*(int *)(param_1 + 0x14)" (* "*") (cast_expression "(int *)(param_1 + 0x14)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x14)" (( "(") (binary_expression "param_1 + 0x14" (identifier "param_1") (+ "+") (number_literal "0x14")) () ")")))) (+ "+") (binary_expression "iVar2 * 0xc" (identifier "iVar2") (* "*") (number_literal "0xc"))) () ")")))) (; ";")) (expression_statement "*puVar1 = 2;" (assignment_expression "*puVar1 = 2" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (number_literal "2")) (; ";")) (expression_statement "piVar3 = (int *)malloc(8);" (assignment_expression "piVar3 = (int *)malloc(8)" (identifier "piVar3") (= "=") (cast_expression "(int *)malloc(8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "malloc(8)" (identifier "malloc") (argument_list "(8)" (( "(") (number_literal "8") () ")"))))) (; ";")) (expression_statement "puVar1[2] = piVar3;" (assignment_expression "puVar1[2] = piVar3" (subscript_expression "puVar1[2]" (identifier "puVar1") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "piVar3")) (; ";")) (if_statement "if (piVar3 != (int *)0x0) {\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }" (if "if") (parenthesized_expression "(piVar3 != (int *)0x0)" (( "(") (binary_expression "piVar3 != (int *)0x0" (identifier "piVar3") (!= "!=") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n      if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }\n      puVar1[1] = 2;\n      if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }\n      *piVar3 = iVar5;\n      piVar3[1] = iVar6;\n      return 0;\n    }" ({ "{") (if_statement "if (iVar6 == iVar5) {\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }" (if "if") (parenthesized_expression "(iVar6 == iVar5)" (( "(") (binary_expression "iVar6 == iVar5" (identifier "iVar6") (== "==") (identifier "iVar5")) () ")")) (compound_statement "{\n        puVar1[1] = 1;\n        *piVar3 = iVar6;\n        return 0;\n      }" ({ "{") (expression_statement "puVar1[1] = 1;" (assignment_expression "puVar1[1] = 1" (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]")) (= "=") (number_literal "1")) (; ";")) (expression_statement "*piVar3 = iVar6;" (assignment_expression "*piVar3 = iVar6" (pointer_expression "*piVar3" (* "*") (identifier "piVar3")) (= "=") (identifier "iVar6")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "puVar1[1] = 2;" (assignment_expression "puVar1[1] = 2" (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]")) (= "=") (number_literal "2")) (; ";")) (if_statement "if (iVar6 < iVar5) {\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }" (if "if") (parenthesized_expression "(iVar6 < iVar5)" (( "(") (binary_expression "iVar6 < iVar5" (identifier "iVar6") (< "<") (identifier "iVar5")) () ")")) (compound_statement "{\n        *piVar3 = iVar6;\n        piVar3[1] = iVar5;\n        return 0;\n      }" ({ "{") (expression_statement "*piVar3 = iVar6;" (assignment_expression "*piVar3 = iVar6" (pointer_expression "*piVar3" (* "*") (identifier "piVar3")) (= "=") (identifier "iVar6")) (; ";")) (expression_statement "piVar3[1] = iVar5;" (assignment_expression "piVar3[1] = iVar5" (subscript_expression "piVar3[1]" (identifier "piVar3") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "iVar5")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "*piVar3 = iVar5;" (assignment_expression "*piVar3 = iVar5" (pointer_expression "*piVar3" (* "*") (identifier "piVar3")) (= "=") (identifier "iVar5")) (; ";")) (expression_statement "piVar3[1] = iVar6;" (assignment_expression "piVar3[1] = iVar6" (subscript_expression "piVar3[1]" (identifier "piVar3") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "iVar6")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (return_statement "return 0xc;" (return "return") (number_literal "0xc") (; ";"))) (case_statement "case 0x10:\n    break;" (case "case") (number_literal "0x10") (: ":") (break_statement "break;" (break "break") (; ";"))) (} "}"))) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

type_1 function_1(void *extra,type_2 *node)

{
  type_3 *puVar1;
  type_4 var_1;
  int var_3;
  int *var_8;
  type_5 *var_5;
  int var_7;
  int var_6;
  type_5 IVar8;
  
  var_1 = (node->token).field_0x4;
  var_3 = node->node_idx;
  switch(var_1) {
  default:
    if ((var_1 & 8) != 0) {
                    /* WARNING: Subroutine does not return */
      var_2("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");
    }
    *(type_5 *)(*(int *)((int)extra + 0xc) + var_3 * 4) = node->next->node_idx;
    break;
  case 2:
    if (node->next != (type_2 *)0x0) {
                    /* WARNING: Subroutine does not return */
      var_2("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");
    }
    break;
  case 4:
    IVar8 = node->next->node_idx;
    *(type_5 *)(*(int *)((int)extra + 0xc) + var_3 * 4) = IVar8;
    if ((node->token).field_0x4 == '\x04') goto LAB_00017f56;
    break;
  case 8:
  case 9:
  case 0xc:
    IVar8 = node->next->node_idx;
LAB_00017f56:
    puVar1 = (type_3 *)(*(int *)((int)extra + 0x14) + var_3 * 0xc);
    *puVar1 = 1;
    puVar1[1] = 1;
    var_5 = (type_5 *)var_4(4);
    puVar1[2] = var_5;
    if (var_5 == (type_5 *)0x0) {
      puVar1[1] = 0;
      *puVar1 = 0;
      return _REG_ESPACE;
    }
    *var_5 = IVar8;
    return _REG_NOERROR;
  case 10:
  case 0xb:
    *(type_4 *)((int)extra + 0x58) = *(type_4 *)((int)extra + 0x58) | 1;
    if (node->left == (type_2 *)0x0) {
      var_6 = node->next->node_idx;
    }
    else {
      var_6 = node->left->first->node_idx;
    }
    if (node->right == (type_2 *)0x0) {
      var_7 = node->next->node_idx;
    }
    else {
      var_7 = node->right->first->node_idx;
    }
    if (var_6 < 0) {
                    /* WARNING: Subroutine does not return */
      var_2("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");
    }
    if (var_7 < 0) {
                    /* WARNING: Subroutine does not return */
      var_2("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");
    }
    puVar1 = (type_3 *)(*(int *)((int)extra + 0x14) + var_3 * 0xc);
    *puVar1 = 2;
    var_8 = (int *)var_4(8);
    puVar1[2] = var_8;
    if (var_8 != (int *)0x0) {
      if (var_6 == var_7) {
        puVar1[1] = 1;
        *var_8 = var_6;
        return _REG_NOERROR;
      }
      puVar1[1] = 2;
      if (var_6 < var_7) {
        *var_8 = var_6;
        var_8[1] = var_7;
        return _REG_NOERROR;
      }
      *var_8 = var_7;
      var_8[1] = var_6;
      return _REG_NOERROR;
    }
    return _REG_ESPACE;
  case 0x10:
    break;
  }
  return _REG_NOERROR;
}


(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: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (switch_statement condition: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) body: (compound_statement (case_statement (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal) (string_literal (string_content))))))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (binary_expression left: (identifier) right: (number_literal)))))) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))))))) (break_statement)) (case_statement value: (number_literal) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal) (string_literal (string_content))))))) (break_statement)) (case_statement value: (number_literal) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))))))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (binary_expression left: (identifier) right: (number_literal)))))) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (char_literal (escape_sequence)))) consequence: (goto_statement label: (statement_identifier))) (break_statement)) (case_statement value: (number_literal)) (case_statement value: (number_literal)) (case_statement value: (number_literal) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))))))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (binary_expression left: (identifier) right: (number_literal)))))))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (call_expression function: (identifier) arguments: (argument_list (number_literal)))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) 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: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (return_statement (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (return_statement (number_literal))) (case_statement value: (number_literal)) (case_statement value: (number_literal) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal)))))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))))) right: (number_literal)))))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal)))))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))))) right: (number_literal)))))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal) (string_literal (string_content))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal) (string_literal (string_content))))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (call_expression function: (identifier) arguments: (argument_list (number_literal)))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (return_statement (number_literal)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (return_statement (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (return_statement (number_literal)))) (return_statement (number_literal))) (case_statement value: (number_literal) (break_statement)))) (return_statement (number_literal)))))

/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

undefined4 MASKED(int param_1,int param_2)

{
  undefined4 *puVar1;
  int iVar2;
  int *piVar3;
  undefined4 *puVar4;
  int iVar5;
  int iVar6;
  undefined4 uVar7;
  
  iVar2 = *(int *)(param_2 + 0x1c);
  switch(*(byte *)(param_2 + 0x18)) {
  default:
    if ((*(byte *)(param_2 + 0x18) & 8) != 0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("!IS_EPSILON_NODE (node->token.type)","lib/regcomp.c",0x5cc,"link_nfa_nodes");
    }
    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) =
         *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);
    break;
  case 2:
    if (*(int *)(param_2 + 0x10) != 0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("node->next == NULL","lib/regcomp.c",0x5a9,"link_nfa_nodes");
    }
    break;
  case 4:
    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);
    *(undefined4 *)(*(int *)(param_1 + 0xc) + iVar2 * 4) = uVar7;
    if (*(char *)(param_2 + 0x18) == '\x04') goto code_r0x00017f56;
    break;
  case 8:
  case 9:
  case 0xc:
    uVar7 = *(undefined4 *)(*(int *)(param_2 + 0x10) + 0x1c);
code_r0x00017f56:
    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);
    *puVar1 = 1;
    puVar1[1] = 1;
    puVar4 = (undefined4 *)malloc(4);
    puVar1[2] = puVar4;
    if (puVar4 == (undefined4 *)0x0) {
      puVar1[1] = 0;
      *puVar1 = 0;
      return 0xc;
    }
    *puVar4 = uVar7;
    return 0;
  case 10:
  case 0xb:
    *(byte *)(param_1 + 0x58) = *(byte *)(param_1 + 0x58) | 1;
    if (*(int *)(param_2 + 4) == 0) {
      iVar6 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);
    }
    else {
      iVar6 = *(int *)(*(int *)(*(int *)(param_2 + 4) + 0xc) + 0x1c);
    }
    if (*(int *)(param_2 + 8) == 0) {
      iVar5 = *(int *)(*(int *)(param_2 + 0x10) + 0x1c);
    }
    else {
      iVar5 = *(int *)(*(int *)(*(int *)(param_2 + 8) + 0xc) + 0x1c);
    }
    if (iVar6 < 0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("left > -1","lib/regcomp.c",0x5b9,"link_nfa_nodes");
    }
    if (iVar5 < 0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("right > -1","lib/regcomp.c",0x5ba,"link_nfa_nodes");
    }
    puVar1 = (undefined4 *)(*(int *)(param_1 + 0x14) + iVar2 * 0xc);
    *puVar1 = 2;
    piVar3 = (int *)malloc(8);
    puVar1[2] = piVar3;
    if (piVar3 != (int *)0x0) {
      if (iVar6 == iVar5) {
        puVar1[1] = 1;
        *piVar3 = iVar6;
        return 0;
      }
      puVar1[1] = 2;
      if (iVar6 < iVar5) {
        *piVar3 = iVar6;
        piVar3[1] = iVar5;
        return 0;
      }
      *piVar3 = iVar5;
      piVar3[1] = iVar6;
      return 0;
    }
    return 0xc;
  case 0x10:
    break;
  }
  return 0;
}

