]> granicus.if.org Git - php/commitdiff
Mark label as potentially unused
authorNikita Popov <nikita.ppv@gmail.com>
Wed, 12 Jun 2019 14:47:48 +0000 (16:47 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Wed, 12 Jun 2019 14:47:48 +0000 (16:47 +0200)
ext/opcache/shared_alloc_mmap.c

index 266fbebd030a916101a172482b9a2619d9655bfe..8f900c1590b9c22f80fd5f8e49eb45dbb5bc918b 100644 (file)
@@ -91,7 +91,7 @@ static int create_segments(size_t requested_size, zend_shared_segment ***shared_
                return ALLOC_FAILURE;
        }
 
-success:
+success: ZEND_ATTRIBUTE_UNUSED;
        *shared_segments_count = 1;
        *shared_segments_p = (zend_shared_segment **) calloc(1, sizeof(zend_shared_segment) + sizeof(void *));
        if (!*shared_segments_p) {