Improve handling of InlineAsm in DefaultASTVisitor

gcc/rust/ChangeLog: * ast/rust-ast-visitor.cc (DefaultASTVisitor::visit): Visit fields of InlineAsm. gcc/testsuite/ChangeLog: * rust/compile/nr2/exclude: Remove inline_asm_parse_output_operand.rs. Signed-off-by: Owen Avery <[email protected]>
Rust-GCC · Oct 15, 2024 · ab15db3 · ab15db3
1 parent 71d2084
commit ab15db3
Show file tree

Hide file tree

Showing 2 changed files with 40 additions and 2 deletions.
diff --git a/gcc/rust/ast/rust-ast-visitor.cc b/gcc/rust/ast/rust-ast-visitor.cc
@@ -675,7 +675,46 @@ DefaultASTVisitor::visit (AST::AsyncBlockExpr &expr)
 
 void
 DefaultASTVisitor::visit (AST::InlineAsm &expr)
-{}
+{
+  visit_outer_attrs (expr);
+  using RegisterType = AST::InlineAsmOperand::RegisterType;
+  for (auto &operand : expr.get_operands ())
+    {
+      switch (operand.get_register_type ())
+	{
+	  case RegisterType::In: {
+	    visit (operand.get_in ().expr);
+	    break;
+	  }
+	  case RegisterType::Out: {
+	    visit (operand.get_out ().expr);
+	    break;
+	  }
+	  case RegisterType::InOut: {
+	    visit (operand.get_in_out ().expr);
+	    break;
+	  }
+	  case RegisterType::SplitInOut: {
+	    auto split = operand.get_split_in_out ();
+	    visit (split.in_expr);
+	    visit (split.out_expr);
+	    break;
+	  }
+	  case RegisterType::Const: {
+	    visit (operand.get_const ().anon_const.expr);
+	    break;
+	  }
+	  case RegisterType::Sym: {
+	    visit (operand.get_sym ().expr);
+	    break;
+	  }
+	  case RegisterType::Label: {
+	    visit (operand.get_label ().expr);
+	    break;
+	  }
+	}
+    }
+}
 
 void
 DefaultASTVisitor::visit (AST::TypeParam &param)

diff --git a/gcc/testsuite/rust/compile/nr2/exclude b/gcc/testsuite/rust/compile/nr2/exclude
@@ -233,7 +233,6 @@ issue-3045-1.rs
 issue-3045-2.rs
 issue-3046.rs
 unknown-associated-item.rs
-inline_asm_parse_output_operand.rs
 issue-3030.rs
 issue-3035.rs
 issue-3082.rs