public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc/devel/rust/master] Fix missing dead code analysis ICE on local enum definition
@ 2022-09-27 15:50 Thomas Schwinge
  0 siblings, 0 replies; only message in thread
From: Thomas Schwinge @ 2022-09-27 15:50 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:b17e69852ea999547305b19e9c8da385f6c31e1e

commit b17e69852ea999547305b19e9c8da385f6c31e1e
Author: Philip Herron <philip.herron@embecosm.com>
Date:   Tue Sep 27 09:50:06 2022 +0100

    Fix missing dead code analysis ICE on local enum definition
    
    When resolving local enum's within a Block the name resolution info is
    not at the top of the stack so this patch introduces a new mappings class
    for miscellaneous name resolutions which can be used during path analaysis.
    
    Fixes #1272

Diff:
---
 gcc/rust/checks/lints/rust-lint-marklive.cc    |  7 +++++--
 gcc/rust/resolve/rust-name-resolver.cc         | 20 ++++++++++++++++++++
 gcc/rust/resolve/rust-name-resolver.h          |  6 ++++++
 gcc/rust/typecheck/rust-hir-type-check-path.cc |  5 +++++
 gcc/testsuite/rust/compile/issue-1272.rs       |  8 ++++++++
 5 files changed, 44 insertions(+), 2 deletions(-)

diff --git a/gcc/rust/checks/lints/rust-lint-marklive.cc b/gcc/rust/checks/lints/rust-lint-marklive.cc
index 245632b4b4c..19fbeb9ec9f 100644
--- a/gcc/rust/checks/lints/rust-lint-marklive.cc
+++ b/gcc/rust/checks/lints/rust-lint-marklive.cc
@@ -273,8 +273,11 @@ MarkLive::find_ref_node_id (NodeId ast_node_id, NodeId &ref_node_id)
 {
   if (!resolver->lookup_resolved_name (ast_node_id, &ref_node_id))
     {
-      bool ok = resolver->lookup_resolved_type (ast_node_id, &ref_node_id);
-      rust_assert (ok);
+      if (!resolver->lookup_resolved_type (ast_node_id, &ref_node_id))
+	{
+	  bool ok = resolver->lookup_resolved_misc (ast_node_id, &ref_node_id);
+	  rust_assert (ok);
+	}
     }
 }
 
diff --git a/gcc/rust/resolve/rust-name-resolver.cc b/gcc/rust/resolve/rust-name-resolver.cc
index fb7087425c1..ba8c1a821e3 100644
--- a/gcc/rust/resolve/rust-name-resolver.cc
+++ b/gcc/rust/resolve/rust-name-resolver.cc
@@ -499,5 +499,25 @@ Resolver::lookup_resolved_macro (NodeId refId, NodeId *defId)
   return true;
 }
 
+void
+Resolver::insert_resolved_misc (NodeId refId, NodeId defId)
+{
+  auto it = misc_resolved_items.find (refId);
+  rust_assert (it == misc_resolved_items.end ());
+
+  misc_resolved_items[refId] = defId;
+}
+
+bool
+Resolver::lookup_resolved_misc (NodeId refId, NodeId *defId)
+{
+  auto it = misc_resolved_items.find (refId);
+  if (it == misc_resolved_items.end ())
+    return false;
+
+  *defId = it->second;
+  return true;
+}
+
 } // namespace Resolver
 } // namespace Rust
diff --git a/gcc/rust/resolve/rust-name-resolver.h b/gcc/rust/resolve/rust-name-resolver.h
index 014628a87c9..3716bb05383 100644
--- a/gcc/rust/resolve/rust-name-resolver.h
+++ b/gcc/rust/resolve/rust-name-resolver.h
@@ -126,6 +126,9 @@ public:
   void insert_resolved_macro (NodeId refId, NodeId defId);
   bool lookup_resolved_macro (NodeId refId, NodeId *defId);
 
+  void insert_resolved_misc (NodeId refId, NodeId defId);
+  bool lookup_resolved_misc (NodeId refId, NodeId *defId);
+
   // proxy for scoping
   Scope &get_name_scope () { return name_scope; }
   Scope &get_type_scope () { return type_scope; }
@@ -202,6 +205,9 @@ private:
   std::map<NodeId, NodeId> resolved_labels;
   std::map<NodeId, NodeId> resolved_macros;
 
+  // misc
+  std::map<NodeId, NodeId> misc_resolved_items;
+
   // keep track of the current module scope ids
   std::vector<NodeId> current_module_stack;
 };
diff --git a/gcc/rust/typecheck/rust-hir-type-check-path.cc b/gcc/rust/typecheck/rust-hir-type-check-path.cc
index 33be96b7867..2450576f6e0 100644
--- a/gcc/rust/typecheck/rust-hir-type-check-path.cc
+++ b/gcc/rust/typecheck/rust-hir-type-check-path.cc
@@ -462,6 +462,11 @@ TypeCheckExpr::resolve_segments (NodeId root_resolved_node_id,
       resolver->insert_resolved_type (expr_mappings.get_nodeid (),
 				      resolved_node_id);
     }
+  else
+    {
+      resolver->insert_resolved_misc (expr_mappings.get_nodeid (),
+				      resolved_node_id);
+    }
 
   infered = tyseg;
 }
diff --git a/gcc/testsuite/rust/compile/issue-1272.rs b/gcc/testsuite/rust/compile/issue-1272.rs
new file mode 100644
index 00000000000..08adaaf944b
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-1272.rs
@@ -0,0 +1,8 @@
+fn main() -> i32 {
+    enum E {
+        X(u8),
+    }
+    let _v = E::X(4);
+
+    0
+}

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-09-27 15:50 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-09-27 15:50 [gcc/devel/rust/master] Fix missing dead code analysis ICE on local enum definition Thomas Schwinge

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).