
int all_digits(char *string)

{
  char cVar1;
  char *s;
  char *pcVar2;
  
  if (*string != 0) {
    pcVar2 = string + 1;
    if (9 < ((int)*string - 0x30U & 0xff)) {
      return 0;
    }
    while (cVar1 = *pcVar2, cVar1 != 0) {
      pcVar2 = pcVar2 + 1;
      if (9 < ((int)cVar1 - 0x30U & 0xff)) {
        return 0;
      }
    }
  }
  return 1;
}



undefined4 all_digits(char *param_1)

{
  char cVar1;
  char *pcVar2;
  
  if (*param_1 != 0) {
    pcVar2 = param_1 + 1;
    if (9 < ((int)*param_1 - 0x30U & 0xff)) {
      return 0;
    }
    while (cVar1 = *pcVar2, cVar1 != 0) {
      pcVar2 = pcVar2 + 1;
      if (9 < ((int)cVar1 - 0x30U & 0xff)) {
        return 0;
      }
    }
  }
  return 1;
}


lb v0,0x0(a0)
beq v0,zero,0x00040910
_nop
addiu v0,v0,-0x30
andi v0,v0,0xff
sltiu v0,v0,0xa
bne v0,zero,0x00040904
_addiu a0,a0,0x1
addiu a0,a0,-0x1
jr ra
_or v0,zero,zero
andi v0,v0,0xff
sltiu v0,v0,0xa
beq v0,zero,0x00040918
_addiu a0,a0,0x1
lb v1,0x0(a0)
bne v1,zero,0x000408f4
_addiu v0,v1,-0x30
jr ra
_li v0,0x1
jr ra
_or v0,zero,zero
(translation_unit "undefined4 all_digits(char *param_1)\n\n{\n  char cVar1;\n  char *pcVar2;\n  \n  if (*param_1 != 0) {\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }\n  return 1;\n}\n\n" (function_definition "undefined4 all_digits(char *param_1)\n\n{\n  char cVar1;\n  char *pcVar2;\n  \n  if (*param_1 != 0) {\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }\n  return 1;\n}" type_identifier (function_declarator "all_digits(char *param_1)" identifier (parameter_list "(char *param_1)" ( (parameter_declaration "char *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  char cVar1;\n  char *pcVar2;\n  \n  if (*param_1 != 0) {\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }\n  return 1;\n}" { (declaration "char cVar1;" primitive_type identifier ;) (declaration "char *pcVar2;" primitive_type (pointer_declarator "*pcVar2" * identifier) ;) (if_statement "if (*param_1 != 0) {\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }" if (parenthesized_expression "(*param_1 != 0)" ( (binary_expression "*param_1 != 0" (pointer_expression "*param_1" * identifier) != number_literal) )) (compound_statement "{\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }" { (expression_statement "pcVar2 = param_1 + 1;" (assignment_expression "pcVar2 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (if_statement "if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }" if (parenthesized_expression "(9 < ((int)*param_1 - 0x30U & 0xff))" ( (binary_expression "9 < ((int)*param_1 - 0x30U & 0xff)" number_literal < (parenthesized_expression "((int)*param_1 - 0x30U & 0xff)" ( (binary_expression "(int)*param_1 - 0x30U & 0xff" (binary_expression "(int)*param_1 - 0x30U" (cast_expression "(int)*param_1" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*param_1" * identifier)) - number_literal) & number_literal) ))) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (while_statement "while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }" while (parenthesized_expression "(cVar1 = *pcVar2, cVar1 != 0)" ( (comma_expression "cVar1 = *pcVar2, cVar1 != 0" (assignment_expression "cVar1 = *pcVar2" identifier = (pointer_expression "*pcVar2" * identifier)) , (binary_expression "cVar1 != 0" identifier != number_literal)) )) (compound_statement "{\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }" { (expression_statement "pcVar2 = pcVar2 + 1;" (assignment_expression "pcVar2 = pcVar2 + 1" identifier = (binary_expression "pcVar2 + 1" identifier + number_literal)) ;) (if_statement "if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }" if (parenthesized_expression "(9 < ((int)cVar1 - 0x30U & 0xff))" ( (binary_expression "9 < ((int)cVar1 - 0x30U & 0xff)" number_literal < (parenthesized_expression "((int)cVar1 - 0x30U & 0xff)" ( (binary_expression "(int)cVar1 - 0x30U & 0xff" (binary_expression "(int)cVar1 - 0x30U" (cast_expression "(int)cVar1" ( (type_descriptor "int" primitive_type) ) identifier) - number_literal) & number_literal) ))) )) (compound_statement "{\n        return 0;\n      }" { (return_statement "return 0;" return number_literal ;) })) })) })) (return_statement "return 1;" return number_literal ;) })))
(translation_unit "int all_digits(char *string)\n\n{\n  char cVar1;\n  char *s;\n  char *pcVar2;\n  \n  if (*string != 0) {\n    pcVar2 = string + 1;\n    if (9 < ((int)*string - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }\n  return 1;\n}\n\n" (function_definition "int all_digits(char *string)\n\n{\n  char cVar1;\n  char *s;\n  char *pcVar2;\n  \n  if (*string != 0) {\n    pcVar2 = string + 1;\n    if (9 < ((int)*string - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }\n  return 1;\n}" primitive_type (function_declarator "all_digits(char *string)" identifier (parameter_list "(char *string)" ( (parameter_declaration "char *string" primitive_type (pointer_declarator "*string" * identifier)) ))) (compound_statement "{\n  char cVar1;\n  char *s;\n  char *pcVar2;\n  \n  if (*string != 0) {\n    pcVar2 = string + 1;\n    if (9 < ((int)*string - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }\n  return 1;\n}" { (declaration "char cVar1;" primitive_type identifier ;) (declaration "char *s;" primitive_type (pointer_declarator "*s" * identifier) ;) (declaration "char *pcVar2;" primitive_type (pointer_declarator "*pcVar2" * identifier) ;) (if_statement "if (*string != 0) {\n    pcVar2 = string + 1;\n    if (9 < ((int)*string - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }" if (parenthesized_expression "(*string != 0)" ( (binary_expression "*string != 0" (pointer_expression "*string" * identifier) != number_literal) )) (compound_statement "{\n    pcVar2 = string + 1;\n    if (9 < ((int)*string - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }" { (expression_statement "pcVar2 = string + 1;" (assignment_expression "pcVar2 = string + 1" identifier = (binary_expression "string + 1" identifier + number_literal)) ;) (if_statement "if (9 < ((int)*string - 0x30U & 0xff)) {\n      return 0;\n    }" if (parenthesized_expression "(9 < ((int)*string - 0x30U & 0xff))" ( (binary_expression "9 < ((int)*string - 0x30U & 0xff)" number_literal < (parenthesized_expression "((int)*string - 0x30U & 0xff)" ( (binary_expression "(int)*string - 0x30U & 0xff" (binary_expression "(int)*string - 0x30U" (cast_expression "(int)*string" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*string" * identifier)) - number_literal) & number_literal) ))) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (while_statement "while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }" while (parenthesized_expression "(cVar1 = *pcVar2, cVar1 != 0)" ( (comma_expression "cVar1 = *pcVar2, cVar1 != 0" (assignment_expression "cVar1 = *pcVar2" identifier = (pointer_expression "*pcVar2" * identifier)) , (binary_expression "cVar1 != 0" identifier != number_literal)) )) (compound_statement "{\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }" { (expression_statement "pcVar2 = pcVar2 + 1;" (assignment_expression "pcVar2 = pcVar2 + 1" identifier = (binary_expression "pcVar2 + 1" identifier + number_literal)) ;) (if_statement "if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }" if (parenthesized_expression "(9 < ((int)cVar1 - 0x30U & 0xff))" ( (binary_expression "9 < ((int)cVar1 - 0x30U & 0xff)" number_literal < (parenthesized_expression "((int)cVar1 - 0x30U & 0xff)" ( (binary_expression "(int)cVar1 - 0x30U & 0xff" (binary_expression "(int)cVar1 - 0x30U" (cast_expression "(int)cVar1" ( (type_descriptor "int" primitive_type) ) identifier) - number_literal) & number_literal) ))) )) (compound_statement "{\n        return 0;\n      }" { (return_statement "return 0;" return number_literal ;) })) })) })) (return_statement "return 1;" return number_literal ;) })))
(translation_unit "undefined4 all_digits(char *param_1)\n\n{\n  char cVar1;\n  char *pcVar2;\n  \n  if (*param_1 != 0) {\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }\n  return 1;\n}\n\n" (function_definition "undefined4 all_digits(char *param_1)\n\n{\n  char cVar1;\n  char *pcVar2;\n  \n  if (*param_1 != 0) {\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }\n  return 1;\n}" type_identifier (function_declarator "all_digits(char *param_1)" identifier (parameter_list "(char *param_1)" ( (parameter_declaration "char *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  char cVar1;\n  char *pcVar2;\n  \n  if (*param_1 != 0) {\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }\n  return 1;\n}" { (declaration "char cVar1;" primitive_type identifier ;) (declaration "char *pcVar2;" primitive_type (pointer_declarator "*pcVar2" * identifier) ;) (if_statement "if (*param_1 != 0) {\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }" if (parenthesized_expression "(*param_1 != 0)" ( (binary_expression "*param_1 != 0" (pointer_expression "*param_1" * identifier) != number_literal) )) (compound_statement "{\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }" { (expression_statement "pcVar2 = param_1 + 1;" (assignment_expression "pcVar2 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (if_statement "if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }" if (parenthesized_expression "(9 < ((int)*param_1 - 0x30U & 0xff))" ( (binary_expression "9 < ((int)*param_1 - 0x30U & 0xff)" number_literal < (parenthesized_expression "((int)*param_1 - 0x30U & 0xff)" ( (binary_expression "(int)*param_1 - 0x30U & 0xff" (binary_expression "(int)*param_1 - 0x30U" (cast_expression "(int)*param_1" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*param_1" * identifier)) - number_literal) & number_literal) ))) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (while_statement "while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }" while (parenthesized_expression "(cVar1 = *pcVar2, cVar1 != 0)" ( (comma_expression "cVar1 = *pcVar2, cVar1 != 0" (assignment_expression "cVar1 = *pcVar2" identifier = (pointer_expression "*pcVar2" * identifier)) , (binary_expression "cVar1 != 0" identifier != number_literal)) )) (compound_statement "{\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }" { (expression_statement "pcVar2 = pcVar2 + 1;" (assignment_expression "pcVar2 = pcVar2 + 1" identifier = (binary_expression "pcVar2 + 1" identifier + number_literal)) ;) (if_statement "if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }" if (parenthesized_expression "(9 < ((int)cVar1 - 0x30U & 0xff))" ( (binary_expression "9 < ((int)cVar1 - 0x30U & 0xff)" number_literal < (parenthesized_expression "((int)cVar1 - 0x30U & 0xff)" ( (binary_expression "(int)cVar1 - 0x30U & 0xff" (binary_expression "(int)cVar1 - 0x30U" (cast_expression "(int)cVar1" ( (type_descriptor "int" primitive_type) ) identifier) - number_literal) & number_literal) ))) )) (compound_statement "{\n        return 0;\n      }" { (return_statement "return 0;" return number_literal ;) })) })) })) (return_statement "return 1;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (pointer_expression * IDENT)) - LIT) & LIT) ))) )) (compound_statement { (return_statement return LIT ;) })) (while_statement while (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (pointer_expression * IDENT)) , (binary_expression IDENT != LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) - LIT) & LIT) ))) )) (compound_statement { (return_statement return LIT ;) })) })) })) (return_statement return LIT ;) })))
(function_definition "undefined4 all_digits(char *param_1)\n\n{\n  char cVar1;\n  char *pcVar2;\n  \n  if (*param_1 != 0) {\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }\n  return 1;\n}" (type_identifier "undefined4") (function_declarator "all_digits(char *param_1)" (identifier "all_digits") (parameter_list "(char *param_1)" (( "(") (parameter_declaration "char *param_1" (primitive_type "char") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  char cVar1;\n  char *pcVar2;\n  \n  if (*param_1 != 0) {\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }\n  return 1;\n}" ({ "{") (declaration "char cVar1;" (primitive_type "char") (identifier "cVar1") (; ";")) (declaration "char *pcVar2;" (primitive_type "char") (pointer_declarator "*pcVar2" (* "*") (identifier "pcVar2")) (; ";")) (if_statement "if (*param_1 != 0) {\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }" (if "if") (parenthesized_expression "(*param_1 != 0)" (( "(") (binary_expression "*param_1 != 0" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    pcVar2 = param_1 + 1;\n    if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }\n    while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }\n  }" ({ "{") (expression_statement "pcVar2 = param_1 + 1;" (assignment_expression "pcVar2 = param_1 + 1" (identifier "pcVar2") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (9 < ((int)*param_1 - 0x30U & 0xff)) {\n      return 0;\n    }" (if "if") (parenthesized_expression "(9 < ((int)*param_1 - 0x30U & 0xff))" (( "(") (binary_expression "9 < ((int)*param_1 - 0x30U & 0xff)" (number_literal "9") (< "<") (parenthesized_expression "((int)*param_1 - 0x30U & 0xff)" (( "(") (binary_expression "(int)*param_1 - 0x30U & 0xff" (binary_expression "(int)*param_1 - 0x30U" (cast_expression "(int)*param_1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (- "-") (number_literal "0x30U")) (& "&") (number_literal "0xff")) () ")"))) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (while_statement "while (cVar1 = *pcVar2, cVar1 != 0) {\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }" (while "while") (parenthesized_expression "(cVar1 = *pcVar2, cVar1 != 0)" (( "(") (comma_expression "cVar1 = *pcVar2, cVar1 != 0" (assignment_expression "cVar1 = *pcVar2" (identifier "cVar1") (= "=") (pointer_expression "*pcVar2" (* "*") (identifier "pcVar2"))) (, ",") (binary_expression "cVar1 != 0" (identifier "cVar1") (!= "!=") (number_literal "0"))) () ")")) (compound_statement "{\n      pcVar2 = pcVar2 + 1;\n      if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }\n    }" ({ "{") (expression_statement "pcVar2 = pcVar2 + 1;" (assignment_expression "pcVar2 = pcVar2 + 1" (identifier "pcVar2") (= "=") (binary_expression "pcVar2 + 1" (identifier "pcVar2") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (9 < ((int)cVar1 - 0x30U & 0xff)) {\n        return 0;\n      }" (if "if") (parenthesized_expression "(9 < ((int)cVar1 - 0x30U & 0xff))" (( "(") (binary_expression "9 < ((int)cVar1 - 0x30U & 0xff)" (number_literal "9") (< "<") (parenthesized_expression "((int)cVar1 - 0x30U & 0xff)" (( "(") (binary_expression "(int)cVar1 - 0x30U & 0xff" (binary_expression "(int)cVar1 - 0x30U" (cast_expression "(int)cVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "cVar1")) (- "-") (number_literal "0x30U")) (& "&") (number_literal "0xff")) () ")"))) () ")")) (compound_statement "{\n        return 0;\n      }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (} "}"))) (} "}"))) (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}")))

int function_1(char *var_1)

{
  char var_2;
  char *s;
  char *var_3;
  
  if (*var_1 != 0) {
    var_3 = var_1 + 1;
    if (9 < ((int)*var_1 - 0x30U & 0xff)) {
      return 0;
    }
    while (var_2 = *var_3, var_2 != 0) {
      var_3 = var_3 + 1;
      if (9 < ((int)var_2 - 0x30U & 0xff)) {
        return 0;
      }
    }
  }
  return 1;
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator 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: (pointer_expression argument: (identifier)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (parenthesized_expression (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (pointer_expression argument: (identifier))) right: (number_literal)) right: (number_literal))))) consequence: (compound_statement (return_statement (number_literal)))) (while_statement condition: (parenthesized_expression (comma_expression left: (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier))) right: (binary_expression left: (identifier) right: (number_literal)))) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (parenthesized_expression (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal)) right: (number_literal))))) consequence: (compound_statement (return_statement (number_literal)))))))) (return_statement (number_literal)))))

undefined4 MASKED(char *param_1)

{
  char cVar1;
  char *pcVar2;
  
  if (*param_1 != 0) {
    pcVar2 = param_1 + 1;
    if (9 < ((int)*param_1 - 0x30U & 0xff)) {
      return 0;
    }
    while (cVar1 = *pcVar2, cVar1 != 0) {
      pcVar2 = pcVar2 + 1;
      if (9 < ((int)cVar1 - 0x30U & 0xff)) {
        return 0;
      }
    }
  }
  return 1;
}

