diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-06-12 16:47:48 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-06-12 16:47:48 +0200 |
| commit | ff8002fc7c3cbf9ee01d6d68cccbbd9460314ce4 (patch) | |
| tree | 4a5e8d3db9f8350519f9dad0b8fab9d182852132 | |
| parent | 63171d88f2b1f45840d0c63072cde0735b6f2764 (diff) | |
| download | php-git-ff8002fc7c3cbf9ee01d6d68cccbbd9460314ce4.tar.gz | |
Mark label as potentially unused
| -rw-r--r-- | ext/opcache/shared_alloc_mmap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/opcache/shared_alloc_mmap.c b/ext/opcache/shared_alloc_mmap.c index 266fbebd03..8f900c1590 100644 --- a/ext/opcache/shared_alloc_mmap.c +++ b/ext/opcache/shared_alloc_mmap.c @@ -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) { |