]> granicus.if.org Git - php/commitdiff
Mark zend_jit_print_regset as unused
authorNikita Popov <nikita.ppv@gmail.com>
Thu, 11 Apr 2019 09:05:42 +0000 (11:05 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Thu, 11 Apr 2019 09:05:42 +0000 (11:05 +0200)
This is a debugging function, so it's usually not going to be used
and we don't want to see a warning about that.

ext/opcache/jit/zend_jit.c

index b0940c9ca9e95c60a746c4d7e835a9a72abe29b6..0472cc505ffd1d0a0abd51289cdef1597b950f93 100644 (file)
@@ -905,7 +905,7 @@ static zend_lifetime_interval *zend_jit_sort_intervals(zend_lifetime_interval **
        return list;
 }
 
-static void zend_jit_print_regset(zend_regset regset)
+static ZEND_ATTRIBUTE_UNUSED void zend_jit_print_regset(zend_regset regset)
 {
        zend_reg reg;
        int first = 1;