Home
last modified time | relevance | path

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

/PHP-5.4/Zend/
H A Dzend_language_scanner.l703 size_t original_offset = offset, length = 0; in zend_get_scanned_file_offset() local
710 if (length > original_offset) { in zend_get_scanned_file_offset()
712 } else if (length < original_offset) { in zend_get_scanned_file_offset()
715 } while (original_offset != length); in zend_get_scanned_file_offset()
H A Dzend_language_scanner.c705 size_t original_offset = offset, length = 0; in zend_get_scanned_file_offset() local
712 if (length > original_offset) { in zend_get_scanned_file_offset()
714 } else if (length < original_offset) { in zend_get_scanned_file_offset()
717 } while (original_offset != length); in zend_get_scanned_file_offset()

Completed in 22 milliseconds