Assert when adding the same type with different names to the live typ…

…e map Summary: severe_consistency Reviewed By: alexmalyshev Differential Revision: D50865534 fbshipit-source-id: 42fb6eaa36274d05e5d917bfb33f68bd0c7111f9
facebookincubator · Nov 3, 2023 · 32cd103 · 32cd103
1 parent 82b2f32
commit 32cd103
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/Jit/live_type_map.cpp b/Jit/live_type_map.cpp
@@ -34,7 +34,11 @@ void LiveTypeMap::insert(BorrowedRef<PyTypeObject> type) {
     type_to_name_.erase(pair.first->second);
     pair.first->second = type;
   }
-  type_to_name_[type] = std::move(name);
+  auto pair2 = type_to_name_.emplace(type, name);
+  JIT_DCHECK(
+      !pair.second || pair2.second,
+      "Name and type maps are inconsistent when inserting name {}",
+      name);
 }
 
 void LiveTypeMap::setPrimedDictKeys(BorrowedRef<PyTypeObject> type) {