zend_execute: Mark zend_get_executed_*() as __attribute__((pure))

zend_execute: Mark zend_get_executed_*() as __attribute__((pure)) #17654