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

These functions do not modify the state of the program and depend on
thread-safe global variables only.

Author: TimWolla

Zend/zend_execute.h

@@ -460,10 +460,10 @@ static zend_always_inline zend_function *zend_active_function(void)
 
 ZEND_API zend_string *get_active_function_or_method_name(void);
 ZEND_API zend_string *get_function_or_method_name(const zend_function *func);
-ZEND_API const char *zend_get_executed_filename(void);
-ZEND_API zend_string *zend_get_executed_filename_ex(void);
-ZEND_API uint32_t zend_get_executed_lineno(void);
-ZEND_API zend_class_entry *zend_get_executed_scope(void);
+ZEND_ATTRIBUTE_PURE ZEND_API const char *zend_get_executed_filename(void);
+ZEND_ATTRIBUTE_PURE ZEND_API zend_string *zend_get_executed_filename_ex(void);
+ZEND_ATTRIBUTE_PURE ZEND_API uint32_t zend_get_executed_lineno(void);
+ZEND_ATTRIBUTE_PURE ZEND_API zend_class_entry *zend_get_executed_scope(void);
 ZEND_API bool zend_is_executing(void);
 ZEND_API ZEND_COLD void ZEND_FASTCALL zend_cannot_pass_by_reference(uint32_t arg_num);
 

Zend/zend_execute_API.c

@@ -656,14 +656,14 @@ ZEND_API const char *get_function_arg_name(const zend_function *func, uint32_t a
 }
 /* }}} */
 
-ZEND_API const char *zend_get_executed_filename(void) /* {{{ */
+ZEND_ATTRIBUTE_PURE ZEND_API const char *zend_get_executed_filename(void) /* {{{ */
 {
 	zend_string *filename = zend_get_executed_filename_ex();
 	return filename != NULL ? ZSTR_VAL(filename) : "[no active file]";
 }
 /* }}} */
 
-ZEND_API zend_string *zend_get_executed_filename_ex(void) /* {{{ */
+ZEND_ATTRIBUTE_PURE ZEND_API zend_string *zend_get_executed_filename_ex(void) /* {{{ */
 {
 	zend_string *filename_override = EG(filename_override);
 	if (filename_override != NULL) {
@@ -683,7 +683,7 @@ ZEND_API zend_string *zend_get_executed_filename_ex(void) /* {{{ */
 }
 /* }}} */
 
-ZEND_API uint32_t zend_get_executed_lineno(void) /* {{{ */
+ZEND_ATTRIBUTE_PURE ZEND_API uint32_t zend_get_executed_lineno(void) /* {{{ */
 {
 	zend_long lineno_override = EG(lineno_override);
 	if (lineno_override != -1) {
@@ -711,7 +711,7 @@ ZEND_API uint32_t zend_get_executed_lineno(void) /* {{{ */
 }
 /* }}} */
 
-ZEND_API zend_class_entry *zend_get_executed_scope(void) /* {{{ */
+ZEND_ATTRIBUTE_PURE ZEND_API zend_class_entry *zend_get_executed_scope(void) /* {{{ */
 {
 	zend_execute_data *ex = EG(current_execute_data);
 

Zend/zend_portability.h

@@ -251,6 +251,12 @@ char *alloca();
 # define ZEND_ATTRIBUTE_CONST
 #endif
 
+#if ZEND_GCC_VERSION >= 3000
+# define ZEND_ATTRIBUTE_PURE __attribute__((pure))
+#else
+# define ZEND_ATTRIBUTE_PURE
+#endif
+
 #if ZEND_GCC_VERSION >= 2007 || __has_attribute(format)
 # define ZEND_ATTRIBUTE_FORMAT(type, idx, first) __attribute__ ((format(type, idx, first)))
 #else