Searched refs:digits_consumed (Results 1 – 1 of 1) sorted by relevance
591 const char *digits_consumed = digits; in zend_ini_consume_quantity_prefix() local593 while (digits_consumed < str_end && zend_is_whitespace(*digits_consumed)) {++digits_consumed;} in zend_ini_consume_quantity_prefix()594 if (digits_consumed[0] == '+' || digits_consumed[0] == '-') { in zend_ini_consume_quantity_prefix()595 ++digits_consumed; in zend_ini_consume_quantity_prefix()598 if (digits_consumed[0] == '0' && !isdigit(digits_consumed[1])) { in zend_ini_consume_quantity_prefix()600 if ((digits_consumed+1) == str_end) { in zend_ini_consume_quantity_prefix()604 switch (digits_consumed[1]) { in zend_ini_consume_quantity_prefix()611 digits_consumed += 2; in zend_ini_consume_quantity_prefix()615 return digits_consumed; in zend_ini_consume_quantity_prefix()
Completed in 6 milliseconds
