diff --git a/ada/ast.py b/ada/ast.py
index b5632da05..3d77e768f 100644
--- a/ada/ast.py
+++ b/ada/ast.py
@@ -19286,7 +19286,21 @@ def xref_equation():
             & Bind(Self.prefix.ref_var, typ)
             & Bind(Self.suffix.expected_type_var, typ)
             & Entity.suffix.matches_expected_type
-            & Bind(Self.type_var, typ)
+            & Bind(
+                Self.type_var,
+                If(
+                    # A qualified expression that appears as a statement
+                    # denotes a machine code insertion, in GNAT, it is parsed
+                    # as a parameterless procedure call. In that case,
+                    # Self.type_var shouldn't denote any type. Note that we are
+                    # more flexible than Ada since we allow any type to be code
+                    # statements whereas Ada restricts that to types defined in
+                    # package `System.Machine_Code` (see :rmlink:`13.8`).
+                    Entity.parent.is_a(T.CallStmt),
+                    No(AdaNode.entity),
+                    typ
+                )
+            )
         )
 
     # TODO: once we manage to turn prefix into a subtype indication, remove
diff --git a/testsuite/tests/name_resolution/qual_expr_stmt/test.adb b/testsuite/tests/name_resolution/qual_expr_stmt/test.adb
new file mode 100644
index 000000000..a95c38a3e
--- /dev/null
+++ b/testsuite/tests/name_resolution/qual_expr_stmt/test.adb
@@ -0,0 +1,11 @@
+with Machine_Code; use Machine_Code;
+
+procedure Test is
+   procedure Code is
+   begin
+      Asm_Insn'(Asm ("nop"));
+      pragma Test_Statement;
+   end Code;
+begin
+   Code;
+end Test;
diff --git a/testsuite/tests/name_resolution/qual_expr_stmt/test.out b/testsuite/tests/name_resolution/qual_expr_stmt/test.out
new file mode 100644
index 000000000..b9e15d414
--- /dev/null
+++ b/testsuite/tests/name_resolution/qual_expr_stmt/test.out
@@ -0,0 +1,32 @@
+Analyzing test.adb
+##################
+
+Resolving xrefs for node <CallStmt test.adb:6:7-6:30>
+*****************************************************
+
+Expr: <QualExpr test.adb:6:7-6:29>
+  references:    <DefiningName "Asm_Insn" s-maccod.ads:60:9-60:17>
+  type:          None
+  expected type: None
+Expr: <Id "Asm_Insn" test.adb:6:7-6:15>
+  references:    <DefiningName "Asm_Insn" s-maccod.ads:60:9-60:17>
+  type:          None
+  expected type: None
+Expr: <ParenExpr test.adb:6:16-6:29>
+  type:          <ConcreteTypeDecl ["Asm_Insn"] s-maccod.ads:60:4-60:29>
+  expected type: <ConcreteTypeDecl ["Asm_Insn"] s-maccod.ads:60:4-60:29>
+Expr: <CallExpr test.adb:6:17-6:28>
+  references:    <DefiningName "Asm" s-maccod.ads:113:13-113:16>
+  type:          <ConcreteTypeDecl ["Asm_Insn"] s-maccod.ads:60:4-60:29>
+  expected type: <ConcreteTypeDecl ["Asm_Insn"] s-maccod.ads:60:4-60:29>
+Expr: <Id "Asm" test.adb:6:17-6:20>
+  references:    <DefiningName "Asm" s-maccod.ads:113:13-113:16>
+  type:          <ConcreteTypeDecl ["Asm_Insn"] s-maccod.ads:60:4-60:29>
+  expected type: None
+Expr: <Str ""nop"" test.adb:6:22-6:27>
+  references:    None
+  type:          <ConcreteTypeDecl ["String"] __standard:105:3-105:57>
+  expected type: <ConcreteTypeDecl ["String"] __standard:105:3-105:57>
+
+
+Done.
diff --git a/testsuite/tests/name_resolution/qual_expr_stmt/test.yaml b/testsuite/tests/name_resolution/qual_expr_stmt/test.yaml
new file mode 100644
index 000000000..173e325ff
--- /dev/null
+++ b/testsuite/tests/name_resolution/qual_expr_stmt/test.yaml
@@ -0,0 +1,2 @@
+driver: name-resolution
+input_sources: [test.adb]