1 files changed, 29 insertions, 0 deletions

diff --git a/gitlab/issues/target_missing/host_missing/accel_TCG/2030.toml b/gitlab/issues/target_missing/host_missing/accel_TCG/2030.toml
new file mode 100644
index 00000000..06233a9e
--- /dev/null
+++ b/gitlab/issues/target_missing/host_missing/accel_TCG/2030.toml
@@ -0,0 +1,29 @@
+id = 2030
+title = "Unreachable code"
+state = "closed"
+created_at = "2023-12-11T11:15:02.623Z"
+closed_at = "2024-04-29T08:44:40.786Z"
+labels = ["Bite Sized", "accel: TCG", "workflow::Patch available"]
+url = "https://gitlab.com/qemu-project/qemu/-/issues/2030"
+host-os = "n/a"
+host-arch = "n/a"
+qemu-version = "n/a"
+guest-os = "n/a"
+guest-arch = "n/a"
+description = """There is always a false condition in the function `alloc_code_gen_buffer_splitwx_memfd` in the file `tcg/region.c`. If `buf_rw == NULL` we go to the mark __fail__:
+
+https://gitlab.com/qemu-project/qemu/-/blob/master/tcg/region.c?ref_type=heads#L580-L583
+
+But the value of `buf_rx` is __`MAP_FAILED`__:
+
+https://gitlab.com/qemu-project/qemu/-/blob/master/tcg/region.c?ref_type=heads#L577
+
+And this line will never be reached:
+
+https://gitlab.com/qemu-project/qemu/-/blob/master/tcg/region.c?ref_type=heads#L601
+
+Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.
+
+Author A. Voronin."""
+reproduce = "n/a"
+additional = "n/a"