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

_Bool pred_writable(char *pathname,stat *stat_buf,predicate *pred_ptr)

{
  int iVar1;
  
  iVar1 = faccessat(state.cwd_dir_fd,state.rel_pathname,2,0);
  return iVar1 == 0;
}



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

bool FUN_00016460(void)

{
  int iVar1;
  
  iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);
  return iVar1 == 0;
}


PUSH EBX
CALL 0x00014d70
ADD EBX,0x54882
SUB ESP,0x8
PUSH 0x0
PUSH 0x2
LEA EAX,[EBX + 0x11d8]
PUSH dword ptr [EAX + 0xc]
PUSH dword ptr [EAX + 0x10]
CALL 0x000141d0
TEST EAX,EAX
SETZ AL
ADD ESP,0x18
POP EBX
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nbool FUN_00016460(void)\n\n{\n  int iVar1;\n  \n  iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);\n  return iVar1 == 0;\n}\n\n" comment (function_definition "bool FUN_00016460(void)\n\n{\n  int iVar1;\n  \n  iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);\n  return iVar1 == 0;\n}" primitive_type (function_declarator "FUN_00016460(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  int iVar1;\n  \n  iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);\n  return iVar1 == 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (expression_statement "iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);" (assignment_expression "iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0)" identifier = (call_expression "faccessat(DAT_0006bed0,DAT_0006becc,2,0)" identifier (argument_list "(DAT_0006bed0,DAT_0006becc,2,0)" ( identifier , identifier , number_literal , number_literal )))) ;) (return_statement "return iVar1 == 0;" return (binary_expression "iVar1 == 0" identifier == number_literal) ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Unknown calling convention */\n\n_Bool pred_writable(char *pathname,stat *stat_buf,predicate *pred_ptr)\n\n{\n  int iVar1;\n  \n  iVar1 = faccessat(state.cwd_dir_fd,state.rel_pathname,2,0);\n  return iVar1 == 0;\n}\n\n" comment comment (function_definition "_Bool pred_writable(char *pathname,stat *stat_buf,predicate *pred_ptr)\n\n{\n  int iVar1;\n  \n  iVar1 = faccessat(state.cwd_dir_fd,state.rel_pathname,2,0);\n  return iVar1 == 0;\n}" type_identifier (function_declarator "pred_writable(char *pathname,stat *stat_buf,predicate *pred_ptr)" identifier (parameter_list "(char *pathname,stat *stat_buf,predicate *pred_ptr)" ( (parameter_declaration "char *pathname" primitive_type (pointer_declarator "*pathname" * identifier)) , (parameter_declaration "stat *stat_buf" type_identifier (pointer_declarator "*stat_buf" * identifier)) , (parameter_declaration "predicate *pred_ptr" type_identifier (pointer_declarator "*pred_ptr" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  \n  iVar1 = faccessat(state.cwd_dir_fd,state.rel_pathname,2,0);\n  return iVar1 == 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (expression_statement "iVar1 = faccessat(state.cwd_dir_fd,state.rel_pathname,2,0);" (assignment_expression "iVar1 = faccessat(state.cwd_dir_fd,state.rel_pathname,2,0)" identifier = (call_expression "faccessat(state.cwd_dir_fd,state.rel_pathname,2,0)" identifier (argument_list "(state.cwd_dir_fd,state.rel_pathname,2,0)" ( (field_expression "state.cwd_dir_fd" identifier . field_identifier) , (field_expression "state.rel_pathname" identifier . field_identifier) , number_literal , number_literal )))) ;) (return_statement "return iVar1 == 0;" return (binary_expression "iVar1 == 0" identifier == number_literal) ;) })))
(translation_unit "bool FUN_00016460(void)\n\n{\n  int iVar1;\n  \n  iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);\n  return iVar1 == 0;\n}\n\n" (function_definition "bool FUN_00016460(void)\n\n{\n  int iVar1;\n  \n  iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);\n  return iVar1 == 0;\n}" primitive_type (function_declarator "FUN_00016460(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  int iVar1;\n  \n  iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);\n  return iVar1 == 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (expression_statement "iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);" (assignment_expression "iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0)" identifier = (call_expression "faccessat(DAT_0006bed0,DAT_0006becc,2,0)" identifier (argument_list "(DAT_0006bed0,DAT_0006becc,2,0)" ( identifier , identifier , number_literal , number_literal )))) ;) (return_statement "return iVar1 == 0;" return (binary_expression "iVar1 == 0" identifier == number_literal) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , IDENT , LIT , LIT )))) ;) (return_statement return (binary_expression IDENT == LIT) ;) })))
(function_definition "bool FUN_00016460(void)\n\n{\n  int iVar1;\n  \n  iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);\n  return iVar1 == 0;\n}" (primitive_type "bool") (function_declarator "FUN_00016460(void)" (identifier "FUN_00016460") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  int iVar1;\n  \n  iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);\n  return iVar1 == 0;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (expression_statement "iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);" (assignment_expression "iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0)" (identifier "iVar1") (= "=") (call_expression "faccessat(DAT_0006bed0,DAT_0006becc,2,0)" (identifier "faccessat") (argument_list "(DAT_0006bed0,DAT_0006becc,2,0)" (( "(") (identifier "DAT_0006bed0") (, ",") (identifier "DAT_0006becc") (, ",") (number_literal "2") (, ",") (number_literal "0") () ")")))) (; ";")) (return_statement "return iVar1 == 0;" (return "return") (binary_expression "iVar1 == 0" (identifier "iVar1") (== "==") (number_literal "0")) (; ";")) (} "}")))

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

type_1 function_1(char *pathname,type_2 *stat_buf,type_3 *pred_ptr)

{
  int var_2;
  
  var_2 = var_1(state.cwd_dir_fd,state.rel_pathname,2,0);
  return var_2 == 0;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier) (number_literal) (number_literal))))) (return_statement (binary_expression left: (identifier) right: (number_literal))))))

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

bool MASKED(void)

{
  int iVar1;
  
  iVar1 = faccessat(DAT_0006bed0,DAT_0006becc,2,0);
  return iVar1 == 0;
}

