From c1b975aab92d686b87a255f9ce58ca0f439dae28 Mon Sep 17 00:00:00 2001
From: Vadim Godunko <godunko@adacore.com>
Date: Mon, 8 Jul 2024 11:37:24 +0400
Subject: [PATCH 1/2] Fix size of the tag on 32bit platforms.

---
 gdb/vss_pp.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/gdb/vss_pp.py b/gdb/vss_pp.py
index e6030ac4..fd23f14f 100644
--- a/gdb/vss_pp.py
+++ b/gdb/vss_pp.py
@@ -62,8 +62,10 @@ def to_string(self):
 
         if text.type == utf8static_type:
             # GDB is unable to resolve "storage" component of the record,
-            # so skip first implicit component of 8 bytes and decode.
-            return decode_utf8(text.bytes[8:], text["size"])
+            # so skip first implicit component of System.Address and decode.
+            return decode_utf8(
+                text.bytes[gdb.lookup_type("system.address").sizeof :], text["size"]
+            )
 
         elif text.type == utf8dynamic_type:
             data = text["pointer"].dereference()

From 578e3c7c740dd10e119e6d61bed5bd19da4382d3 Mon Sep 17 00:00:00 2001
From: Vadim Godunko <godunko@adacore.com>
Date: Mon, 8 Jul 2024 12:31:01 +0400
Subject: [PATCH 2/2] Add issue-check CI

---
 .gitlab-ci.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d036830c..f7018694 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -88,6 +88,22 @@ stages:
   - build_dependent
   - run_downstream_ci
 
+###############
+# ISSUE CHECK #
+###############
+
+issue-check:
+  services:
+    - image:e3
+  stage: build_and_test
+  interruptible: true  # Cancel job if the branch is pushed
+  variables: # do not checkout the git repository, not needed
+    GIT_STRATEGY: none
+  rules: # Launch only on merge requests
+    - if: $CI_PIPELINE_SOURCE == 'merge_request_event'
+  script:
+    - require_issue # launch the verification
+
 #########
 # BUILD #
 #########