]> granicus.if.org Git - php/commitdiff
Ignore "__format__" attribute
authorDmitry Stogov <dmitry@zend.com>
Thu, 28 Mar 2019 21:52:39 +0000 (00:52 +0300)
committerDmitry Stogov <dmitry@zend.com>
Thu, 28 Mar 2019 21:52:39 +0000 (00:52 +0300)
ext/ffi/ffi.c

index 8790c99c606b3d4562c3f7c45ef3186f750620b0..5ee1cadbf4c33be114f9f55ef479d42d1e1d1979 100644 (file)
@@ -6003,6 +6003,8 @@ void zend_ffi_add_attribute_value(zend_ffi_dcl *dcl, const char *name, size_t na
                }
        } else if (name_len == sizeof("format")-1 && memcmp(name, "format", sizeof("format")-1) == 0) {
                /* ignore */
+       } else if (name_len == sizeof("__format__")-1 && memcmp(name, "__format__", sizeof("__format__")-1) == 0) {
+               /* ignore */
        } else if (name_len == sizeof("deprecated")-1 && memcmp(name, "deprecated", sizeof("deprecated")-1) == 0) {
                /* ignore */
        } else {