commit 543b20a5ff77e3597dbbcc34a96e4f47be2e0f6e
author Matthias Springer <me@m-sp.org> Wed Jun 18 13:01:13 2025 +0000
committer Matthias Springer <me@m-sp.org> Wed Jun 18 13:01:13 2025 +0000
tree 30a819ec091f320fbde9607ba6d7bf34152abb4c
parent 59d6fbb8ffe03ceecfcc07ebe22e256c97ef70dd

[mlir][Transforms] Dialect Conversion: Do not overwrite mapping

mlir/lib/Transforms/Utils/DialectConversion.cpp

diff --git a/mlir/lib/Transforms/Utils/DialectConversion.cpp b/mlir/lib/Transforms/Utils/DialectConversion.cpp
index 7de26d7..4cf9b84 100644
--- a/mlir/lib/Transforms/Utils/DialectConversion.cpp
+++ b/mlir/lib/Transforms/Utils/DialectConversion.cpp
@@ -144,6 +144,8 @@
   template <typename OldVal, typename NewVal>
   std::enable_if_t<IsValueVector<OldVal>::value && IsValueVector<NewVal>::value>
   map(OldVal &&oldVal, NewVal &&newVal) {
+    assert(mapping.find(oldVal) == mapping.end() &&
+           "attempting to overwrite mapping");
     LLVM_DEBUG({
       ValueVector next(newVal);
       while (true) {