Home
last modified time | relevance | path

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

/PHP-7.3/Zend/
H A Dzend_language_scanner.l732 size_t original_offset = offset, length = 0; in zend_get_scanned_file_offset() local
739 if (length > original_offset) { in zend_get_scanned_file_offset()
741 } else if (length < original_offset) { in zend_get_scanned_file_offset()
744 } while (original_offset != length); in zend_get_scanned_file_offset()
H A Dzend_language_scanner.c735 size_t original_offset = offset, length = 0; in zend_get_scanned_file_offset() local
742 if (length > original_offset) { in zend_get_scanned_file_offset()
744 } else if (length < original_offset) { in zend_get_scanned_file_offset()
747 } while (original_offset != length); in zend_get_scanned_file_offset()

Completed in 37 milliseconds