mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
Mark label as potentially unused
This commit is contained in:
parent
63171d88f2
commit
ff8002fc7c
1 changed files with 1 additions and 1 deletions
|
@ -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) {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue