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

{
  _Bool _Var1;
  
  _Var1 = impl_pred_exec(*(char **)(PTR_state_000755c0 + 0xc),stat_buf,pred_ptr);
  return _Var1;
}



void pred_execdir(void)

{
  impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));
  return;
}


lui gp,0x6
addiu gp,gp,0x62a8
addu gp,gp,t9
lw v0,-0x7fc0(gp)
lw t9,-0x7f40(gp)
b 0x000191b4
_lw a0,0xc(v0)
(translation_unit "void pred_execdir(void)\n\n{\n  impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));\n  return;\n}\n\n" (function_definition "void pred_execdir(void)\n\n{\n  impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));\n  return;\n}" primitive_type (function_declarator "pred_execdir(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));\n  return;\n}" { (expression_statement "impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));" (call_expression "impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc))" identifier (argument_list "(*(undefined4 *)(PTR_state_000755c0 + 0xc))" ( (pointer_expression "*(undefined4 *)(PTR_state_000755c0 + 0xc)" * (cast_expression "(undefined4 *)(PTR_state_000755c0 + 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_state_000755c0 + 0xc)" ( (binary_expression "PTR_state_000755c0 + 0xc" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "_Bool pred_execdir(char *pathname,stat *stat_buf,predicate *pred_ptr)\n\n{\n  _Bool _Var1;\n  \n  _Var1 = impl_pred_exec(*(char **)(PTR_state_000755c0 + 0xc),stat_buf,pred_ptr);\n  return _Var1;\n}\n\n" (function_definition "_Bool pred_execdir(char *pathname,stat *stat_buf,predicate *pred_ptr)\n\n{\n  _Bool _Var1;\n  \n  _Var1 = impl_pred_exec(*(char **)(PTR_state_000755c0 + 0xc),stat_buf,pred_ptr);\n  return _Var1;\n}" type_identifier (function_declarator "pred_execdir(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  _Bool _Var1;\n  \n  _Var1 = impl_pred_exec(*(char **)(PTR_state_000755c0 + 0xc),stat_buf,pred_ptr);\n  return _Var1;\n}" { (declaration "_Bool _Var1;" type_identifier identifier ;) (expression_statement "_Var1 = impl_pred_exec(*(char **)(PTR_state_000755c0 + 0xc),stat_buf,pred_ptr);" (assignment_expression "_Var1 = impl_pred_exec(*(char **)(PTR_state_000755c0 + 0xc),stat_buf,pred_ptr)" identifier = (call_expression "impl_pred_exec(*(char **)(PTR_state_000755c0 + 0xc),stat_buf,pred_ptr)" identifier (argument_list "(*(char **)(PTR_state_000755c0 + 0xc),stat_buf,pred_ptr)" ( (pointer_expression "*(char **)(PTR_state_000755c0 + 0xc)" * (cast_expression "(char **)(PTR_state_000755c0 + 0xc)" ( (type_descriptor "char **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR_state_000755c0 + 0xc)" ( (binary_expression "PTR_state_000755c0 + 0xc" identifier + number_literal) )))) , identifier , identifier )))) ;) (return_statement "return _Var1;" return identifier ;) })))
(translation_unit "void pred_execdir(void)\n\n{\n  impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));\n  return;\n}\n\n" (function_definition "void pred_execdir(void)\n\n{\n  impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));\n  return;\n}" primitive_type (function_declarator "pred_execdir(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));\n  return;\n}" { (expression_statement "impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));" (call_expression "impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc))" identifier (argument_list "(*(undefined4 *)(PTR_state_000755c0 + 0xc))" ( (pointer_expression "*(undefined4 *)(PTR_state_000755c0 + 0xc)" * (cast_expression "(undefined4 *)(PTR_state_000755c0 + 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_state_000755c0 + 0xc)" ( (binary_expression "PTR_state_000755c0 + 0xc" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) (return_statement return ;) })))
(function_definition "void pred_execdir(void)\n\n{\n  impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));\n  return;\n}" (primitive_type "void") (function_declarator "pred_execdir(void)" (identifier "pred_execdir") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));\n  return;\n}" ({ "{") (expression_statement "impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));" (call_expression "impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc))" (identifier "impl_pred_exec") (argument_list "(*(undefined4 *)(PTR_state_000755c0 + 0xc))" (( "(") (pointer_expression "*(undefined4 *)(PTR_state_000755c0 + 0xc)" (* "*") (cast_expression "(undefined4 *)(PTR_state_000755c0 + 0xc)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_state_000755c0 + 0xc)" (( "(") (binary_expression "PTR_state_000755c0 + 0xc" (identifier "PTR_state_000755c0") (+ "+") (number_literal "0xc")) () ")")))) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

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

{
  type_1 _Var1;
  
  _Var1 = var_1(*(char **)(var_2 + 0xc),stat_buf,pred_ptr);
  return _Var1;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (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)))))))) (return_statement))))

void MASKED(void)

{
  impl_pred_exec(*(undefined4 *)(PTR_state_000755c0 + 0xc));
  return;
}

