Home
last modified time | relevance | path

Searched refs:original_offset (Results 1 – 1 of 1) sorted by relevance

/php-src/Zend/
H A Dzend_language_scanner.l767 size_t original_offset = offset, length = 0; in zend_get_scanned_file_offset() local
774 if (length > original_offset) { in zend_get_scanned_file_offset()
776 } else if (length < original_offset) { in zend_get_scanned_file_offset()
779 } while (original_offset != length); in zend_get_scanned_file_offset()

Completed in 8 milliseconds