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

void __gmpz_setbit(mpz_ptr d,mp_bitcnt_t bit_idx)

{
  uint *puVar1;
  mp_limb_t mVar2;
  mp_limb_t *pmVar3;
  uint *puVar4;
  int iVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  mp_limb_t dlimb;
  uint uVar9;
  
  uVar8 = d->_mp_size;
  uVar9 = 1 << ((byte)bit_idx & 0x1f);
  pmVar3 = d->_mp_d;
  uVar7 = bit_idx >> 5;
  if ((int)uVar8 < 0) {
    if (SBORROW4(uVar7,-uVar8) != (int)(uVar7 + uVar8) < 0) {
      uVar6 = 0;
      mVar2 = *pmVar3;
      while (mVar2 == 0) {
        uVar6 = uVar6 + 1;
        mVar2 = pmVar3[uVar6];
      }
      puVar4 = pmVar3 + uVar7;
      if (uVar7 == uVar6 || (int)uVar7 < (int)uVar6) {
        if (uVar7 == uVar6) {
          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;
        }
        else {
          uVar7 = *puVar4;
          *puVar4 = *puVar4 - uVar9;
          if (uVar7 < uVar9) {
            do {
              puVar1 = puVar4 + 1;
              uVar7 = *puVar1;
              *puVar1 = *puVar1 - 1;
              puVar4 = puVar4 + 1;
            } while (uVar7 == 0);
          }
          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);
        }
      }
      else {
        *puVar4 = *puVar4 & ~uVar9;
        if ((*puVar4 == 0) + uVar7 == -uVar8) {
          uVar8 = -uVar7;
          if (pmVar3[uVar7 - 1] == 0) {
            do {
              uVar9 = uVar7;
              uVar8 = uVar9 - 1;
              if (uVar8 == 0) goto LAB_00031b91;
              uVar7 = uVar8;
            } while (pmVar3[uVar9 - 2] == 0);
            uVar8 = 1 - uVar9;
          }
LAB_00031b91:
          d->_mp_size = uVar8;
        }
      }
    }
  }
  else {
    if ((int)uVar8 <= (int)uVar7) {
      if (d->_mp_alloc <= (int)uVar7) {
        pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);
      }
      d->_mp_size = uVar7 + 1;
      if (uVar8 != uVar7) {
        iVar5 = 0;
        do {
          pmVar3[uVar8 + iVar5] = 0;
          iVar5 = iVar5 + 1;
        } while (iVar5 != uVar7 - uVar8);
      }
      pmVar3[uVar7] = uVar9;
      return;
    }
    pmVar3[uVar7] = pmVar3[uVar7] | uVar9;
  }
  return;
}



void __regparm2 __gmpz_setbit(undefined4 param_1,undefined4 param_2,uint param_3)

{
  uint *puVar1;
  int *piVar2;
  uint *puVar3;
  uint uVar4;
  uint uVar5;
  int iVar6;
  uint uVar7;
  int *unaff_retaddr;
  
  iVar6 = 1;
  entry(param_2,0x31a5e);
  uVar5 = unaff_retaddr[1];
  uVar7 = iVar6 << ((byte)param_3 & 0x1f);
  piVar2 = (int *)unaff_retaddr[2];
  param_3 = param_3 >> 5;
  if ((int)uVar5 < 0) {
    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {
      uVar4 = 0;
      iVar6 = *piVar2;
      while (iVar6 == 0) {
        uVar4 = uVar4 + 1;
        iVar6 = piVar2[uVar4];
      }
      puVar3 = (uint *)(piVar2 + param_3);
      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {
        if (param_3 == uVar4) {
          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;
        }
        else {
          uVar4 = *puVar3;
          *puVar3 = *puVar3 - uVar7;
          if (uVar4 < uVar7) {
            do {
              puVar1 = puVar3 + 1;
              uVar7 = *puVar1;
              *puVar1 = *puVar1 - 1;
              puVar3 = puVar3 + 1;
            } while (uVar7 == 0);
          }
          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);
        }
      }
      else {
        *puVar3 = *puVar3 & ~uVar7;
        if ((*puVar3 == 0) + param_3 == -uVar5) {
          uVar5 = -param_3;
          if (piVar2[param_3 - 1] == 0) {
            do {
              uVar7 = param_3;
              uVar5 = uVar7 - 1;
              if (uVar5 == 0) goto LAB_00031b91;
              param_3 = uVar5;
            } while (piVar2[uVar7 - 2] == 0);
            uVar5 = 1 - uVar7;
          }
LAB_00031b91:
          unaff_retaddr[1] = uVar5;
        }
      }
    }
  }
  else {
    if ((int)uVar5 <= (int)param_3) {
      if (*unaff_retaddr <= (int)param_3) {
        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);
      }
      unaff_retaddr[1] = param_3 + 1;
      if (uVar5 != param_3) {
        iVar6 = 0;
        do {
          piVar2[uVar5 + iVar6] = 0;
          iVar6 = iVar6 + 1;
        } while (iVar6 != param_3 - uVar5);
      }
      piVar2[param_3] = uVar7;
      return;
    }
    piVar2[param_3] = piVar2[param_3] | uVar7;
  }
  return;
}


PUSH EBP
PUSH EDI
MOV EDI,0x1
PUSH ESI
PUSH EBX
CALL 0x0001c340
ADD EBX,0x675a2
SUB ESP,0x1c
MOV ECX,dword ptr [ESP + 0x34]
MOV EAX,dword ptr [ESP + 0x30]
MOV ESI,ECX
MOV EBP,dword ptr [EAX + 0x4]
SHL EDI,CL
MOV EAX,dword ptr [EAX + 0x8]
SHR ESI,0x5
MOV dword ptr [ESP + 0x8],ESI
TEST EBP,EBP
JS 0x00031ae8
LEA EDX,[ESI*0x4 + 0x0]
CMP EBP,ESI
JLE 0x00031aa0
OR dword ptr [EAX + EDX*0x1],EDI
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV ECX,dword ptr [ESP + 0x30]
LEA EDX,[ESI + 0x1]
CMP dword ptr [ECX],ESI
JLE 0x00031bb8
MOV EBX,dword ptr [ESP + 0x30]
MOV dword ptr [EBX + 0x4],EDX
CMP EBP,ESI
JZ 0x00031ad6
MOV ECX,ESI
LEA EBX,[EAX + EBP*0x4]
XOR EDX,EDX
SUB ECX,EBP
LEA ESI,[ESI]
NOP
MOV dword ptr [EBX + EDX*0x4],0x0
ADD EDX,0x1
CMP EDX,ECX
JNZ 0x00031ac8
MOV dword ptr [EAX + ESI*0x4],EDI
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV EBX,EBP
NEG EBX
CMP ESI,EBX
JGE 0x00031a92
MOV ECX,dword ptr [EAX]
XOR EDX,EDX
TEST ECX,ECX
JNZ 0x00031b0a
LEA ESI,[ESI]
NOP
ADD EDX,0x1
MOV ECX,dword ptr [EAX + EDX*0x4]
TEST ECX,ECX
JZ 0x00031b00
LEA ECX,[ESI*0x4 + 0x0]
MOV dword ptr [ESP + 0xc],ECX
ADD ECX,EAX
CMP ESI,EDX
JG 0x00031b50
JZ 0x00031ba0
SUB dword ptr [ECX],EDI
JNC 0x00031b2e
SUB dword ptr [ECX + 0x4],0x1
LEA ECX,[ECX + 0x4]
JC 0x00031b25
MOV EDX,0x3fffffff
SUB EDX,EBP
MOV EAX,dword ptr [EAX + EDX*0x4]
TEST EAX,EAX
SETZ AL
MOVZX EAX,AL
ADD EBP,EAX
MOV EAX,dword ptr [ESP + 0x30]
MOV dword ptr [EAX + 0x4],EBP
JMP 0x00031a92
XOR EDX,EDX
NOT EDI
AND dword ptr [ECX],EDI
SETZ DL
ADD EDX,ESI
CMP EDX,EBX
JNZ 0x00031a92
MOV EDI,dword ptr [ESP + 0xc]
NEG ESI
MOV EBX,dword ptr [EAX + EDI*0x1 + -0x4]
TEST EBX,EBX
JNZ 0x00031b91
MOV EDX,dword ptr [ESP + 0x8]
JMP 0x00031b8a
MOV ECX,dword ptr [EAX + ESI*0x4 + -0x4]
TEST ECX,ECX
JNZ 0x00031bd5
MOV EDX,ESI
MOV ESI,EDX
SUB ESI,0x1
JNZ 0x00031b80
MOV EAX,dword ptr [ESP + 0x30]
MOV dword ptr [EAX + 0x4],ESI
JMP 0x00031a92
MOV EAX,dword ptr [ECX]
NOT EDI
SUB EAX,0x1
AND EDI,EAX
LEA EAX,[EDI + 0x1]
MOV dword ptr [ECX],EAX
JMP 0x00031a92
SUB ESP,0x8
PUSH EDX
MOV dword ptr [ESP + 0x14],EDX
PUSH dword ptr [ESP + 0x3c]
CALL 0x0001b190
ADD ESP,0x10
MOV EDX,dword ptr [ESP + 0x8]
JMP 0x00031aaf
MOV ESI,0x1
SUB ESI,EDX
JMP 0x00031b91
(translation_unit "void __regparm2 __gmpz_setbit(undefined4 param_1,undefined4 param_2,uint param_3)\n\n{\n  uint *puVar1;\n  int *piVar2;\n  uint *puVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int *unaff_retaddr;\n  \n  iVar6 = 1;\n  entry(param_2,0x31a5e);\n  uVar5 = unaff_retaddr[1];\n  uVar7 = iVar6 << ((byte)param_3 & 0x1f);\n  piVar2 = (int *)unaff_retaddr[2];\n  param_3 = param_3 >> 5;\n  if ((int)uVar5 < 0) {\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }\n  return;\n}\n\n" (function_definition "void __regparm2 __gmpz_setbit(undefined4 param_1,undefined4 param_2,uint param_3)\n\n{\n  uint *puVar1;\n  int *piVar2;\n  uint *puVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int *unaff_retaddr;\n  \n  iVar6 = 1;\n  entry(param_2,0x31a5e);\n  uVar5 = unaff_retaddr[1];\n  uVar7 = iVar6 << ((byte)param_3 & 0x1f);\n  piVar2 = (int *)unaff_retaddr[2];\n  param_3 = param_3 >> 5;\n  if ((int)uVar5 < 0) {\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }\n  return;\n}" primitive_type (ERROR "__regparm2" identifier) (function_declarator "__gmpz_setbit(undefined4 param_1,undefined4 param_2,uint param_3)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,uint param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  uint *puVar1;\n  int *piVar2;\n  uint *puVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int *unaff_retaddr;\n  \n  iVar6 = 1;\n  entry(param_2,0x31a5e);\n  uVar5 = unaff_retaddr[1];\n  uVar7 = iVar6 << ((byte)param_3 & 0x1f);\n  piVar2 = (int *)unaff_retaddr[2];\n  param_3 = param_3 >> 5;\n  if ((int)uVar5 < 0) {\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (declaration "uint *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "int *unaff_retaddr;" primitive_type (pointer_declarator "*unaff_retaddr" * identifier) ;) (expression_statement "iVar6 = 1;" (assignment_expression "iVar6 = 1" identifier = number_literal) ;) (expression_statement "entry(param_2,0x31a5e);" (call_expression "entry(param_2,0x31a5e)" identifier (argument_list "(param_2,0x31a5e)" ( identifier , number_literal ))) ;) (expression_statement "uVar5 = unaff_retaddr[1];" (assignment_expression "uVar5 = unaff_retaddr[1]" identifier = (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ])) ;) (expression_statement "uVar7 = iVar6 << ((byte)param_3 & 0x1f);" (assignment_expression "uVar7 = iVar6 << ((byte)param_3 & 0x1f)" identifier = (binary_expression "iVar6 << ((byte)param_3 & 0x1f)" identifier << (parenthesized_expression "((byte)param_3 & 0x1f)" ( (binary_expression "(byte)param_3 & 0x1f" (cast_expression "(byte)param_3" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (expression_statement "piVar2 = (int *)unaff_retaddr[2];" (assignment_expression "piVar2 = (int *)unaff_retaddr[2]" identifier = (cast_expression "(int *)unaff_retaddr[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "unaff_retaddr[2]" identifier [ number_literal ]))) ;) (expression_statement "param_3 = param_3 >> 5;" (assignment_expression "param_3 = param_3 >> 5" identifier = (binary_expression "param_3 >> 5" identifier >> number_literal)) ;) (if_statement "if ((int)uVar5 < 0) {\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }" if (parenthesized_expression "((int)uVar5 < 0)" ( (binary_expression "(int)uVar5 < 0" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }" { (if_statement "if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }" if (parenthesized_expression "(SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0)" ( (binary_expression "SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0" (call_expression "SBORROW4(param_3,-uVar5)" identifier (argument_list "(param_3,-uVar5)" ( identifier , (unary_expression "-uVar5" - identifier) ))) != (binary_expression "(int)(param_3 + uVar5) < 0" (cast_expression "(int)(param_3 + uVar5)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(param_3 + uVar5)" ( (binary_expression "param_3 + uVar5" identifier + identifier) ))) < number_literal)) )) (compound_statement "{\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }" { (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "iVar6 = *piVar2;" (assignment_expression "iVar6 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (while_statement "while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }" while (parenthesized_expression "(iVar6 == 0)" ( (binary_expression "iVar6 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }" { (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (expression_statement "iVar6 = piVar2[uVar4];" (assignment_expression "iVar6 = piVar2[uVar4]" identifier = (subscript_expression "piVar2[uVar4]" identifier [ identifier ])) ;) })) (expression_statement "puVar3 = (uint *)(piVar2 + param_3);" (assignment_expression "puVar3 = (uint *)(piVar2 + param_3)" identifier = (cast_expression "(uint *)(piVar2 + param_3)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(piVar2 + param_3)" ( (binary_expression "piVar2 + param_3" identifier + identifier) )))) ;) (if_statement "if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }" if (parenthesized_expression "(param_3 == uVar4 || (int)param_3 < (int)uVar4)" ( (binary_expression "param_3 == uVar4 || (int)param_3 < (int)uVar4" (binary_expression "param_3 == uVar4" identifier == identifier) || (binary_expression "(int)param_3 < (int)uVar4" (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier))) )) (compound_statement "{\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }" { (if_statement "if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }" if (parenthesized_expression "(param_3 == uVar4)" ( (binary_expression "param_3 == uVar4" identifier == identifier) )) (compound_statement "{\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }" { (expression_statement "*puVar3 = (~uVar7 & *puVar3 - 1) + 1;" (assignment_expression "*puVar3 = (~uVar7 & *puVar3 - 1) + 1" (pointer_expression "*puVar3" * identifier) = (binary_expression "(~uVar7 & *puVar3 - 1) + 1" (parenthesized_expression "(~uVar7 & *puVar3 - 1)" ( (binary_expression "~uVar7 & *puVar3 - 1" (unary_expression "~uVar7" ~ identifier) & (binary_expression "*puVar3 - 1" (pointer_expression "*puVar3" * identifier) - number_literal)) )) + number_literal)) ;) }) (else_clause "else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }" else (compound_statement "{\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }" { (expression_statement "uVar4 = *puVar3;" (assignment_expression "uVar4 = *puVar3" identifier = (pointer_expression "*puVar3" * identifier)) ;) (expression_statement "*puVar3 = *puVar3 - uVar7;" (assignment_expression "*puVar3 = *puVar3 - uVar7" (pointer_expression "*puVar3" * identifier) = (binary_expression "*puVar3 - uVar7" (pointer_expression "*puVar3" * identifier) - identifier)) ;) (if_statement "if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }" if (parenthesized_expression "(uVar4 < uVar7)" ( (binary_expression "uVar4 < uVar7" identifier < identifier) )) (compound_statement "{\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }" { (do_statement "do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);" do (compound_statement "{\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            }" { (expression_statement "puVar1 = puVar3 + 1;" (assignment_expression "puVar1 = puVar3 + 1" identifier = (binary_expression "puVar3 + 1" identifier + number_literal)) ;) (expression_statement "uVar7 = *puVar1;" (assignment_expression "uVar7 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 - 1;" (assignment_expression "*puVar1 = *puVar1 - 1" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 - 1" (pointer_expression "*puVar1" * identifier) - number_literal)) ;) (expression_statement "puVar3 = puVar3 + 1;" (assignment_expression "puVar3 = puVar3 + 1" identifier = (binary_expression "puVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) ;) })) (expression_statement "unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);" (assignment_expression "unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0)" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = (binary_expression "uVar5 + (piVar2[0x3fffffff - uVar5] == 0)" identifier + (parenthesized_expression "(piVar2[0x3fffffff - uVar5] == 0)" ( (binary_expression "piVar2[0x3fffffff - uVar5] == 0" (subscript_expression "piVar2[0x3fffffff - uVar5]" identifier [ (binary_expression "0x3fffffff - uVar5" number_literal - identifier) ]) == number_literal) )))) ;) }))) }) (else_clause "else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }" else (compound_statement "{\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }" { (expression_statement "*puVar3 = *puVar3 & ~uVar7;" (assignment_expression "*puVar3 = *puVar3 & ~uVar7" (pointer_expression "*puVar3" * identifier) = (binary_expression "*puVar3 & ~uVar7" (pointer_expression "*puVar3" * identifier) & (unary_expression "~uVar7" ~ identifier))) ;) (if_statement "if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }" if (parenthesized_expression "((*puVar3 == 0) + param_3 == -uVar5)" ( (binary_expression "(*puVar3 == 0) + param_3 == -uVar5" (binary_expression "(*puVar3 == 0) + param_3" (parenthesized_expression "(*puVar3 == 0)" ( (binary_expression "*puVar3 == 0" (pointer_expression "*puVar3" * identifier) == number_literal) )) + identifier) == (unary_expression "-uVar5" - identifier)) )) (compound_statement "{\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }" { (expression_statement "uVar5 = -param_3;" (assignment_expression "uVar5 = -param_3" identifier = (unary_expression "-param_3" - identifier)) ;) (if_statement "if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }" if (parenthesized_expression "(piVar2[param_3 - 1] == 0)" ( (binary_expression "piVar2[param_3 - 1] == 0" (subscript_expression "piVar2[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ]) == number_literal) )) (compound_statement "{\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }" { (do_statement "do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);" do (compound_statement "{\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            }" { (expression_statement "uVar7 = param_3;" (assignment_expression "uVar7 = param_3" identifier = identifier) ;) (expression_statement "uVar5 = uVar7 - 1;" (assignment_expression "uVar5 = uVar7 - 1" identifier = (binary_expression "uVar7 - 1" identifier - number_literal)) ;) (if_statement "if (uVar5 == 0) goto LAB_00031b91;" if (parenthesized_expression "(uVar5 == 0)" ( (binary_expression "uVar5 == 0" identifier == number_literal) )) (goto_statement "goto LAB_00031b91;" goto statement_identifier ;)) (expression_statement "param_3 = uVar5;" (assignment_expression "param_3 = uVar5" identifier = identifier) ;) }) while (parenthesized_expression "(piVar2[uVar7 - 2] == 0)" ( (binary_expression "piVar2[uVar7 - 2] == 0" (subscript_expression "piVar2[uVar7 - 2]" identifier [ (binary_expression "uVar7 - 2" identifier - number_literal) ]) == number_literal) )) ;) (expression_statement "uVar5 = 1 - uVar7;" (assignment_expression "uVar5 = 1 - uVar7" identifier = (binary_expression "1 - uVar7" number_literal - identifier)) ;) })) (labeled_statement "LAB_00031b91:\n          unaff_retaddr[1] = uVar5;" statement_identifier : (expression_statement "unaff_retaddr[1] = uVar5;" (assignment_expression "unaff_retaddr[1] = uVar5" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = identifier) ;)) })) }))) })) }) (else_clause "else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }" else (compound_statement "{\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }" { (if_statement "if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }" if (parenthesized_expression "((int)uVar5 <= (int)param_3)" ( (binary_expression "(int)uVar5 <= (int)param_3" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }" { (if_statement "if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }" if (parenthesized_expression "(*unaff_retaddr <= (int)param_3)" ( (binary_expression "*unaff_retaddr <= (int)param_3" (pointer_expression "*unaff_retaddr" * identifier) <= (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }" { (expression_statement "piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);" (assignment_expression "piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1)" identifier = (cast_expression "(int *)__gmpz_realloc(unaff_retaddr,param_3 + 1)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "__gmpz_realloc(unaff_retaddr,param_3 + 1)" identifier (argument_list "(unaff_retaddr,param_3 + 1)" ( identifier , (binary_expression "param_3 + 1" identifier + number_literal) ))))) ;) })) (expression_statement "unaff_retaddr[1] = param_3 + 1;" (assignment_expression "unaff_retaddr[1] = param_3 + 1" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = (binary_expression "param_3 + 1" identifier + number_literal)) ;) (if_statement "if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }" if (parenthesized_expression "(uVar5 != param_3)" ( (binary_expression "uVar5 != param_3" identifier != identifier) )) (compound_statement "{\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }" { (expression_statement "iVar6 = 0;" (assignment_expression "iVar6 = 0" identifier = number_literal) ;) (do_statement "do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);" do (compound_statement "{\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        }" { (expression_statement "piVar2[uVar5 + iVar6] = 0;" (assignment_expression "piVar2[uVar5 + iVar6] = 0" (subscript_expression "piVar2[uVar5 + iVar6]" identifier [ (binary_expression "uVar5 + iVar6" identifier + identifier) ]) = number_literal) ;) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar6 != param_3 - uVar5)" ( (binary_expression "iVar6 != param_3 - uVar5" identifier != (binary_expression "param_3 - uVar5" identifier - identifier)) )) ;) })) (expression_statement "piVar2[param_3] = uVar7;" (assignment_expression "piVar2[param_3] = uVar7" (subscript_expression "piVar2[param_3]" identifier [ identifier ]) = identifier) ;) (return_statement "return;" return ;) })) (expression_statement "piVar2[param_3] = piVar2[param_3] | uVar7;" (assignment_expression "piVar2[param_3] = piVar2[param_3] | uVar7" (subscript_expression "piVar2[param_3]" identifier [ identifier ]) = (binary_expression "piVar2[param_3] | uVar7" (subscript_expression "piVar2[param_3]" identifier [ identifier ]) | identifier)) ;) }))) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Unknown calling convention */\n\nvoid __gmpz_setbit(mpz_ptr d,mp_bitcnt_t bit_idx)\n\n{\n  uint *puVar1;\n  mp_limb_t mVar2;\n  mp_limb_t *pmVar3;\n  uint *puVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  mp_limb_t dlimb;\n  uint uVar9;\n  \n  uVar8 = d->_mp_size;\n  uVar9 = 1 << ((byte)bit_idx & 0x1f);\n  pmVar3 = d->_mp_d;\n  uVar7 = bit_idx >> 5;\n  if ((int)uVar8 < 0) {\n    if (SBORROW4(uVar7,-uVar8) != (int)(uVar7 + uVar8) < 0) {\n      uVar6 = 0;\n      mVar2 = *pmVar3;\n      while (mVar2 == 0) {\n        uVar6 = uVar6 + 1;\n        mVar2 = pmVar3[uVar6];\n      }\n      puVar4 = pmVar3 + uVar7;\n      if (uVar7 == uVar6 || (int)uVar7 < (int)uVar6) {\n        if (uVar7 == uVar6) {\n          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;\n        }\n        else {\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }\n      }\n      else {\n        *puVar4 = *puVar4 & ~uVar9;\n        if ((*puVar4 == 0) + uVar7 == -uVar8) {\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar8 <= (int)uVar7) {\n      if (d->_mp_alloc <= (int)uVar7) {\n        pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);\n      }\n      d->_mp_size = uVar7 + 1;\n      if (uVar8 != uVar7) {\n        iVar5 = 0;\n        do {\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        } while (iVar5 != uVar7 - uVar8);\n      }\n      pmVar3[uVar7] = uVar9;\n      return;\n    }\n    pmVar3[uVar7] = pmVar3[uVar7] | uVar9;\n  }\n  return;\n}\n\n" comment comment (function_definition "void __gmpz_setbit(mpz_ptr d,mp_bitcnt_t bit_idx)\n\n{\n  uint *puVar1;\n  mp_limb_t mVar2;\n  mp_limb_t *pmVar3;\n  uint *puVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  mp_limb_t dlimb;\n  uint uVar9;\n  \n  uVar8 = d->_mp_size;\n  uVar9 = 1 << ((byte)bit_idx & 0x1f);\n  pmVar3 = d->_mp_d;\n  uVar7 = bit_idx >> 5;\n  if ((int)uVar8 < 0) {\n    if (SBORROW4(uVar7,-uVar8) != (int)(uVar7 + uVar8) < 0) {\n      uVar6 = 0;\n      mVar2 = *pmVar3;\n      while (mVar2 == 0) {\n        uVar6 = uVar6 + 1;\n        mVar2 = pmVar3[uVar6];\n      }\n      puVar4 = pmVar3 + uVar7;\n      if (uVar7 == uVar6 || (int)uVar7 < (int)uVar6) {\n        if (uVar7 == uVar6) {\n          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;\n        }\n        else {\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }\n      }\n      else {\n        *puVar4 = *puVar4 & ~uVar9;\n        if ((*puVar4 == 0) + uVar7 == -uVar8) {\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar8 <= (int)uVar7) {\n      if (d->_mp_alloc <= (int)uVar7) {\n        pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);\n      }\n      d->_mp_size = uVar7 + 1;\n      if (uVar8 != uVar7) {\n        iVar5 = 0;\n        do {\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        } while (iVar5 != uVar7 - uVar8);\n      }\n      pmVar3[uVar7] = uVar9;\n      return;\n    }\n    pmVar3[uVar7] = pmVar3[uVar7] | uVar9;\n  }\n  return;\n}" primitive_type (function_declarator "__gmpz_setbit(mpz_ptr d,mp_bitcnt_t bit_idx)" identifier (parameter_list "(mpz_ptr d,mp_bitcnt_t bit_idx)" ( (parameter_declaration "mpz_ptr d" type_identifier identifier) , (parameter_declaration "mp_bitcnt_t bit_idx" type_identifier identifier) ))) (compound_statement "{\n  uint *puVar1;\n  mp_limb_t mVar2;\n  mp_limb_t *pmVar3;\n  uint *puVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  mp_limb_t dlimb;\n  uint uVar9;\n  \n  uVar8 = d->_mp_size;\n  uVar9 = 1 << ((byte)bit_idx & 0x1f);\n  pmVar3 = d->_mp_d;\n  uVar7 = bit_idx >> 5;\n  if ((int)uVar8 < 0) {\n    if (SBORROW4(uVar7,-uVar8) != (int)(uVar7 + uVar8) < 0) {\n      uVar6 = 0;\n      mVar2 = *pmVar3;\n      while (mVar2 == 0) {\n        uVar6 = uVar6 + 1;\n        mVar2 = pmVar3[uVar6];\n      }\n      puVar4 = pmVar3 + uVar7;\n      if (uVar7 == uVar6 || (int)uVar7 < (int)uVar6) {\n        if (uVar7 == uVar6) {\n          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;\n        }\n        else {\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }\n      }\n      else {\n        *puVar4 = *puVar4 & ~uVar9;\n        if ((*puVar4 == 0) + uVar7 == -uVar8) {\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar8 <= (int)uVar7) {\n      if (d->_mp_alloc <= (int)uVar7) {\n        pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);\n      }\n      d->_mp_size = uVar7 + 1;\n      if (uVar8 != uVar7) {\n        iVar5 = 0;\n        do {\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        } while (iVar5 != uVar7 - uVar8);\n      }\n      pmVar3[uVar7] = uVar9;\n      return;\n    }\n    pmVar3[uVar7] = pmVar3[uVar7] | uVar9;\n  }\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "mp_limb_t mVar2;" type_identifier identifier ;) (declaration "mp_limb_t *pmVar3;" type_identifier (pointer_declarator "*pmVar3" * identifier) ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "mp_limb_t dlimb;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (expression_statement "uVar8 = d->_mp_size;" (assignment_expression "uVar8 = d->_mp_size" identifier = (field_expression "d->_mp_size" identifier -> field_identifier)) ;) (expression_statement "uVar9 = 1 << ((byte)bit_idx & 0x1f);" (assignment_expression "uVar9 = 1 << ((byte)bit_idx & 0x1f)" identifier = (binary_expression "1 << ((byte)bit_idx & 0x1f)" number_literal << (parenthesized_expression "((byte)bit_idx & 0x1f)" ( (binary_expression "(byte)bit_idx & 0x1f" (cast_expression "(byte)bit_idx" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (expression_statement "pmVar3 = d->_mp_d;" (assignment_expression "pmVar3 = d->_mp_d" identifier = (field_expression "d->_mp_d" identifier -> field_identifier)) ;) (expression_statement "uVar7 = bit_idx >> 5;" (assignment_expression "uVar7 = bit_idx >> 5" identifier = (binary_expression "bit_idx >> 5" identifier >> number_literal)) ;) (if_statement "if ((int)uVar8 < 0) {\n    if (SBORROW4(uVar7,-uVar8) != (int)(uVar7 + uVar8) < 0) {\n      uVar6 = 0;\n      mVar2 = *pmVar3;\n      while (mVar2 == 0) {\n        uVar6 = uVar6 + 1;\n        mVar2 = pmVar3[uVar6];\n      }\n      puVar4 = pmVar3 + uVar7;\n      if (uVar7 == uVar6 || (int)uVar7 < (int)uVar6) {\n        if (uVar7 == uVar6) {\n          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;\n        }\n        else {\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }\n      }\n      else {\n        *puVar4 = *puVar4 & ~uVar9;\n        if ((*puVar4 == 0) + uVar7 == -uVar8) {\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar8 <= (int)uVar7) {\n      if (d->_mp_alloc <= (int)uVar7) {\n        pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);\n      }\n      d->_mp_size = uVar7 + 1;\n      if (uVar8 != uVar7) {\n        iVar5 = 0;\n        do {\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        } while (iVar5 != uVar7 - uVar8);\n      }\n      pmVar3[uVar7] = uVar9;\n      return;\n    }\n    pmVar3[uVar7] = pmVar3[uVar7] | uVar9;\n  }" if (parenthesized_expression "((int)uVar8 < 0)" ( (binary_expression "(int)uVar8 < 0" (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    if (SBORROW4(uVar7,-uVar8) != (int)(uVar7 + uVar8) < 0) {\n      uVar6 = 0;\n      mVar2 = *pmVar3;\n      while (mVar2 == 0) {\n        uVar6 = uVar6 + 1;\n        mVar2 = pmVar3[uVar6];\n      }\n      puVar4 = pmVar3 + uVar7;\n      if (uVar7 == uVar6 || (int)uVar7 < (int)uVar6) {\n        if (uVar7 == uVar6) {\n          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;\n        }\n        else {\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }\n      }\n      else {\n        *puVar4 = *puVar4 & ~uVar9;\n        if ((*puVar4 == 0) + uVar7 == -uVar8) {\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }\n      }\n    }\n  }" { (if_statement "if (SBORROW4(uVar7,-uVar8) != (int)(uVar7 + uVar8) < 0) {\n      uVar6 = 0;\n      mVar2 = *pmVar3;\n      while (mVar2 == 0) {\n        uVar6 = uVar6 + 1;\n        mVar2 = pmVar3[uVar6];\n      }\n      puVar4 = pmVar3 + uVar7;\n      if (uVar7 == uVar6 || (int)uVar7 < (int)uVar6) {\n        if (uVar7 == uVar6) {\n          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;\n        }\n        else {\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }\n      }\n      else {\n        *puVar4 = *puVar4 & ~uVar9;\n        if ((*puVar4 == 0) + uVar7 == -uVar8) {\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }\n      }\n    }" if (parenthesized_expression "(SBORROW4(uVar7,-uVar8) != (int)(uVar7 + uVar8) < 0)" ( (binary_expression "SBORROW4(uVar7,-uVar8) != (int)(uVar7 + uVar8) < 0" (call_expression "SBORROW4(uVar7,-uVar8)" identifier (argument_list "(uVar7,-uVar8)" ( identifier , (unary_expression "-uVar8" - identifier) ))) != (binary_expression "(int)(uVar7 + uVar8) < 0" (cast_expression "(int)(uVar7 + uVar8)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uVar7 + uVar8)" ( (binary_expression "uVar7 + uVar8" identifier + identifier) ))) < number_literal)) )) (compound_statement "{\n      uVar6 = 0;\n      mVar2 = *pmVar3;\n      while (mVar2 == 0) {\n        uVar6 = uVar6 + 1;\n        mVar2 = pmVar3[uVar6];\n      }\n      puVar4 = pmVar3 + uVar7;\n      if (uVar7 == uVar6 || (int)uVar7 < (int)uVar6) {\n        if (uVar7 == uVar6) {\n          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;\n        }\n        else {\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }\n      }\n      else {\n        *puVar4 = *puVar4 & ~uVar9;\n        if ((*puVar4 == 0) + uVar7 == -uVar8) {\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }\n      }\n    }" { (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (expression_statement "mVar2 = *pmVar3;" (assignment_expression "mVar2 = *pmVar3" identifier = (pointer_expression "*pmVar3" * identifier)) ;) (while_statement "while (mVar2 == 0) {\n        uVar6 = uVar6 + 1;\n        mVar2 = pmVar3[uVar6];\n      }" while (parenthesized_expression "(mVar2 == 0)" ( (binary_expression "mVar2 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar6 = uVar6 + 1;\n        mVar2 = pmVar3[uVar6];\n      }" { (expression_statement "uVar6 = uVar6 + 1;" (assignment_expression "uVar6 = uVar6 + 1" identifier = (binary_expression "uVar6 + 1" identifier + number_literal)) ;) (expression_statement "mVar2 = pmVar3[uVar6];" (assignment_expression "mVar2 = pmVar3[uVar6]" identifier = (subscript_expression "pmVar3[uVar6]" identifier [ identifier ])) ;) })) (expression_statement "puVar4 = pmVar3 + uVar7;" (assignment_expression "puVar4 = pmVar3 + uVar7" identifier = (binary_expression "pmVar3 + uVar7" identifier + identifier)) ;) (if_statement "if (uVar7 == uVar6 || (int)uVar7 < (int)uVar6) {\n        if (uVar7 == uVar6) {\n          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;\n        }\n        else {\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }\n      }\n      else {\n        *puVar4 = *puVar4 & ~uVar9;\n        if ((*puVar4 == 0) + uVar7 == -uVar8) {\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }\n      }" if (parenthesized_expression "(uVar7 == uVar6 || (int)uVar7 < (int)uVar6)" ( (binary_expression "uVar7 == uVar6 || (int)uVar7 < (int)uVar6" (binary_expression "uVar7 == uVar6" identifier == identifier) || (binary_expression "(int)uVar7 < (int)uVar6" (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar6" ( (type_descriptor "int" primitive_type) ) identifier))) )) (compound_statement "{\n        if (uVar7 == uVar6) {\n          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;\n        }\n        else {\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }\n      }" { (if_statement "if (uVar7 == uVar6) {\n          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;\n        }\n        else {\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }" if (parenthesized_expression "(uVar7 == uVar6)" ( (binary_expression "uVar7 == uVar6" identifier == identifier) )) (compound_statement "{\n          *puVar4 = (~uVar9 & *puVar4 - 1) + 1;\n        }" { (expression_statement "*puVar4 = (~uVar9 & *puVar4 - 1) + 1;" (assignment_expression "*puVar4 = (~uVar9 & *puVar4 - 1) + 1" (pointer_expression "*puVar4" * identifier) = (binary_expression "(~uVar9 & *puVar4 - 1) + 1" (parenthesized_expression "(~uVar9 & *puVar4 - 1)" ( (binary_expression "~uVar9 & *puVar4 - 1" (unary_expression "~uVar9" ~ identifier) & (binary_expression "*puVar4 - 1" (pointer_expression "*puVar4" * identifier) - number_literal)) )) + number_literal)) ;) }) (else_clause "else {\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }" else (compound_statement "{\n          uVar7 = *puVar4;\n          *puVar4 = *puVar4 - uVar9;\n          if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }\n          d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);\n        }" { (expression_statement "uVar7 = *puVar4;" (assignment_expression "uVar7 = *puVar4" identifier = (pointer_expression "*puVar4" * identifier)) ;) (expression_statement "*puVar4 = *puVar4 - uVar9;" (assignment_expression "*puVar4 = *puVar4 - uVar9" (pointer_expression "*puVar4" * identifier) = (binary_expression "*puVar4 - uVar9" (pointer_expression "*puVar4" * identifier) - identifier)) ;) (if_statement "if (uVar7 < uVar9) {\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }" if (parenthesized_expression "(uVar7 < uVar9)" ( (binary_expression "uVar7 < uVar9" identifier < identifier) )) (compound_statement "{\n            do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);\n          }" { (do_statement "do {\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            } while (uVar7 == 0);" do (compound_statement "{\n              puVar1 = puVar4 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar4 = puVar4 + 1;\n            }" { (expression_statement "puVar1 = puVar4 + 1;" (assignment_expression "puVar1 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) (expression_statement "uVar7 = *puVar1;" (assignment_expression "uVar7 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 - 1;" (assignment_expression "*puVar1 = *puVar1 - 1" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 - 1" (pointer_expression "*puVar1" * identifier) - number_literal)) ;) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) ;) })) (expression_statement "d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0);" (assignment_expression "d->_mp_size = uVar8 + (pmVar3[0x3fffffff - uVar8] == 0)" (field_expression "d->_mp_size" identifier -> field_identifier) = (binary_expression "uVar8 + (pmVar3[0x3fffffff - uVar8] == 0)" identifier + (parenthesized_expression "(pmVar3[0x3fffffff - uVar8] == 0)" ( (binary_expression "pmVar3[0x3fffffff - uVar8] == 0" (subscript_expression "pmVar3[0x3fffffff - uVar8]" identifier [ (binary_expression "0x3fffffff - uVar8" number_literal - identifier) ]) == number_literal) )))) ;) }))) }) (else_clause "else {\n        *puVar4 = *puVar4 & ~uVar9;\n        if ((*puVar4 == 0) + uVar7 == -uVar8) {\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }\n      }" else (compound_statement "{\n        *puVar4 = *puVar4 & ~uVar9;\n        if ((*puVar4 == 0) + uVar7 == -uVar8) {\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }\n      }" { (expression_statement "*puVar4 = *puVar4 & ~uVar9;" (assignment_expression "*puVar4 = *puVar4 & ~uVar9" (pointer_expression "*puVar4" * identifier) = (binary_expression "*puVar4 & ~uVar9" (pointer_expression "*puVar4" * identifier) & (unary_expression "~uVar9" ~ identifier))) ;) (if_statement "if ((*puVar4 == 0) + uVar7 == -uVar8) {\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }" if (parenthesized_expression "((*puVar4 == 0) + uVar7 == -uVar8)" ( (binary_expression "(*puVar4 == 0) + uVar7 == -uVar8" (binary_expression "(*puVar4 == 0) + uVar7" (parenthesized_expression "(*puVar4 == 0)" ( (binary_expression "*puVar4 == 0" (pointer_expression "*puVar4" * identifier) == number_literal) )) + identifier) == (unary_expression "-uVar8" - identifier)) )) (compound_statement "{\n          uVar8 = -uVar7;\n          if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }\nLAB_00031b91:\n          d->_mp_size = uVar8;\n        }" { (expression_statement "uVar8 = -uVar7;" (assignment_expression "uVar8 = -uVar7" identifier = (unary_expression "-uVar7" - identifier)) ;) (if_statement "if (pmVar3[uVar7 - 1] == 0) {\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }" if (parenthesized_expression "(pmVar3[uVar7 - 1] == 0)" ( (binary_expression "pmVar3[uVar7 - 1] == 0" (subscript_expression "pmVar3[uVar7 - 1]" identifier [ (binary_expression "uVar7 - 1" identifier - number_literal) ]) == number_literal) )) (compound_statement "{\n            do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);\n            uVar8 = 1 - uVar9;\n          }" { (do_statement "do {\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            } while (pmVar3[uVar9 - 2] == 0);" do (compound_statement "{\n              uVar9 = uVar7;\n              uVar8 = uVar9 - 1;\n              if (uVar8 == 0) goto LAB_00031b91;\n              uVar7 = uVar8;\n            }" { (expression_statement "uVar9 = uVar7;" (assignment_expression "uVar9 = uVar7" identifier = identifier) ;) (expression_statement "uVar8 = uVar9 - 1;" (assignment_expression "uVar8 = uVar9 - 1" identifier = (binary_expression "uVar9 - 1" identifier - number_literal)) ;) (if_statement "if (uVar8 == 0) goto LAB_00031b91;" if (parenthesized_expression "(uVar8 == 0)" ( (binary_expression "uVar8 == 0" identifier == number_literal) )) (goto_statement "goto LAB_00031b91;" goto statement_identifier ;)) (expression_statement "uVar7 = uVar8;" (assignment_expression "uVar7 = uVar8" identifier = identifier) ;) }) while (parenthesized_expression "(pmVar3[uVar9 - 2] == 0)" ( (binary_expression "pmVar3[uVar9 - 2] == 0" (subscript_expression "pmVar3[uVar9 - 2]" identifier [ (binary_expression "uVar9 - 2" identifier - number_literal) ]) == number_literal) )) ;) (expression_statement "uVar8 = 1 - uVar9;" (assignment_expression "uVar8 = 1 - uVar9" identifier = (binary_expression "1 - uVar9" number_literal - identifier)) ;) })) (labeled_statement "LAB_00031b91:\n          d->_mp_size = uVar8;" statement_identifier : (expression_statement "d->_mp_size = uVar8;" (assignment_expression "d->_mp_size = uVar8" (field_expression "d->_mp_size" identifier -> field_identifier) = identifier) ;)) })) }))) })) }) (else_clause "else {\n    if ((int)uVar8 <= (int)uVar7) {\n      if (d->_mp_alloc <= (int)uVar7) {\n        pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);\n      }\n      d->_mp_size = uVar7 + 1;\n      if (uVar8 != uVar7) {\n        iVar5 = 0;\n        do {\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        } while (iVar5 != uVar7 - uVar8);\n      }\n      pmVar3[uVar7] = uVar9;\n      return;\n    }\n    pmVar3[uVar7] = pmVar3[uVar7] | uVar9;\n  }" else (compound_statement "{\n    if ((int)uVar8 <= (int)uVar7) {\n      if (d->_mp_alloc <= (int)uVar7) {\n        pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);\n      }\n      d->_mp_size = uVar7 + 1;\n      if (uVar8 != uVar7) {\n        iVar5 = 0;\n        do {\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        } while (iVar5 != uVar7 - uVar8);\n      }\n      pmVar3[uVar7] = uVar9;\n      return;\n    }\n    pmVar3[uVar7] = pmVar3[uVar7] | uVar9;\n  }" { (if_statement "if ((int)uVar8 <= (int)uVar7) {\n      if (d->_mp_alloc <= (int)uVar7) {\n        pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);\n      }\n      d->_mp_size = uVar7 + 1;\n      if (uVar8 != uVar7) {\n        iVar5 = 0;\n        do {\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        } while (iVar5 != uVar7 - uVar8);\n      }\n      pmVar3[uVar7] = uVar9;\n      return;\n    }" if (parenthesized_expression "((int)uVar8 <= (int)uVar7)" ( (binary_expression "(int)uVar8 <= (int)uVar7" (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      if (d->_mp_alloc <= (int)uVar7) {\n        pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);\n      }\n      d->_mp_size = uVar7 + 1;\n      if (uVar8 != uVar7) {\n        iVar5 = 0;\n        do {\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        } while (iVar5 != uVar7 - uVar8);\n      }\n      pmVar3[uVar7] = uVar9;\n      return;\n    }" { (if_statement "if (d->_mp_alloc <= (int)uVar7) {\n        pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);\n      }" if (parenthesized_expression "(d->_mp_alloc <= (int)uVar7)" ( (binary_expression "d->_mp_alloc <= (int)uVar7" (field_expression "d->_mp_alloc" identifier -> field_identifier) <= (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n        pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);\n      }" { (expression_statement "pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1);" (assignment_expression "pmVar3 = (mp_limb_t *)__gmpz_realloc(d,uVar7 + 1)" identifier = (cast_expression "(mp_limb_t *)__gmpz_realloc(d,uVar7 + 1)" ( (type_descriptor "mp_limb_t *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "__gmpz_realloc(d,uVar7 + 1)" identifier (argument_list "(d,uVar7 + 1)" ( identifier , (binary_expression "uVar7 + 1" identifier + number_literal) ))))) ;) })) (expression_statement "d->_mp_size = uVar7 + 1;" (assignment_expression "d->_mp_size = uVar7 + 1" (field_expression "d->_mp_size" identifier -> field_identifier) = (binary_expression "uVar7 + 1" identifier + number_literal)) ;) (if_statement "if (uVar8 != uVar7) {\n        iVar5 = 0;\n        do {\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        } while (iVar5 != uVar7 - uVar8);\n      }" if (parenthesized_expression "(uVar8 != uVar7)" ( (binary_expression "uVar8 != uVar7" identifier != identifier) )) (compound_statement "{\n        iVar5 = 0;\n        do {\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        } while (iVar5 != uVar7 - uVar8);\n      }" { (expression_statement "iVar5 = 0;" (assignment_expression "iVar5 = 0" identifier = number_literal) ;) (do_statement "do {\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        } while (iVar5 != uVar7 - uVar8);" do (compound_statement "{\n          pmVar3[uVar8 + iVar5] = 0;\n          iVar5 = iVar5 + 1;\n        }" { (expression_statement "pmVar3[uVar8 + iVar5] = 0;" (assignment_expression "pmVar3[uVar8 + iVar5] = 0" (subscript_expression "pmVar3[uVar8 + iVar5]" identifier [ (binary_expression "uVar8 + iVar5" identifier + identifier) ]) = number_literal) ;) (expression_statement "iVar5 = iVar5 + 1;" (assignment_expression "iVar5 = iVar5 + 1" identifier = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar5 != uVar7 - uVar8)" ( (binary_expression "iVar5 != uVar7 - uVar8" identifier != (binary_expression "uVar7 - uVar8" identifier - identifier)) )) ;) })) (expression_statement "pmVar3[uVar7] = uVar9;" (assignment_expression "pmVar3[uVar7] = uVar9" (subscript_expression "pmVar3[uVar7]" identifier [ identifier ]) = identifier) ;) (return_statement "return;" return ;) })) (expression_statement "pmVar3[uVar7] = pmVar3[uVar7] | uVar9;" (assignment_expression "pmVar3[uVar7] = pmVar3[uVar7] | uVar9" (subscript_expression "pmVar3[uVar7]" identifier [ identifier ]) = (binary_expression "pmVar3[uVar7] | uVar9" (subscript_expression "pmVar3[uVar7]" identifier [ identifier ]) | identifier)) ;) }))) (return_statement "return;" return ;) })))
(translation_unit "void __regparm2 __gmpz_setbit(undefined4 param_1,undefined4 param_2,uint param_3)\n\n{\n  uint *puVar1;\n  int *piVar2;\n  uint *puVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int *unaff_retaddr;\n  \n  iVar6 = 1;\n  entry(param_2,0x31a5e);\n  uVar5 = unaff_retaddr[1];\n  uVar7 = iVar6 << ((byte)param_3 & 0x1f);\n  piVar2 = (int *)unaff_retaddr[2];\n  param_3 = param_3 >> 5;\n  if ((int)uVar5 < 0) {\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }\n  return;\n}\n\n" (function_definition "void __regparm2 __gmpz_setbit(undefined4 param_1,undefined4 param_2,uint param_3)\n\n{\n  uint *puVar1;\n  int *piVar2;\n  uint *puVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int *unaff_retaddr;\n  \n  iVar6 = 1;\n  entry(param_2,0x31a5e);\n  uVar5 = unaff_retaddr[1];\n  uVar7 = iVar6 << ((byte)param_3 & 0x1f);\n  piVar2 = (int *)unaff_retaddr[2];\n  param_3 = param_3 >> 5;\n  if ((int)uVar5 < 0) {\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }\n  return;\n}" primitive_type (ERROR "__regparm2" identifier) (function_declarator "__gmpz_setbit(undefined4 param_1,undefined4 param_2,uint param_3)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,uint param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  uint *puVar1;\n  int *piVar2;\n  uint *puVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int *unaff_retaddr;\n  \n  iVar6 = 1;\n  entry(param_2,0x31a5e);\n  uVar5 = unaff_retaddr[1];\n  uVar7 = iVar6 << ((byte)param_3 & 0x1f);\n  piVar2 = (int *)unaff_retaddr[2];\n  param_3 = param_3 >> 5;\n  if ((int)uVar5 < 0) {\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (declaration "uint *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "int *unaff_retaddr;" primitive_type (pointer_declarator "*unaff_retaddr" * identifier) ;) (expression_statement "iVar6 = 1;" (assignment_expression "iVar6 = 1" identifier = number_literal) ;) (expression_statement "entry(param_2,0x31a5e);" (call_expression "entry(param_2,0x31a5e)" identifier (argument_list "(param_2,0x31a5e)" ( identifier , number_literal ))) ;) (expression_statement "uVar5 = unaff_retaddr[1];" (assignment_expression "uVar5 = unaff_retaddr[1]" identifier = (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ])) ;) (expression_statement "uVar7 = iVar6 << ((byte)param_3 & 0x1f);" (assignment_expression "uVar7 = iVar6 << ((byte)param_3 & 0x1f)" identifier = (binary_expression "iVar6 << ((byte)param_3 & 0x1f)" identifier << (parenthesized_expression "((byte)param_3 & 0x1f)" ( (binary_expression "(byte)param_3 & 0x1f" (cast_expression "(byte)param_3" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (expression_statement "piVar2 = (int *)unaff_retaddr[2];" (assignment_expression "piVar2 = (int *)unaff_retaddr[2]" identifier = (cast_expression "(int *)unaff_retaddr[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "unaff_retaddr[2]" identifier [ number_literal ]))) ;) (expression_statement "param_3 = param_3 >> 5;" (assignment_expression "param_3 = param_3 >> 5" identifier = (binary_expression "param_3 >> 5" identifier >> number_literal)) ;) (if_statement "if ((int)uVar5 < 0) {\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }" if (parenthesized_expression "((int)uVar5 < 0)" ( (binary_expression "(int)uVar5 < 0" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }" { (if_statement "if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }" if (parenthesized_expression "(SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0)" ( (binary_expression "SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0" (call_expression "SBORROW4(param_3,-uVar5)" identifier (argument_list "(param_3,-uVar5)" ( identifier , (unary_expression "-uVar5" - identifier) ))) != (binary_expression "(int)(param_3 + uVar5) < 0" (cast_expression "(int)(param_3 + uVar5)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(param_3 + uVar5)" ( (binary_expression "param_3 + uVar5" identifier + identifier) ))) < number_literal)) )) (compound_statement "{\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }" { (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "iVar6 = *piVar2;" (assignment_expression "iVar6 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (while_statement "while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }" while (parenthesized_expression "(iVar6 == 0)" ( (binary_expression "iVar6 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }" { (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (expression_statement "iVar6 = piVar2[uVar4];" (assignment_expression "iVar6 = piVar2[uVar4]" identifier = (subscript_expression "piVar2[uVar4]" identifier [ identifier ])) ;) })) (expression_statement "puVar3 = (uint *)(piVar2 + param_3);" (assignment_expression "puVar3 = (uint *)(piVar2 + param_3)" identifier = (cast_expression "(uint *)(piVar2 + param_3)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(piVar2 + param_3)" ( (binary_expression "piVar2 + param_3" identifier + identifier) )))) ;) (if_statement "if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }" if (parenthesized_expression "(param_3 == uVar4 || (int)param_3 < (int)uVar4)" ( (binary_expression "param_3 == uVar4 || (int)param_3 < (int)uVar4" (binary_expression "param_3 == uVar4" identifier == identifier) || (binary_expression "(int)param_3 < (int)uVar4" (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier))) )) (compound_statement "{\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }" { (if_statement "if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }" if (parenthesized_expression "(param_3 == uVar4)" ( (binary_expression "param_3 == uVar4" identifier == identifier) )) (compound_statement "{\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }" { (expression_statement "*puVar3 = (~uVar7 & *puVar3 - 1) + 1;" (assignment_expression "*puVar3 = (~uVar7 & *puVar3 - 1) + 1" (pointer_expression "*puVar3" * identifier) = (binary_expression "(~uVar7 & *puVar3 - 1) + 1" (parenthesized_expression "(~uVar7 & *puVar3 - 1)" ( (binary_expression "~uVar7 & *puVar3 - 1" (unary_expression "~uVar7" ~ identifier) & (binary_expression "*puVar3 - 1" (pointer_expression "*puVar3" * identifier) - number_literal)) )) + number_literal)) ;) }) (else_clause "else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }" else (compound_statement "{\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }" { (expression_statement "uVar4 = *puVar3;" (assignment_expression "uVar4 = *puVar3" identifier = (pointer_expression "*puVar3" * identifier)) ;) (expression_statement "*puVar3 = *puVar3 - uVar7;" (assignment_expression "*puVar3 = *puVar3 - uVar7" (pointer_expression "*puVar3" * identifier) = (binary_expression "*puVar3 - uVar7" (pointer_expression "*puVar3" * identifier) - identifier)) ;) (if_statement "if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }" if (parenthesized_expression "(uVar4 < uVar7)" ( (binary_expression "uVar4 < uVar7" identifier < identifier) )) (compound_statement "{\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }" { (do_statement "do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);" do (compound_statement "{\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            }" { (expression_statement "puVar1 = puVar3 + 1;" (assignment_expression "puVar1 = puVar3 + 1" identifier = (binary_expression "puVar3 + 1" identifier + number_literal)) ;) (expression_statement "uVar7 = *puVar1;" (assignment_expression "uVar7 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 - 1;" (assignment_expression "*puVar1 = *puVar1 - 1" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 - 1" (pointer_expression "*puVar1" * identifier) - number_literal)) ;) (expression_statement "puVar3 = puVar3 + 1;" (assignment_expression "puVar3 = puVar3 + 1" identifier = (binary_expression "puVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) ;) })) (expression_statement "unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);" (assignment_expression "unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0)" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = (binary_expression "uVar5 + (piVar2[0x3fffffff - uVar5] == 0)" identifier + (parenthesized_expression "(piVar2[0x3fffffff - uVar5] == 0)" ( (binary_expression "piVar2[0x3fffffff - uVar5] == 0" (subscript_expression "piVar2[0x3fffffff - uVar5]" identifier [ (binary_expression "0x3fffffff - uVar5" number_literal - identifier) ]) == number_literal) )))) ;) }))) }) (else_clause "else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }" else (compound_statement "{\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }" { (expression_statement "*puVar3 = *puVar3 & ~uVar7;" (assignment_expression "*puVar3 = *puVar3 & ~uVar7" (pointer_expression "*puVar3" * identifier) = (binary_expression "*puVar3 & ~uVar7" (pointer_expression "*puVar3" * identifier) & (unary_expression "~uVar7" ~ identifier))) ;) (if_statement "if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }" if (parenthesized_expression "((*puVar3 == 0) + param_3 == -uVar5)" ( (binary_expression "(*puVar3 == 0) + param_3 == -uVar5" (binary_expression "(*puVar3 == 0) + param_3" (parenthesized_expression "(*puVar3 == 0)" ( (binary_expression "*puVar3 == 0" (pointer_expression "*puVar3" * identifier) == number_literal) )) + identifier) == (unary_expression "-uVar5" - identifier)) )) (compound_statement "{\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }" { (expression_statement "uVar5 = -param_3;" (assignment_expression "uVar5 = -param_3" identifier = (unary_expression "-param_3" - identifier)) ;) (if_statement "if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }" if (parenthesized_expression "(piVar2[param_3 - 1] == 0)" ( (binary_expression "piVar2[param_3 - 1] == 0" (subscript_expression "piVar2[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ]) == number_literal) )) (compound_statement "{\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }" { (do_statement "do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);" do (compound_statement "{\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            }" { (expression_statement "uVar7 = param_3;" (assignment_expression "uVar7 = param_3" identifier = identifier) ;) (expression_statement "uVar5 = uVar7 - 1;" (assignment_expression "uVar5 = uVar7 - 1" identifier = (binary_expression "uVar7 - 1" identifier - number_literal)) ;) (if_statement "if (uVar5 == 0) goto LAB_00031b91;" if (parenthesized_expression "(uVar5 == 0)" ( (binary_expression "uVar5 == 0" identifier == number_literal) )) (goto_statement "goto LAB_00031b91;" goto statement_identifier ;)) (expression_statement "param_3 = uVar5;" (assignment_expression "param_3 = uVar5" identifier = identifier) ;) }) while (parenthesized_expression "(piVar2[uVar7 - 2] == 0)" ( (binary_expression "piVar2[uVar7 - 2] == 0" (subscript_expression "piVar2[uVar7 - 2]" identifier [ (binary_expression "uVar7 - 2" identifier - number_literal) ]) == number_literal) )) ;) (expression_statement "uVar5 = 1 - uVar7;" (assignment_expression "uVar5 = 1 - uVar7" identifier = (binary_expression "1 - uVar7" number_literal - identifier)) ;) })) (labeled_statement "LAB_00031b91:\n          unaff_retaddr[1] = uVar5;" statement_identifier : (expression_statement "unaff_retaddr[1] = uVar5;" (assignment_expression "unaff_retaddr[1] = uVar5" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = identifier) ;)) })) }))) })) }) (else_clause "else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }" else (compound_statement "{\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }" { (if_statement "if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }" if (parenthesized_expression "((int)uVar5 <= (int)param_3)" ( (binary_expression "(int)uVar5 <= (int)param_3" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }" { (if_statement "if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }" if (parenthesized_expression "(*unaff_retaddr <= (int)param_3)" ( (binary_expression "*unaff_retaddr <= (int)param_3" (pointer_expression "*unaff_retaddr" * identifier) <= (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }" { (expression_statement "piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);" (assignment_expression "piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1)" identifier = (cast_expression "(int *)__gmpz_realloc(unaff_retaddr,param_3 + 1)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "__gmpz_realloc(unaff_retaddr,param_3 + 1)" identifier (argument_list "(unaff_retaddr,param_3 + 1)" ( identifier , (binary_expression "param_3 + 1" identifier + number_literal) ))))) ;) })) (expression_statement "unaff_retaddr[1] = param_3 + 1;" (assignment_expression "unaff_retaddr[1] = param_3 + 1" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = (binary_expression "param_3 + 1" identifier + number_literal)) ;) (if_statement "if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }" if (parenthesized_expression "(uVar5 != param_3)" ( (binary_expression "uVar5 != param_3" identifier != identifier) )) (compound_statement "{\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }" { (expression_statement "iVar6 = 0;" (assignment_expression "iVar6 = 0" identifier = number_literal) ;) (do_statement "do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);" do (compound_statement "{\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        }" { (expression_statement "piVar2[uVar5 + iVar6] = 0;" (assignment_expression "piVar2[uVar5 + iVar6] = 0" (subscript_expression "piVar2[uVar5 + iVar6]" identifier [ (binary_expression "uVar5 + iVar6" identifier + identifier) ]) = number_literal) ;) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar6 != param_3 - uVar5)" ( (binary_expression "iVar6 != param_3 - uVar5" identifier != (binary_expression "param_3 - uVar5" identifier - identifier)) )) ;) })) (expression_statement "piVar2[param_3] = uVar7;" (assignment_expression "piVar2[param_3] = uVar7" (subscript_expression "piVar2[param_3]" identifier [ identifier ]) = identifier) ;) (return_statement "return;" return ;) })) (expression_statement "piVar2[param_3] = piVar2[param_3] | uVar7;" (assignment_expression "piVar2[param_3] = piVar2[param_3] | uVar7" (subscript_expression "piVar2[param_3]" identifier [ identifier ]) = (binary_expression "piVar2[param_3] | uVar7" (subscript_expression "piVar2[param_3]" identifier [ identifier ]) | identifier)) ;) }))) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (ERROR IDENT) (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , LIT ))) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (call_expression IDENT (argument_list ( IDENT , (unary_expression - IDENT) ))) != (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) ))) < LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (while_statement while (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT == IDENT) || (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < (cast_expression ( (type_descriptor TYPE) ) IDENT))) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (parenthesized_expression ( (binary_expression (unary_expression ~ IDENT) & (binary_expression (pointer_expression * IDENT) - LIT)) )) + LIT)) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) - IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) - LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT == LIT) )) ;) })) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ (binary_expression LIT - IDENT) ]) == LIT) )))) ;) }))) }) (else_clause else (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) & (unary_expression ~ IDENT))) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) == LIT) )) + IDENT) == (unary_expression - IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ (binary_expression IDENT - LIT) ]) == LIT) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = IDENT) ;) }) while (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ (binary_expression IDENT - LIT) ]) == LIT) )) ;) (expression_statement (assignment_expression IDENT = (binary_expression LIT - IDENT)) ;) })) (labeled_statement statement_identifier : (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;)) })) }))) })) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) <= (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) <= (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT , (binary_expression IDENT + LIT) ))))) ;) })) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + IDENT) ]) = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != (binary_expression IDENT - IDENT)) )) ;) })) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = IDENT) ;) (return_statement return ;) })) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = (binary_expression (subscript_expression IDENT [ IDENT ]) | IDENT)) ;) }))) (return_statement return ;) })))
(function_definition "void __regparm2 __gmpz_setbit(undefined4 param_1,undefined4 param_2,uint param_3)\n\n{\n  uint *puVar1;\n  int *piVar2;\n  uint *puVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int *unaff_retaddr;\n  \n  iVar6 = 1;\n  entry(param_2,0x31a5e);\n  uVar5 = unaff_retaddr[1];\n  uVar7 = iVar6 << ((byte)param_3 & 0x1f);\n  piVar2 = (int *)unaff_retaddr[2];\n  param_3 = param_3 >> 5;\n  if ((int)uVar5 < 0) {\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }\n  return;\n}" (primitive_type "void") (ERROR "__regparm2" (identifier "__regparm2")) (function_declarator "__gmpz_setbit(undefined4 param_1,undefined4 param_2,uint param_3)" (identifier "__gmpz_setbit") (parameter_list "(undefined4 param_1,undefined4 param_2,uint param_3)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) () ")"))) (compound_statement "{\n  uint *puVar1;\n  int *piVar2;\n  uint *puVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  uint uVar7;\n  int *unaff_retaddr;\n  \n  iVar6 = 1;\n  entry(param_2,0x31a5e);\n  uVar5 = unaff_retaddr[1];\n  uVar7 = iVar6 << ((byte)param_3 & 0x1f);\n  piVar2 = (int *)unaff_retaddr[2];\n  param_3 = param_3 >> 5;\n  if ((int)uVar5 < 0) {\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }\n  return;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "int *piVar2;" (primitive_type "int") (pointer_declarator "*piVar2" (* "*") (identifier "piVar2")) (; ";")) (declaration "uint *puVar3;" (type_identifier "uint") (pointer_declarator "*puVar3" (* "*") (identifier "puVar3")) (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (declaration "uint uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (declaration "int *unaff_retaddr;" (primitive_type "int") (pointer_declarator "*unaff_retaddr" (* "*") (identifier "unaff_retaddr")) (; ";")) (expression_statement "iVar6 = 1;" (assignment_expression "iVar6 = 1" (identifier "iVar6") (= "=") (number_literal "1")) (; ";")) (expression_statement "entry(param_2,0x31a5e);" (call_expression "entry(param_2,0x31a5e)" (identifier "entry") (argument_list "(param_2,0x31a5e)" (( "(") (identifier "param_2") (, ",") (number_literal "0x31a5e") () ")"))) (; ";")) (expression_statement "uVar5 = unaff_retaddr[1];" (assignment_expression "uVar5 = unaff_retaddr[1]" (identifier "uVar5") (= "=") (subscript_expression "unaff_retaddr[1]" (identifier "unaff_retaddr") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "uVar7 = iVar6 << ((byte)param_3 & 0x1f);" (assignment_expression "uVar7 = iVar6 << ((byte)param_3 & 0x1f)" (identifier "uVar7") (= "=") (binary_expression "iVar6 << ((byte)param_3 & 0x1f)" (identifier "iVar6") (<< "<<") (parenthesized_expression "((byte)param_3 & 0x1f)" (( "(") (binary_expression "(byte)param_3 & 0x1f" (cast_expression "(byte)param_3" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "param_3")) (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "piVar2 = (int *)unaff_retaddr[2];" (assignment_expression "piVar2 = (int *)unaff_retaddr[2]" (identifier "piVar2") (= "=") (cast_expression "(int *)unaff_retaddr[2]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "unaff_retaddr[2]" (identifier "unaff_retaddr") ([ "[") (number_literal "2") (] "]")))) (; ";")) (expression_statement "param_3 = param_3 >> 5;" (assignment_expression "param_3 = param_3 >> 5" (identifier "param_3") (= "=") (binary_expression "param_3 >> 5" (identifier "param_3") (>> ">>") (number_literal "5"))) (; ";")) (if_statement "if ((int)uVar5 < 0) {\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }\n  else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }" (if "if") (parenthesized_expression "((int)uVar5 < 0)" (( "(") (binary_expression "(int)uVar5 < 0" (cast_expression "(int)uVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar5")) (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }\n  }" ({ "{") (if_statement "if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }" (if "if") (parenthesized_expression "(SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0)" (( "(") (binary_expression "SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0" (call_expression "SBORROW4(param_3,-uVar5)" (identifier "SBORROW4") (argument_list "(param_3,-uVar5)" (( "(") (identifier "param_3") (, ",") (unary_expression "-uVar5" (- "-") (identifier "uVar5")) () ")"))) (!= "!=") (binary_expression "(int)(param_3 + uVar5) < 0" (cast_expression "(int)(param_3 + uVar5)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "(param_3 + uVar5)" (( "(") (binary_expression "param_3 + uVar5" (identifier "param_3") (+ "+") (identifier "uVar5")) () ")"))) (< "<") (number_literal "0"))) () ")")) (compound_statement "{\n      uVar4 = 0;\n      iVar6 = *piVar2;\n      while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }\n      puVar3 = (uint *)(piVar2 + param_3);\n      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }\n    }" ({ "{") (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar6 = *piVar2;" (assignment_expression "iVar6 = *piVar2" (identifier "iVar6") (= "=") (pointer_expression "*piVar2" (* "*") (identifier "piVar2"))) (; ";")) (while_statement "while (iVar6 == 0) {\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }" (while "while") (parenthesized_expression "(iVar6 == 0)" (( "(") (binary_expression "iVar6 == 0" (identifier "iVar6") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n        uVar4 = uVar4 + 1;\n        iVar6 = piVar2[uVar4];\n      }" ({ "{") (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" (identifier "uVar4") (= "=") (binary_expression "uVar4 + 1" (identifier "uVar4") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "iVar6 = piVar2[uVar4];" (assignment_expression "iVar6 = piVar2[uVar4]" (identifier "iVar6") (= "=") (subscript_expression "piVar2[uVar4]" (identifier "piVar2") ([ "[") (identifier "uVar4") (] "]"))) (; ";")) (} "}"))) (expression_statement "puVar3 = (uint *)(piVar2 + param_3);" (assignment_expression "puVar3 = (uint *)(piVar2 + param_3)" (identifier "puVar3") (= "=") (cast_expression "(uint *)(piVar2 + param_3)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(piVar2 + param_3)" (( "(") (binary_expression "piVar2 + param_3" (identifier "piVar2") (+ "+") (identifier "param_3")) () ")")))) (; ";")) (if_statement "if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }\n      else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }" (if "if") (parenthesized_expression "(param_3 == uVar4 || (int)param_3 < (int)uVar4)" (( "(") (binary_expression "param_3 == uVar4 || (int)param_3 < (int)uVar4" (binary_expression "param_3 == uVar4" (identifier "param_3") (== "==") (identifier "uVar4")) (|| "||") (binary_expression "(int)param_3 < (int)uVar4" (cast_expression "(int)param_3" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_3")) (< "<") (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4")))) () ")")) (compound_statement "{\n        if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }\n      }" ({ "{") (if_statement "if (param_3 == uVar4) {\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }\n        else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }" (if "if") (parenthesized_expression "(param_3 == uVar4)" (( "(") (binary_expression "param_3 == uVar4" (identifier "param_3") (== "==") (identifier "uVar4")) () ")")) (compound_statement "{\n          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;\n        }" ({ "{") (expression_statement "*puVar3 = (~uVar7 & *puVar3 - 1) + 1;" (assignment_expression "*puVar3 = (~uVar7 & *puVar3 - 1) + 1" (pointer_expression "*puVar3" (* "*") (identifier "puVar3")) (= "=") (binary_expression "(~uVar7 & *puVar3 - 1) + 1" (parenthesized_expression "(~uVar7 & *puVar3 - 1)" (( "(") (binary_expression "~uVar7 & *puVar3 - 1" (unary_expression "~uVar7" (~ "~") (identifier "uVar7")) (& "&") (binary_expression "*puVar3 - 1" (pointer_expression "*puVar3" (* "*") (identifier "puVar3")) (- "-") (number_literal "1"))) () ")")) (+ "+") (number_literal "1"))) (; ";")) (} "}")) (else_clause "else {\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }" (else "else") (compound_statement "{\n          uVar4 = *puVar3;\n          *puVar3 = *puVar3 - uVar7;\n          if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }\n          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);\n        }" ({ "{") (expression_statement "uVar4 = *puVar3;" (assignment_expression "uVar4 = *puVar3" (identifier "uVar4") (= "=") (pointer_expression "*puVar3" (* "*") (identifier "puVar3"))) (; ";")) (expression_statement "*puVar3 = *puVar3 - uVar7;" (assignment_expression "*puVar3 = *puVar3 - uVar7" (pointer_expression "*puVar3" (* "*") (identifier "puVar3")) (= "=") (binary_expression "*puVar3 - uVar7" (pointer_expression "*puVar3" (* "*") (identifier "puVar3")) (- "-") (identifier "uVar7"))) (; ";")) (if_statement "if (uVar4 < uVar7) {\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }" (if "if") (parenthesized_expression "(uVar4 < uVar7)" (( "(") (binary_expression "uVar4 < uVar7" (identifier "uVar4") (< "<") (identifier "uVar7")) () ")")) (compound_statement "{\n            do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);\n          }" ({ "{") (do_statement "do {\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            } while (uVar7 == 0);" (do "do") (compound_statement "{\n              puVar1 = puVar3 + 1;\n              uVar7 = *puVar1;\n              *puVar1 = *puVar1 - 1;\n              puVar3 = puVar3 + 1;\n            }" ({ "{") (expression_statement "puVar1 = puVar3 + 1;" (assignment_expression "puVar1 = puVar3 + 1" (identifier "puVar1") (= "=") (binary_expression "puVar3 + 1" (identifier "puVar3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar7 = *puVar1;" (assignment_expression "uVar7 = *puVar1" (identifier "uVar7") (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (expression_statement "*puVar1 = *puVar1 - 1;" (assignment_expression "*puVar1 = *puVar1 - 1" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (binary_expression "*puVar1 - 1" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (- "-") (number_literal "1"))) (; ";")) (expression_statement "puVar3 = puVar3 + 1;" (assignment_expression "puVar3 = puVar3 + 1" (identifier "puVar3") (= "=") (binary_expression "puVar3 + 1" (identifier "puVar3") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(uVar7 == 0)" (( "(") (binary_expression "uVar7 == 0" (identifier "uVar7") (== "==") (number_literal "0")) () ")")) (; ";")) (} "}"))) (expression_statement "unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);" (assignment_expression "unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0)" (subscript_expression "unaff_retaddr[1]" (identifier "unaff_retaddr") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "uVar5 + (piVar2[0x3fffffff - uVar5] == 0)" (identifier "uVar5") (+ "+") (parenthesized_expression "(piVar2[0x3fffffff - uVar5] == 0)" (( "(") (binary_expression "piVar2[0x3fffffff - uVar5] == 0" (subscript_expression "piVar2[0x3fffffff - uVar5]" (identifier "piVar2") ([ "[") (binary_expression "0x3fffffff - uVar5" (number_literal "0x3fffffff") (- "-") (identifier "uVar5")) (] "]")) (== "==") (number_literal "0")) () ")")))) (; ";")) (} "}")))) (} "}")) (else_clause "else {\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }" (else "else") (compound_statement "{\n        *puVar3 = *puVar3 & ~uVar7;\n        if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }\n      }" ({ "{") (expression_statement "*puVar3 = *puVar3 & ~uVar7;" (assignment_expression "*puVar3 = *puVar3 & ~uVar7" (pointer_expression "*puVar3" (* "*") (identifier "puVar3")) (= "=") (binary_expression "*puVar3 & ~uVar7" (pointer_expression "*puVar3" (* "*") (identifier "puVar3")) (& "&") (unary_expression "~uVar7" (~ "~") (identifier "uVar7")))) (; ";")) (if_statement "if ((*puVar3 == 0) + param_3 == -uVar5) {\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }" (if "if") (parenthesized_expression "((*puVar3 == 0) + param_3 == -uVar5)" (( "(") (binary_expression "(*puVar3 == 0) + param_3 == -uVar5" (binary_expression "(*puVar3 == 0) + param_3" (parenthesized_expression "(*puVar3 == 0)" (( "(") (binary_expression "*puVar3 == 0" (pointer_expression "*puVar3" (* "*") (identifier "puVar3")) (== "==") (number_literal "0")) () ")")) (+ "+") (identifier "param_3")) (== "==") (unary_expression "-uVar5" (- "-") (identifier "uVar5"))) () ")")) (compound_statement "{\n          uVar5 = -param_3;\n          if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }\nLAB_00031b91:\n          unaff_retaddr[1] = uVar5;\n        }" ({ "{") (expression_statement "uVar5 = -param_3;" (assignment_expression "uVar5 = -param_3" (identifier "uVar5") (= "=") (unary_expression "-param_3" (- "-") (identifier "param_3"))) (; ";")) (if_statement "if (piVar2[param_3 - 1] == 0) {\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }" (if "if") (parenthesized_expression "(piVar2[param_3 - 1] == 0)" (( "(") (binary_expression "piVar2[param_3 - 1] == 0" (subscript_expression "piVar2[param_3 - 1]" (identifier "piVar2") ([ "[") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1")) (] "]")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n            do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);\n            uVar5 = 1 - uVar7;\n          }" ({ "{") (do_statement "do {\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            } while (piVar2[uVar7 - 2] == 0);" (do "do") (compound_statement "{\n              uVar7 = param_3;\n              uVar5 = uVar7 - 1;\n              if (uVar5 == 0) goto LAB_00031b91;\n              param_3 = uVar5;\n            }" ({ "{") (expression_statement "uVar7 = param_3;" (assignment_expression "uVar7 = param_3" (identifier "uVar7") (= "=") (identifier "param_3")) (; ";")) (expression_statement "uVar5 = uVar7 - 1;" (assignment_expression "uVar5 = uVar7 - 1" (identifier "uVar5") (= "=") (binary_expression "uVar7 - 1" (identifier "uVar7") (- "-") (number_literal "1"))) (; ";")) (if_statement "if (uVar5 == 0) goto LAB_00031b91;" (if "if") (parenthesized_expression "(uVar5 == 0)" (( "(") (binary_expression "uVar5 == 0" (identifier "uVar5") (== "==") (number_literal "0")) () ")")) (goto_statement "goto LAB_00031b91;" (goto "goto") (statement_identifier "LAB_00031b91") (; ";"))) (expression_statement "param_3 = uVar5;" (assignment_expression "param_3 = uVar5" (identifier "param_3") (= "=") (identifier "uVar5")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(piVar2[uVar7 - 2] == 0)" (( "(") (binary_expression "piVar2[uVar7 - 2] == 0" (subscript_expression "piVar2[uVar7 - 2]" (identifier "piVar2") ([ "[") (binary_expression "uVar7 - 2" (identifier "uVar7") (- "-") (number_literal "2")) (] "]")) (== "==") (number_literal "0")) () ")")) (; ";")) (expression_statement "uVar5 = 1 - uVar7;" (assignment_expression "uVar5 = 1 - uVar7" (identifier "uVar5") (= "=") (binary_expression "1 - uVar7" (number_literal "1") (- "-") (identifier "uVar7"))) (; ";")) (} "}"))) (labeled_statement "LAB_00031b91:\n          unaff_retaddr[1] = uVar5;" (statement_identifier "LAB_00031b91") (: ":") (expression_statement "unaff_retaddr[1] = uVar5;" (assignment_expression "unaff_retaddr[1] = uVar5" (subscript_expression "unaff_retaddr[1]" (identifier "unaff_retaddr") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "uVar5")) (; ";"))) (} "}"))) (} "}")))) (} "}"))) (} "}")) (else_clause "else {\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }" (else "else") (compound_statement "{\n    if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }\n    piVar2[param_3] = piVar2[param_3] | uVar7;\n  }" ({ "{") (if_statement "if ((int)uVar5 <= (int)param_3) {\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }" (if "if") (parenthesized_expression "((int)uVar5 <= (int)param_3)" (( "(") (binary_expression "(int)uVar5 <= (int)param_3" (cast_expression "(int)uVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar5")) (<= "<=") (cast_expression "(int)param_3" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_3"))) () ")")) (compound_statement "{\n      if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }\n      unaff_retaddr[1] = param_3 + 1;\n      if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }\n      piVar2[param_3] = uVar7;\n      return;\n    }" ({ "{") (if_statement "if (*unaff_retaddr <= (int)param_3) {\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }" (if "if") (parenthesized_expression "(*unaff_retaddr <= (int)param_3)" (( "(") (binary_expression "*unaff_retaddr <= (int)param_3" (pointer_expression "*unaff_retaddr" (* "*") (identifier "unaff_retaddr")) (<= "<=") (cast_expression "(int)param_3" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_3"))) () ")")) (compound_statement "{\n        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);\n      }" ({ "{") (expression_statement "piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);" (assignment_expression "piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1)" (identifier "piVar2") (= "=") (cast_expression "(int *)__gmpz_realloc(unaff_retaddr,param_3 + 1)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "__gmpz_realloc(unaff_retaddr,param_3 + 1)" (identifier "__gmpz_realloc") (argument_list "(unaff_retaddr,param_3 + 1)" (( "(") (identifier "unaff_retaddr") (, ",") (binary_expression "param_3 + 1" (identifier "param_3") (+ "+") (number_literal "1")) () ")"))))) (; ";")) (} "}"))) (expression_statement "unaff_retaddr[1] = param_3 + 1;" (assignment_expression "unaff_retaddr[1] = param_3 + 1" (subscript_expression "unaff_retaddr[1]" (identifier "unaff_retaddr") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "param_3 + 1" (identifier "param_3") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (uVar5 != param_3) {\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }" (if "if") (parenthesized_expression "(uVar5 != param_3)" (( "(") (binary_expression "uVar5 != param_3" (identifier "uVar5") (!= "!=") (identifier "param_3")) () ")")) (compound_statement "{\n        iVar6 = 0;\n        do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);\n      }" ({ "{") (expression_statement "iVar6 = 0;" (assignment_expression "iVar6 = 0" (identifier "iVar6") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        } while (iVar6 != param_3 - uVar5);" (do "do") (compound_statement "{\n          piVar2[uVar5 + iVar6] = 0;\n          iVar6 = iVar6 + 1;\n        }" ({ "{") (expression_statement "piVar2[uVar5 + iVar6] = 0;" (assignment_expression "piVar2[uVar5 + iVar6] = 0" (subscript_expression "piVar2[uVar5 + iVar6]" (identifier "piVar2") ([ "[") (binary_expression "uVar5 + iVar6" (identifier "uVar5") (+ "+") (identifier "iVar6")) (] "]")) (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" (identifier "iVar6") (= "=") (binary_expression "iVar6 + 1" (identifier "iVar6") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar6 != param_3 - uVar5)" (( "(") (binary_expression "iVar6 != param_3 - uVar5" (identifier "iVar6") (!= "!=") (binary_expression "param_3 - uVar5" (identifier "param_3") (- "-") (identifier "uVar5"))) () ")")) (; ";")) (} "}"))) (expression_statement "piVar2[param_3] = uVar7;" (assignment_expression "piVar2[param_3] = uVar7" (subscript_expression "piVar2[param_3]" (identifier "piVar2") ([ "[") (identifier "param_3") (] "]")) (= "=") (identifier "uVar7")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "piVar2[param_3] = piVar2[param_3] | uVar7;" (assignment_expression "piVar2[param_3] = piVar2[param_3] | uVar7" (subscript_expression "piVar2[param_3]" (identifier "piVar2") ([ "[") (identifier "param_3") (] "]")) (= "=") (binary_expression "piVar2[param_3] | uVar7" (subscript_expression "piVar2[param_3]" (identifier "piVar2") ([ "[") (identifier "param_3") (] "]")) (| "|") (identifier "uVar7"))) (; ";")) (} "}")))) (return_statement "return;" (return "return") (; ";")) (} "}")))

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

void function_1(type_1 d,type_2 var_1)

{
  type_3 *puVar1;
  type_4 var_5;
  type_4 *var_7;
  type_3 *var_9;
  int var_11;
  type_3 var_6;
  type_3 var_3;
  type_3 var_4;
  type_4 dlimb;
  type_3 var_8;
  
  var_4 = d->_mp_size;
  var_8 = 1 << ((type_5)var_1 & 0x1f);
  var_7 = d->_mp_d;
  var_3 = var_1 >> 5;
  if ((int)var_4 < 0) {
    if (var_2(var_3,-var_4) != (int)(var_3 + var_4) < 0) {
      var_6 = 0;
      var_5 = *var_7;
      while (var_5 == 0) {
        var_6 = var_6 + 1;
        var_5 = var_7[var_6];
      }
      var_9 = var_7 + var_3;
      if (var_3 == var_6 || (int)var_3 < (int)var_6) {
        if (var_3 == var_6) {
          *var_9 = (~var_8 & *var_9 - 1) + 1;
        }
        else {
          var_3 = *var_9;
          *var_9 = *var_9 - var_8;
          if (var_3 < var_8) {
            do {
              puVar1 = var_9 + 1;
              var_3 = *puVar1;
              *puVar1 = *puVar1 - 1;
              var_9 = var_9 + 1;
            } while (var_3 == 0);
          }
          d->_mp_size = var_4 + (var_7[0x3fffffff - var_4] == 0);
        }
      }
      else {
        *var_9 = *var_9 & ~var_8;
        if ((*var_9 == 0) + var_3 == -var_4) {
          var_4 = -var_3;
          if (var_7[var_3 - 1] == 0) {
            do {
              var_8 = var_3;
              var_4 = var_8 - 1;
              if (var_4 == 0) goto LAB_00031b91;
              var_3 = var_4;
            } while (var_7[var_8 - 2] == 0);
            var_4 = 1 - var_8;
          }
LAB_00031b91:
          d->_mp_size = var_4;
        }
      }
    }
  }
  else {
    if ((int)var_4 <= (int)var_3) {
      if (d->_mp_alloc <= (int)var_3) {
        var_7 = (type_4 *)var_10(d,var_3 + 1);
      }
      d->_mp_size = var_3 + 1;
      if (var_4 != var_3) {
        var_11 = 0;
        do {
          var_7[var_4 + var_11] = 0;
          var_11 = var_11 + 1;
        } while (var_11 != var_3 - var_4);
      }
      var_7[var_3] = var_8;
      return;
    }
    var_7[var_3] = var_7[var_3] | var_8;
  }
  return;
}


(translation_unit (function_definition type: (primitive_type) (ERROR (identifier)) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (call_expression function: (identifier) arguments: (argument_list (identifier) (unary_expression argument: (identifier)))) right: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (identifier) right: (identifier)))) right: (number_literal)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (while_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (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: (identifier) right: (identifier)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier))))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (parenthesized_expression (binary_expression left: (unary_expression argument: (identifier)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal)))) right: (number_literal))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (binary_expression left: (number_literal) right: (identifier))) right: (number_literal)))))))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (unary_expression argument: (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) right: (identifier)) right: (unary_expression argument: (identifier)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) consequence: (compound_statement (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (assignment_expression left: (identifier) right: (identifier)))) condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (binary_expression left: (identifier) right: (number_literal))) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (number_literal) right: (identifier)))))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier)))))))))))) alternative: (else_clause (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) consequence: (compound_statement (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 (identifier) (binary_expression left: (identifier) right: (number_literal))))))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (binary_expression left: (identifier) right: (identifier))) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (identifier))) (return_statement))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (binary_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (identifier))))))) (return_statement))))

void __regparm2 MASKED(undefined4 param_1,undefined4 param_2,uint param_3)

{
  uint *puVar1;
  int *piVar2;
  uint *puVar3;
  uint uVar4;
  uint uVar5;
  int iVar6;
  uint uVar7;
  int *unaff_retaddr;
  
  iVar6 = 1;
  entry(param_2,0x31a5e);
  uVar5 = unaff_retaddr[1];
  uVar7 = iVar6 << ((byte)param_3 & 0x1f);
  piVar2 = (int *)unaff_retaddr[2];
  param_3 = param_3 >> 5;
  if ((int)uVar5 < 0) {
    if (SBORROW4(param_3,-uVar5) != (int)(param_3 + uVar5) < 0) {
      uVar4 = 0;
      iVar6 = *piVar2;
      while (iVar6 == 0) {
        uVar4 = uVar4 + 1;
        iVar6 = piVar2[uVar4];
      }
      puVar3 = (uint *)(piVar2 + param_3);
      if (param_3 == uVar4 || (int)param_3 < (int)uVar4) {
        if (param_3 == uVar4) {
          *puVar3 = (~uVar7 & *puVar3 - 1) + 1;
        }
        else {
          uVar4 = *puVar3;
          *puVar3 = *puVar3 - uVar7;
          if (uVar4 < uVar7) {
            do {
              puVar1 = puVar3 + 1;
              uVar7 = *puVar1;
              *puVar1 = *puVar1 - 1;
              puVar3 = puVar3 + 1;
            } while (uVar7 == 0);
          }
          unaff_retaddr[1] = uVar5 + (piVar2[0x3fffffff - uVar5] == 0);
        }
      }
      else {
        *puVar3 = *puVar3 & ~uVar7;
        if ((*puVar3 == 0) + param_3 == -uVar5) {
          uVar5 = -param_3;
          if (piVar2[param_3 - 1] == 0) {
            do {
              uVar7 = param_3;
              uVar5 = uVar7 - 1;
              if (uVar5 == 0) goto LAB_00031b91;
              param_3 = uVar5;
            } while (piVar2[uVar7 - 2] == 0);
            uVar5 = 1 - uVar7;
          }
LAB_00031b91:
          unaff_retaddr[1] = uVar5;
        }
      }
    }
  }
  else {
    if ((int)uVar5 <= (int)param_3) {
      if (*unaff_retaddr <= (int)param_3) {
        piVar2 = (int *)__gmpz_realloc(unaff_retaddr,param_3 + 1);
      }
      unaff_retaddr[1] = param_3 + 1;
      if (uVar5 != param_3) {
        iVar6 = 0;
        do {
          piVar2[uVar5 + iVar6] = 0;
          iVar6 = iVar6 + 1;
        } while (iVar6 != param_3 - uVar5);
      }
      piVar2[param_3] = uVar7;
      return;
    }
    piVar2[param_3] = piVar2[param_3] | uVar7;
  }
  return;
}

