2 files changed, 19 insertions, 1 deletions
diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc
index cd74c0f..305e964 100644
--- a/gcc/analyzer/region-model.cc
+++ b/gcc/analyzer/region-model.cc
@@ -1097,7 +1097,7 @@ region_model::get_rvalue_1 (path_var pv, region_model_context *ctxt)
   switch (TREE_CODE (pv.m_tree))
     {
     default:
-      gcc_unreachable ();
+      return m_mgr->get_or_create_unknown_svalue (TREE_TYPE (pv.m_tree));
 
     case ADDR_EXPR:
       {
diff --git a/gcc/testsuite/g++.dg/analyzer/pr96641.C b/gcc/testsuite/g++.dg/analyzer/pr96641.C
new file mode 100644
index 0000000..eb11c85
--- /dev/null
+++ b/gcc/testsuite/g++.dg/analyzer/pr96641.C
@@ -0,0 +1,18 @@
+struct uh {
+  virtual void
+  sx ();
+};
+
+struct iz : uh {
+  virtual void
+  sx ()
+  {
+    sx ();
+  }
+};
+
+void
+a2 ()
+{
+  iz ().sx ();
+}