
int file_has_acl(char *name,stat *sb)

{
  undefined3 extraout_var;
  int iVar1;
  _Bool _Var3;
  int *piVar2;
  
  if ((sb->st_mode & 0xf000) == 0xa000) {
    return 0;
  }
  iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x65fc,0,0);
  if (iVar1 < 0) {
    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();
    iVar1 = *piVar2;
    if (iVar1 != 0x3d) goto LAB_0001f58c;
  }
  else if (iVar1 != 0) {
    return 1;
  }
  if ((sb->st_mode & 0xf000) == 0x4000) {
    iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x6614,0,0);
    if (iVar1 < 0) {
      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();
      iVar1 = *piVar2;
      if (iVar1 != 0x3d) {
LAB_0001f58c:
        _Var3 = acl_errno_valid(iVar1);
        return -CONCAT31(extraout_var,_Var3);
      }
    }
    else if (iVar1 != 0) {
      return 1;
    }
  }
  return 0;
}



int file_has_acl(undefined4 param_1,int param_2)

{
  int iVar1;
  int *piVar2;
  
  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {
    return 0;
  }
  iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);
  if (iVar1 < 0) {
    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();
    if (*piVar2 != 0x3d) goto LAB_0001f58c;
  }
  else if (iVar1 != 0) {
    return 1;
  }
  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {
    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);
    if (iVar1 < 0) {
      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();
      if (*piVar2 != 0x3d) {
LAB_0001f58c:
        iVar1 = acl_errno_valid();
        return -iVar1;
      }
    }
    else if (iVar1 != 0) {
      return 1;
    }
  }
  return 0;
}


lui gp,0x3
addiu gp,gp,0x1cf0
addu gp,gp,t9
lw v0,0x18(a1)
ori v1,zero,0xa000
andi v0,v0,0xf000
bne v0,v1,0x0001f518
_or v0,zero,zero
jr ra
_nop
addiu sp,sp,-0x28
lw t9,-0x7d30(gp)
or a3,zero,zero
or a2,zero,zero
sw s0,0x1c(sp)
or s0,a1,zero
sw gp,0x10(sp)
sw s1,0x20(sp)
or s1,a0,zero
sw ra,0x24(sp)
lw a1,-0x7fc8(gp)
jalr t9
_addiu a1,a1,0x65fc
bltz v0,0x0001f570
_lw gp,0x10(sp)
beq v0,zero,0x0001f5b0
_lw ra,0x24(sp)
li v0,0x1
lw s1,0x20(sp)
lw s0,0x1c(sp)
jr ra
_addiu sp,sp,0x28
lw t9,-0x7cc8(gp)
jalr t9
_nop
li v1,0x3d
lw a0,0x0(v0)
beq a0,v1,0x0001f5b0
_lw gp,0x10(sp)
lw t9,-0x7e78(gp)
bal 0x0002f560
_nop
lw ra,0x24(sp)
subu v0,zero,v0
lw s1,0x20(sp)
lw s0,0x1c(sp)
jr ra
_addiu sp,sp,0x28
lw v0,0x18(s0)
li v1,0x4000
andi v0,v0,0xf000
beq v0,v1,0x0001f5d8
_or v0,zero,zero
lw ra,0x24(sp)
lw s1,0x20(sp)
lw s0,0x1c(sp)
jr ra
_addiu sp,sp,0x28
lw a1,-0x7fc8(gp)
or a3,zero,zero
lw t9,-0x7d30(gp)
or a2,zero,zero
or a0,s1,zero
jalr t9
_addiu a1,a1,0x6614
bltz v0,0x0001f60c
_lw gp,0x10(sp)
bne v0,zero,0x0001f55c
_lw ra,0x24(sp)
b 0x0001f5c8
_or v0,zero,zero
lw t9,-0x7cc8(gp)
jalr t9
_nop
li v1,0x3d
lw a0,0x0(v0)
bne a0,v1,0x0001f58c
_lw gp,0x10(sp)
b 0x0001f5c4
_or v0,zero,zero
(translation_unit "int file_has_acl(undefined4 param_1,int param_2)\n\n{\n  int iVar1;\n  int *piVar2;\n  \n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {\n    return 0;\n  }\n  iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);\n  if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }\n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }\n  return 0;\n}\n\n" (function_definition "int file_has_acl(undefined4 param_1,int param_2)\n\n{\n  int iVar1;\n  int *piVar2;\n  \n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {\n    return 0;\n  }\n  iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);\n  if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }\n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }\n  return 0;\n}" primitive_type (function_declarator "file_has_acl(undefined4 param_1,int param_2)" identifier (parameter_list "(undefined4 param_1,int param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  \n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {\n    return 0;\n  }\n  iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);\n  if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }\n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (if_statement "if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {\n    return 0;\n  }" if (parenthesized_expression "((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000)" ( (binary_expression "(*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000" (parenthesized_expression "(*(uint *)(param_2 + 0x18) & 0xf000)" ( (binary_expression "*(uint *)(param_2 + 0x18) & 0xf000" (pointer_expression "*(uint *)(param_2 + 0x18)" * (cast_expression "(uint *)(param_2 + 0x18)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) & number_literal) )) == number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);" (assignment_expression "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0)" identifier = (call_expression "(*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0)" (parenthesized_expression "(*(code *)PTR_getxattr_000494b0)" ( (pointer_expression "*(code *)PTR_getxattr_000494b0" * (cast_expression "(code *)PTR_getxattr_000494b0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,PTR_LAB_00049218 + 0x65fc,0,0)" ( identifier , (binary_expression "PTR_LAB_00049218 + 0x65fc" identifier + number_literal) , number_literal , number_literal )))) ;) (if_statement "if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }" { (expression_statement "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();" (assignment_expression "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)()" identifier = (cast_expression "(int *)(*(code *)PTR___errno_location_00049518)()" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR___errno_location_00049518)()" (parenthesized_expression "(*(code *)PTR___errno_location_00049518)" ( (pointer_expression "*(code *)PTR___errno_location_00049518" * (cast_expression "(code *)PTR___errno_location_00049518" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))))) ;) (if_statement "if (*piVar2 != 0x3d) goto LAB_0001f58c;" if (parenthesized_expression "(*piVar2 != 0x3d)" ( (binary_expression "*piVar2 != 0x3d" (pointer_expression "*piVar2" * identifier) != number_literal) )) (goto_statement "goto LAB_0001f58c;" goto statement_identifier ;)) }) (else_clause "else if (iVar1 != 0) {\n    return 1;\n  }" else (if_statement "if (iVar1 != 0) {\n    return 1;\n  }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n    return 1;\n  }" { (return_statement "return 1;" return number_literal ;) })))) (if_statement "if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }" if (parenthesized_expression "((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000)" ( (binary_expression "(*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000" (parenthesized_expression "(*(uint *)(param_2 + 0x18) & 0xf000)" ( (binary_expression "*(uint *)(param_2 + 0x18) & 0xf000" (pointer_expression "*(uint *)(param_2 + 0x18)" * (cast_expression "(uint *)(param_2 + 0x18)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) & number_literal) )) == number_literal) )) (compound_statement "{\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }" { (expression_statement "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);" (assignment_expression "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0)" identifier = (call_expression "(*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0)" (parenthesized_expression "(*(code *)PTR_getxattr_000494b0)" ( (pointer_expression "*(code *)PTR_getxattr_000494b0" * (cast_expression "(code *)PTR_getxattr_000494b0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,PTR_LAB_00049218 + 0x6614,0,0)" ( identifier , (binary_expression "PTR_LAB_00049218 + 0x6614" identifier + number_literal) , number_literal , number_literal )))) ;) (if_statement "if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }" { (expression_statement "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();" (assignment_expression "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)()" identifier = (cast_expression "(int *)(*(code *)PTR___errno_location_00049518)()" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR___errno_location_00049518)()" (parenthesized_expression "(*(code *)PTR___errno_location_00049518)" ( (pointer_expression "*(code *)PTR___errno_location_00049518" * (cast_expression "(code *)PTR___errno_location_00049518" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))))) ;) (if_statement "if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }" if (parenthesized_expression "(*piVar2 != 0x3d)" ( (binary_expression "*piVar2 != 0x3d" (pointer_expression "*piVar2" * identifier) != number_literal) )) (compound_statement "{\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }" { (labeled_statement "LAB_0001f58c:\n        iVar1 = acl_errno_valid();" statement_identifier : (expression_statement "iVar1 = acl_errno_valid();" (assignment_expression "iVar1 = acl_errno_valid()" identifier = (call_expression "acl_errno_valid()" identifier (argument_list "()" ( )))) ;)) (return_statement "return -iVar1;" return (unary_expression "-iVar1" - identifier) ;) })) }) (else_clause "else if (iVar1 != 0) {\n      return 1;\n    }" else (if_statement "if (iVar1 != 0) {\n      return 1;\n    }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })))) })) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "int file_has_acl(char *name,stat *sb)\n\n{\n  undefined3 extraout_var;\n  int iVar1;\n  _Bool _Var3;\n  int *piVar2;\n  \n  if ((sb->st_mode & 0xf000) == 0xa000) {\n    return 0;\n  }\n  iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x65fc,0,0);\n  if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    iVar1 = *piVar2;\n    if (iVar1 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }\n  if ((sb->st_mode & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      iVar1 = *piVar2;\n      if (iVar1 != 0x3d) {\nLAB_0001f58c:\n        _Var3 = acl_errno_valid(iVar1);\n        return -CONCAT31(extraout_var,_Var3);\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }\n  return 0;\n}\n\n" (function_definition "int file_has_acl(char *name,stat *sb)\n\n{\n  undefined3 extraout_var;\n  int iVar1;\n  _Bool _Var3;\n  int *piVar2;\n  \n  if ((sb->st_mode & 0xf000) == 0xa000) {\n    return 0;\n  }\n  iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x65fc,0,0);\n  if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    iVar1 = *piVar2;\n    if (iVar1 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }\n  if ((sb->st_mode & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      iVar1 = *piVar2;\n      if (iVar1 != 0x3d) {\nLAB_0001f58c:\n        _Var3 = acl_errno_valid(iVar1);\n        return -CONCAT31(extraout_var,_Var3);\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }\n  return 0;\n}" primitive_type (function_declarator "file_has_acl(char *name,stat *sb)" identifier (parameter_list "(char *name,stat *sb)" ( (parameter_declaration "char *name" primitive_type (pointer_declarator "*name" * identifier)) , (parameter_declaration "stat *sb" type_identifier (pointer_declarator "*sb" * identifier)) ))) (compound_statement "{\n  undefined3 extraout_var;\n  int iVar1;\n  _Bool _Var3;\n  int *piVar2;\n  \n  if ((sb->st_mode & 0xf000) == 0xa000) {\n    return 0;\n  }\n  iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x65fc,0,0);\n  if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    iVar1 = *piVar2;\n    if (iVar1 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }\n  if ((sb->st_mode & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      iVar1 = *piVar2;\n      if (iVar1 != 0x3d) {\nLAB_0001f58c:\n        _Var3 = acl_errno_valid(iVar1);\n        return -CONCAT31(extraout_var,_Var3);\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }\n  return 0;\n}" { (declaration "undefined3 extraout_var;" type_identifier identifier ;) (declaration "int iVar1;" primitive_type identifier ;) (declaration "_Bool _Var3;" type_identifier identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (if_statement "if ((sb->st_mode & 0xf000) == 0xa000) {\n    return 0;\n  }" if (parenthesized_expression "((sb->st_mode & 0xf000) == 0xa000)" ( (binary_expression "(sb->st_mode & 0xf000) == 0xa000" (parenthesized_expression "(sb->st_mode & 0xf000)" ( (binary_expression "sb->st_mode & 0xf000" (field_expression "sb->st_mode" identifier -> field_identifier) & number_literal) )) == number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x65fc,0,0);" (assignment_expression "iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x65fc,0,0)" identifier = (call_expression "(*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x65fc,0,0)" (parenthesized_expression "(*(code *)PTR_getxattr_000494b0)" ( (pointer_expression "*(code *)PTR_getxattr_000494b0" * (cast_expression "(code *)PTR_getxattr_000494b0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(name,PTR_LAB_00049218 + 0x65fc,0,0)" ( identifier , (binary_expression "PTR_LAB_00049218 + 0x65fc" identifier + number_literal) , number_literal , number_literal )))) ;) (if_statement "if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    iVar1 = *piVar2;\n    if (iVar1 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    iVar1 = *piVar2;\n    if (iVar1 != 0x3d) goto LAB_0001f58c;\n  }" { (expression_statement "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();" (assignment_expression "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)()" identifier = (cast_expression "(int *)(*(code *)PTR___errno_location_00049518)()" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR___errno_location_00049518)()" (parenthesized_expression "(*(code *)PTR___errno_location_00049518)" ( (pointer_expression "*(code *)PTR___errno_location_00049518" * (cast_expression "(code *)PTR___errno_location_00049518" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))))) ;) (expression_statement "iVar1 = *piVar2;" (assignment_expression "iVar1 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (if_statement "if (iVar1 != 0x3d) goto LAB_0001f58c;" if (parenthesized_expression "(iVar1 != 0x3d)" ( (binary_expression "iVar1 != 0x3d" identifier != number_literal) )) (goto_statement "goto LAB_0001f58c;" goto statement_identifier ;)) }) (else_clause "else if (iVar1 != 0) {\n    return 1;\n  }" else (if_statement "if (iVar1 != 0) {\n    return 1;\n  }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n    return 1;\n  }" { (return_statement "return 1;" return number_literal ;) })))) (if_statement "if ((sb->st_mode & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      iVar1 = *piVar2;\n      if (iVar1 != 0x3d) {\nLAB_0001f58c:\n        _Var3 = acl_errno_valid(iVar1);\n        return -CONCAT31(extraout_var,_Var3);\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }" if (parenthesized_expression "((sb->st_mode & 0xf000) == 0x4000)" ( (binary_expression "(sb->st_mode & 0xf000) == 0x4000" (parenthesized_expression "(sb->st_mode & 0xf000)" ( (binary_expression "sb->st_mode & 0xf000" (field_expression "sb->st_mode" identifier -> field_identifier) & number_literal) )) == number_literal) )) (compound_statement "{\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      iVar1 = *piVar2;\n      if (iVar1 != 0x3d) {\nLAB_0001f58c:\n        _Var3 = acl_errno_valid(iVar1);\n        return -CONCAT31(extraout_var,_Var3);\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }" { (expression_statement "iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x6614,0,0);" (assignment_expression "iVar1 = (*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x6614,0,0)" identifier = (call_expression "(*(code *)PTR_getxattr_000494b0)(name,PTR_LAB_00049218 + 0x6614,0,0)" (parenthesized_expression "(*(code *)PTR_getxattr_000494b0)" ( (pointer_expression "*(code *)PTR_getxattr_000494b0" * (cast_expression "(code *)PTR_getxattr_000494b0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(name,PTR_LAB_00049218 + 0x6614,0,0)" ( identifier , (binary_expression "PTR_LAB_00049218 + 0x6614" identifier + number_literal) , number_literal , number_literal )))) ;) (if_statement "if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      iVar1 = *piVar2;\n      if (iVar1 != 0x3d) {\nLAB_0001f58c:\n        _Var3 = acl_errno_valid(iVar1);\n        return -CONCAT31(extraout_var,_Var3);\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      iVar1 = *piVar2;\n      if (iVar1 != 0x3d) {\nLAB_0001f58c:\n        _Var3 = acl_errno_valid(iVar1);\n        return -CONCAT31(extraout_var,_Var3);\n      }\n    }" { (expression_statement "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();" (assignment_expression "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)()" identifier = (cast_expression "(int *)(*(code *)PTR___errno_location_00049518)()" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR___errno_location_00049518)()" (parenthesized_expression "(*(code *)PTR___errno_location_00049518)" ( (pointer_expression "*(code *)PTR___errno_location_00049518" * (cast_expression "(code *)PTR___errno_location_00049518" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))))) ;) (expression_statement "iVar1 = *piVar2;" (assignment_expression "iVar1 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (if_statement "if (iVar1 != 0x3d) {\nLAB_0001f58c:\n        _Var3 = acl_errno_valid(iVar1);\n        return -CONCAT31(extraout_var,_Var3);\n      }" if (parenthesized_expression "(iVar1 != 0x3d)" ( (binary_expression "iVar1 != 0x3d" identifier != number_literal) )) (compound_statement "{\nLAB_0001f58c:\n        _Var3 = acl_errno_valid(iVar1);\n        return -CONCAT31(extraout_var,_Var3);\n      }" { (labeled_statement "LAB_0001f58c:\n        _Var3 = acl_errno_valid(iVar1);" statement_identifier : (expression_statement "_Var3 = acl_errno_valid(iVar1);" (assignment_expression "_Var3 = acl_errno_valid(iVar1)" identifier = (call_expression "acl_errno_valid(iVar1)" identifier (argument_list "(iVar1)" ( identifier )))) ;)) (return_statement "return -CONCAT31(extraout_var,_Var3);" return (unary_expression "-CONCAT31(extraout_var,_Var3)" - (call_expression "CONCAT31(extraout_var,_Var3)" identifier (argument_list "(extraout_var,_Var3)" ( identifier , identifier )))) ;) })) }) (else_clause "else if (iVar1 != 0) {\n      return 1;\n    }" else (if_statement "if (iVar1 != 0) {\n      return 1;\n    }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })))) })) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "int file_has_acl(undefined4 param_1,int param_2)\n\n{\n  int iVar1;\n  int *piVar2;\n  \n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {\n    return 0;\n  }\n  iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);\n  if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }\n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }\n  return 0;\n}\n\n" (function_definition "int file_has_acl(undefined4 param_1,int param_2)\n\n{\n  int iVar1;\n  int *piVar2;\n  \n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {\n    return 0;\n  }\n  iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);\n  if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }\n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }\n  return 0;\n}" primitive_type (function_declarator "file_has_acl(undefined4 param_1,int param_2)" identifier (parameter_list "(undefined4 param_1,int param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  \n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {\n    return 0;\n  }\n  iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);\n  if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }\n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (if_statement "if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {\n    return 0;\n  }" if (parenthesized_expression "((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000)" ( (binary_expression "(*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000" (parenthesized_expression "(*(uint *)(param_2 + 0x18) & 0xf000)" ( (binary_expression "*(uint *)(param_2 + 0x18) & 0xf000" (pointer_expression "*(uint *)(param_2 + 0x18)" * (cast_expression "(uint *)(param_2 + 0x18)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) & number_literal) )) == number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);" (assignment_expression "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0)" identifier = (call_expression "(*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0)" (parenthesized_expression "(*(code *)PTR_getxattr_000494b0)" ( (pointer_expression "*(code *)PTR_getxattr_000494b0" * (cast_expression "(code *)PTR_getxattr_000494b0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,PTR_LAB_00049218 + 0x65fc,0,0)" ( identifier , (binary_expression "PTR_LAB_00049218 + 0x65fc" identifier + number_literal) , number_literal , number_literal )))) ;) (if_statement "if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }" { (expression_statement "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();" (assignment_expression "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)()" identifier = (cast_expression "(int *)(*(code *)PTR___errno_location_00049518)()" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR___errno_location_00049518)()" (parenthesized_expression "(*(code *)PTR___errno_location_00049518)" ( (pointer_expression "*(code *)PTR___errno_location_00049518" * (cast_expression "(code *)PTR___errno_location_00049518" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))))) ;) (if_statement "if (*piVar2 != 0x3d) goto LAB_0001f58c;" if (parenthesized_expression "(*piVar2 != 0x3d)" ( (binary_expression "*piVar2 != 0x3d" (pointer_expression "*piVar2" * identifier) != number_literal) )) (goto_statement "goto LAB_0001f58c;" goto statement_identifier ;)) }) (else_clause "else if (iVar1 != 0) {\n    return 1;\n  }" else (if_statement "if (iVar1 != 0) {\n    return 1;\n  }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n    return 1;\n  }" { (return_statement "return 1;" return number_literal ;) })))) (if_statement "if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }" if (parenthesized_expression "((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000)" ( (binary_expression "(*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000" (parenthesized_expression "(*(uint *)(param_2 + 0x18) & 0xf000)" ( (binary_expression "*(uint *)(param_2 + 0x18) & 0xf000" (pointer_expression "*(uint *)(param_2 + 0x18)" * (cast_expression "(uint *)(param_2 + 0x18)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) & number_literal) )) == number_literal) )) (compound_statement "{\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }" { (expression_statement "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);" (assignment_expression "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0)" identifier = (call_expression "(*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0)" (parenthesized_expression "(*(code *)PTR_getxattr_000494b0)" ( (pointer_expression "*(code *)PTR_getxattr_000494b0" * (cast_expression "(code *)PTR_getxattr_000494b0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,PTR_LAB_00049218 + 0x6614,0,0)" ( identifier , (binary_expression "PTR_LAB_00049218 + 0x6614" identifier + number_literal) , number_literal , number_literal )))) ;) (if_statement "if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }" { (expression_statement "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();" (assignment_expression "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)()" identifier = (cast_expression "(int *)(*(code *)PTR___errno_location_00049518)()" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR___errno_location_00049518)()" (parenthesized_expression "(*(code *)PTR___errno_location_00049518)" ( (pointer_expression "*(code *)PTR___errno_location_00049518" * (cast_expression "(code *)PTR___errno_location_00049518" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))))) ;) (if_statement "if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }" if (parenthesized_expression "(*piVar2 != 0x3d)" ( (binary_expression "*piVar2 != 0x3d" (pointer_expression "*piVar2" * identifier) != number_literal) )) (compound_statement "{\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }" { (labeled_statement "LAB_0001f58c:\n        iVar1 = acl_errno_valid();" statement_identifier : (expression_statement "iVar1 = acl_errno_valid();" (assignment_expression "iVar1 = acl_errno_valid()" identifier = (call_expression "acl_errno_valid()" identifier (argument_list "()" ( )))) ;)) (return_statement "return -iVar1;" return (unary_expression "-iVar1" - identifier) ;) })) }) (else_clause "else if (iVar1 != 0) {\n      return 1;\n    }" else (if_statement "if (iVar1 != 0) {\n      return 1;\n    }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })))) })) (return_statement "return 0;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) & LIT) )) == LIT) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , (binary_expression IDENT + LIT) , LIT , LIT )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) (goto_statement goto statement_identifier ;)) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (return_statement return LIT ;) })))) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) & LIT) )) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , (binary_expression IDENT + LIT) , LIT , LIT )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) (compound_statement { (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( )))) ;)) (return_statement return (unary_expression - IDENT) ;) })) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (return_statement return LIT ;) })))) })) (return_statement return LIT ;) })))
(function_definition "int file_has_acl(undefined4 param_1,int param_2)\n\n{\n  int iVar1;\n  int *piVar2;\n  \n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {\n    return 0;\n  }\n  iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);\n  if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }\n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }\n  return 0;\n}" (primitive_type "int") (function_declarator "file_has_acl(undefined4 param_1,int param_2)" (identifier "file_has_acl") (parameter_list "(undefined4 param_1,int param_2)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) () ")"))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  \n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {\n    return 0;\n  }\n  iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);\n  if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }\n  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }\n  return 0;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int *piVar2;" (primitive_type "int") (pointer_declarator "*piVar2" (* "*") (identifier "piVar2")) (; ";")) (if_statement "if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {\n    return 0;\n  }" (if "if") (parenthesized_expression "((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000)" (( "(") (binary_expression "(*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000" (parenthesized_expression "(*(uint *)(param_2 + 0x18) & 0xf000)" (( "(") (binary_expression "*(uint *)(param_2 + 0x18) & 0xf000" (pointer_expression "*(uint *)(param_2 + 0x18)" (* "*") (cast_expression "(uint *)(param_2 + 0x18)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x18)" (( "(") (binary_expression "param_2 + 0x18" (identifier "param_2") (+ "+") (number_literal "0x18")) () ")")))) (& "&") (number_literal "0xf000")) () ")")) (== "==") (number_literal "0xa000")) () ")")) (compound_statement "{\n    return 0;\n  }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);" (assignment_expression "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0)" (identifier "iVar1") (= "=") (call_expression "(*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0)" (parenthesized_expression "(*(code *)PTR_getxattr_000494b0)" (( "(") (pointer_expression "*(code *)PTR_getxattr_000494b0" (* "*") (cast_expression "(code *)PTR_getxattr_000494b0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_getxattr_000494b0"))) () ")")) (argument_list "(param_1,PTR_LAB_00049218 + 0x65fc,0,0)" (( "(") (identifier "param_1") (, ",") (binary_expression "PTR_LAB_00049218 + 0x65fc" (identifier "PTR_LAB_00049218") (+ "+") (number_literal "0x65fc")) (, ",") (number_literal "0") (, ",") (number_literal "0") () ")")))) (; ";")) (if_statement "if (iVar1 < 0) {\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }\n  else if (iVar1 != 0) {\n    return 1;\n  }" (if "if") (parenthesized_expression "(iVar1 < 0)" (( "(") (binary_expression "iVar1 < 0" (identifier "iVar1") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n    if (*piVar2 != 0x3d) goto LAB_0001f58c;\n  }" ({ "{") (expression_statement "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();" (assignment_expression "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)()" (identifier "piVar2") (= "=") (cast_expression "(int *)(*(code *)PTR___errno_location_00049518)()" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "(*(code *)PTR___errno_location_00049518)()" (parenthesized_expression "(*(code *)PTR___errno_location_00049518)" (( "(") (pointer_expression "*(code *)PTR___errno_location_00049518" (* "*") (cast_expression "(code *)PTR___errno_location_00049518" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___errno_location_00049518"))) () ")")) (argument_list "()" (( "(") () ")"))))) (; ";")) (if_statement "if (*piVar2 != 0x3d) goto LAB_0001f58c;" (if "if") (parenthesized_expression "(*piVar2 != 0x3d)" (( "(") (binary_expression "*piVar2 != 0x3d" (pointer_expression "*piVar2" (* "*") (identifier "piVar2")) (!= "!=") (number_literal "0x3d")) () ")")) (goto_statement "goto LAB_0001f58c;" (goto "goto") (statement_identifier "LAB_0001f58c") (; ";"))) (} "}")) (else_clause "else if (iVar1 != 0) {\n    return 1;\n  }" (else "else") (if_statement "if (iVar1 != 0) {\n    return 1;\n  }" (if "if") (parenthesized_expression "(iVar1 != 0)" (( "(") (binary_expression "iVar1 != 0" (identifier "iVar1") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    return 1;\n  }" ({ "{") (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}"))))) (if_statement "if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }" (if "if") (parenthesized_expression "((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000)" (( "(") (binary_expression "(*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000" (parenthesized_expression "(*(uint *)(param_2 + 0x18) & 0xf000)" (( "(") (binary_expression "*(uint *)(param_2 + 0x18) & 0xf000" (pointer_expression "*(uint *)(param_2 + 0x18)" (* "*") (cast_expression "(uint *)(param_2 + 0x18)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x18)" (( "(") (binary_expression "param_2 + 0x18" (identifier "param_2") (+ "+") (number_literal "0x18")) () ")")))) (& "&") (number_literal "0xf000")) () ")")) (== "==") (number_literal "0x4000")) () ")")) (compound_statement "{\n    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);\n    if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }\n  }" ({ "{") (expression_statement "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);" (assignment_expression "iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0)" (identifier "iVar1") (= "=") (call_expression "(*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0)" (parenthesized_expression "(*(code *)PTR_getxattr_000494b0)" (( "(") (pointer_expression "*(code *)PTR_getxattr_000494b0" (* "*") (cast_expression "(code *)PTR_getxattr_000494b0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_getxattr_000494b0"))) () ")")) (argument_list "(param_1,PTR_LAB_00049218 + 0x6614,0,0)" (( "(") (identifier "param_1") (, ",") (binary_expression "PTR_LAB_00049218 + 0x6614" (identifier "PTR_LAB_00049218") (+ "+") (number_literal "0x6614")) (, ",") (number_literal "0") (, ",") (number_literal "0") () ")")))) (; ";")) (if_statement "if (iVar1 < 0) {\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }\n    else if (iVar1 != 0) {\n      return 1;\n    }" (if "if") (parenthesized_expression "(iVar1 < 0)" (( "(") (binary_expression "iVar1 < 0" (identifier "iVar1") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();\n      if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }\n    }" ({ "{") (expression_statement "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();" (assignment_expression "piVar2 = (int *)(*(code *)PTR___errno_location_00049518)()" (identifier "piVar2") (= "=") (cast_expression "(int *)(*(code *)PTR___errno_location_00049518)()" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "(*(code *)PTR___errno_location_00049518)()" (parenthesized_expression "(*(code *)PTR___errno_location_00049518)" (( "(") (pointer_expression "*(code *)PTR___errno_location_00049518" (* "*") (cast_expression "(code *)PTR___errno_location_00049518" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___errno_location_00049518"))) () ")")) (argument_list "()" (( "(") () ")"))))) (; ";")) (if_statement "if (*piVar2 != 0x3d) {\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }" (if "if") (parenthesized_expression "(*piVar2 != 0x3d)" (( "(") (binary_expression "*piVar2 != 0x3d" (pointer_expression "*piVar2" (* "*") (identifier "piVar2")) (!= "!=") (number_literal "0x3d")) () ")")) (compound_statement "{\nLAB_0001f58c:\n        iVar1 = acl_errno_valid();\n        return -iVar1;\n      }" ({ "{") (labeled_statement "LAB_0001f58c:\n        iVar1 = acl_errno_valid();" (statement_identifier "LAB_0001f58c") (: ":") (expression_statement "iVar1 = acl_errno_valid();" (assignment_expression "iVar1 = acl_errno_valid()" (identifier "iVar1") (= "=") (call_expression "acl_errno_valid()" (identifier "acl_errno_valid") (argument_list "()" (( "(") () ")")))) (; ";"))) (return_statement "return -iVar1;" (return "return") (unary_expression "-iVar1" (- "-") (identifier "iVar1")) (; ";")) (} "}"))) (} "}")) (else_clause "else if (iVar1 != 0) {\n      return 1;\n    }" (else "else") (if_statement "if (iVar1 != 0) {\n      return 1;\n    }" (if "if") (parenthesized_expression "(iVar1 != 0)" (( "(") (binary_expression "iVar1 != 0" (identifier "iVar1") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      return 1;\n    }" ({ "{") (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}"))))) (} "}"))) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))

int function_1(char *name,type_1 *sb)

{
  type_2 extraout_var;
  int var_2;
  type_3 _Var3;
  int *piVar2;
  
  if ((sb->st_mode & 0xf000) == 0xa000) {
    return 0;
  }
  var_2 = (*(type_4 *)PTR_getxattr_000494b0)(name,var_1 + 0x65fc,0,0);
  if (var_2 < 0) {
    piVar2 = (int *)(*(type_4 *)PTR___errno_location_00049518)();
    var_2 = *piVar2;
    if (var_2 != 0x3d) goto LAB_0001f58c;
  }
  else if (var_2 != 0) {
    return 1;
  }
  if ((sb->st_mode & 0xf000) == 0x4000) {
    var_2 = (*(type_4 *)PTR_getxattr_000494b0)(name,var_1 + 0x6614,0,0);
    if (var_2 < 0) {
      piVar2 = (int *)(*(type_4 *)PTR___errno_location_00049518)();
      var_2 = *piVar2;
      if (var_2 != 0x3d) {
LAB_0001f58c:
        _Var3 = var_3(var_2);
        return -var_4(extraout_var,_Var3);
      }
    }
    else if (var_2 != 0) {
      return 1;
    }
  }
  return 0;
}


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

int MASKED(undefined4 param_1,int param_2)

{
  int iVar1;
  int *piVar2;
  
  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0xa000) {
    return 0;
  }
  iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x65fc,0,0);
  if (iVar1 < 0) {
    piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();
    if (*piVar2 != 0x3d) goto LAB_0001f58c;
  }
  else if (iVar1 != 0) {
    return 1;
  }
  if ((*(uint *)(param_2 + 0x18) & 0xf000) == 0x4000) {
    iVar1 = (*(code *)PTR_getxattr_000494b0)(param_1,PTR_LAB_00049218 + 0x6614,0,0);
    if (iVar1 < 0) {
      piVar2 = (int *)(*(code *)PTR___errno_location_00049518)();
      if (*piVar2 != 0x3d) {
LAB_0001f58c:
        iVar1 = acl_errno_valid();
        return -iVar1;
      }
    }
    else if (iVar1 != 0) {
      return 1;
    }
  }
  return 0;
}

