[
https://issues.apache.org/jira/browse/ARTEMIS-4747?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Andrey Slepykh updated ARTEMIS-4747:
------------------------------------
Description:
In [class
CompressedLargeMessageControllerImpl|[https://github.com/apache/activemq-artemis/blob/fb1b362b473cad51ae5d05a897be02b1fa8461d4/artemis-core-client/src/main/java/org/apache/activemq/artemis/core/client/impl/CompressedLargeMessageControllerImpl.java#L36]|https://github.com/apache/activemq-artemis/blob/fb1b362b473cad51ae5d05a897be02b1fa8461d4/artemis-core-client/src/main/java/org/apache/activemq/artemis/core/client/impl/CompressedLargeMessageControllerImpl.java#L36)]
this function is called in a number of other methods, but since there is an
exception and no handler, it turns out that part of the code is unreachable
!image-2024-04-29-00-32-18-126.png!
The code is unreachable in these cases:
1) the line with ```return 0``` in unreachable
!image-2024-04-29-00-38-29-717.png!
2) the line with ```return 0``` in unreachable
!image-2024-04-29-00-42-42-738.png!
3) the line with ```return 0``` in unreachable
!image-2024-04-29-00-42-09-598.png!
4) the line with ```return 0``` in unreachable
!image-2024-04-29-00-43-17-889.png!
5) the line with ```return (short) (getByte(index) & 0xFF)``` in unreachable
!image-2024-04-29-00-45-35-605.png!
6) the line with ```return getShort(index) & 0xFFFF``` in unreachable
!image-2024-04-29-00-46-36-280.png!
7) the line with ```return getInt(index) & 0xFFFFFFFFL``` in unreachable
!image-2024-04-29-00-48-23-220.png!
8) the line with ```dst[i] = getByte(index++)``` in unreachable
!image-2024-04-29-00-50-16-576.png!
9) the line with ```dst.writerIndex(dst.writerIndex() + length)``` in
unreachable
!image-2024-04-29-00-52-04-906.png!
10) the line with ```return (char) getShort(index)``` in unreachable
!image-2024-04-29-00-54-09-929.png!
11) the line with ```return Double.longBitsToDouble(getLong(index))``` in
unreachable
!image-2024-04-29-00-55-27-169.png!
12) the line with ```return Float.intBitsToFloat(getInt(index));``` in
unreachable
!image-2024-04-29-00-57-19-800.png!
Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.
Author: Firsov Vladimir, BMSTU (fvv22u...@student.bmstu.ru)
was:
In (class
CompressedLargeMessageControllerImpl|[https://github.com/apache/activemq-artemis/blob/fb1b362b473cad51ae5d05a897be02b1fa8461d4/artemis-core-client/src/main/java/org/apache/activemq/artemis/core/client/impl/CompressedLargeMessageControllerImpl.java#L36)]
this function is called in a number of other methods, but since there is an
exception and no handler, it turns out that part of the code is unreachable
!image-2024-04-29-00-32-18-126.png!
The code is unreachable in these cases:
1) the line with ```return 0``` in unreachable
!image-2024-04-29-00-38-29-717.png!
2) the line with ```return 0``` in unreachable
!image-2024-04-29-00-42-42-738.png!
3) the line with ```return 0``` in unreachable
!image-2024-04-29-00-42-09-598.png!
4) the line with ```return 0``` in unreachable
!image-2024-04-29-00-43-17-889.png!
5) the line with ```return (short) (getByte(index) & 0xFF)``` in unreachable
!image-2024-04-29-00-45-35-605.png!
6) the line with ```return getShort(index) & 0xFFFF``` in unreachable
!image-2024-04-29-00-46-36-280.png!
7) the line with ```return getInt(index) & 0xFFFFFFFFL``` in unreachable
!image-2024-04-29-00-48-23-220.png!
8) the line with ```dst[i] = getByte(index++)``` in unreachable
!image-2024-04-29-00-50-16-576.png!
9) the line with ```dst.writerIndex(dst.writerIndex() + length)``` in
unreachable
!image-2024-04-29-00-52-04-906.png!
10) the line with ```return (char) getShort(index)``` in unreachable
!image-2024-04-29-00-54-09-929.png!
11) the line with ```return Double.longBitsToDouble(getLong(index))``` in
unreachable
!image-2024-04-29-00-55-27-169.png!
12) the line with ```return Float.intBitsToFloat(getInt(index));``` in
unreachable
!image-2024-04-29-00-57-19-800.png!
Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.
Author: Firsov Vladimir, BMSTU (fvv22u...@student.bmstu.ru)
> UNREACHABLE_CODE.EXCEPTION This statement in the source code is unreachable
> ---------------------------------------------------------------------------
>
> Key: ARTEMIS-4747
> URL: https://issues.apache.org/jira/browse/ARTEMIS-4747
> Project: ActiveMQ Artemis
> Issue Type: Bug
> Components: ActiveMQ-Artemis-Native
> Affects Versions: 2.25.0
> Reporter: Andrey Slepykh
> Assignee: Clebert Suconic
> Priority: Major
> Attachments: image-2024-04-29-00-32-18-126.png,
> image-2024-04-29-00-38-29-717.png, image-2024-04-29-00-40-51-302.png,
> image-2024-04-29-00-42-09-598.png, image-2024-04-29-00-42-42-738.png,
> image-2024-04-29-00-43-17-889.png, image-2024-04-29-00-45-35-605.png,
> image-2024-04-29-00-46-36-280.png, image-2024-04-29-00-48-23-220.png,
> image-2024-04-29-00-48-27-918.png, image-2024-04-29-00-50-16-576.png,
> image-2024-04-29-00-52-04-906.png, image-2024-04-29-00-54-09-929.png,
> image-2024-04-29-00-55-27-169.png, image-2024-04-29-00-57-19-800.png
>
>
> In [class
> CompressedLargeMessageControllerImpl|[https://github.com/apache/activemq-artemis/blob/fb1b362b473cad51ae5d05a897be02b1fa8461d4/artemis-core-client/src/main/java/org/apache/activemq/artemis/core/client/impl/CompressedLargeMessageControllerImpl.java#L36]|https://github.com/apache/activemq-artemis/blob/fb1b362b473cad51ae5d05a897be02b1fa8461d4/artemis-core-client/src/main/java/org/apache/activemq/artemis/core/client/impl/CompressedLargeMessageControllerImpl.java#L36)]
> this function is called in a number of other methods, but since there is an
> exception and no handler, it turns out that part of the code is unreachable
> !image-2024-04-29-00-32-18-126.png!
> The code is unreachable in these cases:
> 1) the line with ```return 0``` in unreachable
> !image-2024-04-29-00-38-29-717.png!
> 2) the line with ```return 0``` in unreachable
> !image-2024-04-29-00-42-42-738.png!
> 3) the line with ```return 0``` in unreachable
> !image-2024-04-29-00-42-09-598.png!
> 4) the line with ```return 0``` in unreachable
> !image-2024-04-29-00-43-17-889.png!
> 5) the line with ```return (short) (getByte(index) & 0xFF)``` in unreachable
> !image-2024-04-29-00-45-35-605.png!
> 6) the line with ```return getShort(index) & 0xFFFF``` in unreachable
> !image-2024-04-29-00-46-36-280.png!
> 7) the line with ```return getInt(index) & 0xFFFFFFFFL``` in unreachable
> !image-2024-04-29-00-48-23-220.png!
> 8) the line with ```dst[i] = getByte(index++)``` in unreachable
> !image-2024-04-29-00-50-16-576.png!
> 9) the line with ```dst.writerIndex(dst.writerIndex() + length)``` in
> unreachable
> !image-2024-04-29-00-52-04-906.png!
> 10) the line with ```return (char) getShort(index)``` in unreachable
> !image-2024-04-29-00-54-09-929.png!
> 11) the line with ```return Double.longBitsToDouble(getLong(index))``` in
> unreachable
> !image-2024-04-29-00-55-27-169.png!
> 12) the line with ```return Float.intBitsToFloat(getInt(index));``` in
> unreachable
> !image-2024-04-29-00-57-19-800.png!
>
> Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.
> Author: Firsov Vladimir, BMSTU (fvv22u...@student.bmstu.ru)
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
