Merge branch 'topic/vadim/32bit' into 'master'

Fix size of the tag on 32bit platforms.

Closes #248

See merge request eng/ide/VSS!333

.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 #
 #########

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()