[php-src] Issue #13309: BAD_COPY_PASTE in ext/standard/array.c
| From: | AlexRudyuk | Date: | Fri, 02 Feb 2024 19:17:33 +0000 |
| Subject: | [php-src] Issue #13309: BAD_COPY_PASTE in ext/standard/array.c | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-246395@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/13309
Author: AlexRudyuk
### Description
[ext/standard/array.c](https://github.com/php/php-src/blob/eb238577f1d79f6dc28d538edb572c7794b332d2/ext/standard/array.c#L191)
https://github.com/php/php-src/blob/eb238577f1d79f6dc28d538edb572c7794b332d2/ext/standard/array.c#L191
in line 191:
instead of the variable
s1, there must be a variable s2, otherwise there
is no point in an additional branch of the is() construction.
Found by Linux Verification Center ([portal.linuxtesting.ru](https://portal.linuxtesting.ru/)) with
SVACE.
Author A. Slepykh ([a.slepykh@fobos-nt.ru](mailto:a.slepykh@fobos-nt.ru)).
### PHP Version
PHP 8.2.3
### Operating System
ALT Linux