Searched refs:digits_consumed (Results 1 – 1 of 1) sorted by relevance
590 const char *digits_consumed = digits; in zend_ini_consume_quantity_prefix() local592 while (digits_consumed < str_end && zend_is_whitespace(*digits_consumed)) {++digits_consumed;} in zend_ini_consume_quantity_prefix()593 if (digits_consumed[0] == '+' || digits_consumed[0] == '-') { in zend_ini_consume_quantity_prefix()594 ++digits_consumed; in zend_ini_consume_quantity_prefix()597 if (digits_consumed[0] == '0' && !isdigit(digits_consumed[1])) { in zend_ini_consume_quantity_prefix()599 if ((digits_consumed+1) == str_end) { in zend_ini_consume_quantity_prefix()603 switch (digits_consumed[1]) { in zend_ini_consume_quantity_prefix()610 digits_consumed += 2; in zend_ini_consume_quantity_prefix()614 return digits_consumed; in zend_ini_consume_quantity_prefix()
Completed in 9 milliseconds