more informative assertion

Reviewed By: beicy Differential Revision: D52372737 fbshipit-source-id: c940ccf8be9357f80d27a0ebf14b5018da23ba76
hurali97 · Dec 28, 2023 · e974559 · e974559
1 parent a77e4ba
commit e974559
Showing 1 changed file with 14 additions and 3 deletions.
diff --git a/opt/object-escape-analysis/ObjectEscapeAnalysis.cpp b/opt/object-escape-analysis/ObjectEscapeAnalysis.cpp
@@ -559,9 +559,20 @@ class RootMethodReducer {
     }
 
     auto* insn = find_incomplete_marker_methods();
-    always_assert_log(!insn,
-                      "Incomplete marker {%s} present after reduction in\n%s",
-                      SHOW(insn), SHOW(m_method->get_code()->cfg()));
+    auto describe = [&]() {
+      std::ostringstream oss;
+      for (auto [type, kind] : m_types) {
+        oss << show(type) << ":"
+            << (kind == InlinableTypeKind::Incomplete ? "incomplete" : "")
+            << ", ";
+      }
+      return oss.str();
+    };
+    always_assert_log(
+        !insn,
+        "Incomplete marker {%s} present in {%s} after reduction of %s in\n%s",
+        SHOW(insn), SHOW(m_method), describe().c_str(),
+        SHOW(m_method->get_code()->cfg()));
 
     shrink();
     return (ReducedMethod){