Home
last modified time | relevance | path

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

/PHP-7.2/Zend/
H A Dzend_language_scanner.l733 size_t original_offset = offset, length = 0; in zend_get_scanned_file_offset() local
740 if (length > original_offset) { in zend_get_scanned_file_offset()
742 } else if (length < original_offset) { in zend_get_scanned_file_offset()
745 } while (original_offset != length); in zend_get_scanned_file_offset()
H A Dzend_language_scanner.c736 size_t original_offset = offset, length = 0; in zend_get_scanned_file_offset() local
743 if (length > original_offset) { in zend_get_scanned_file_offset()
745 } else if (length < original_offset) { in zend_get_scanned_file_offset()
748 } while (original_offset != length); in zend_get_scanned_file_offset()

Completed in 16 milliseconds