fix clang build

AliveToolkit · Dec 8, 2023 · fa7614f · fa7614f
1 parent 7a337a1
commit fa7614f
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/tools/transform.cpp b/tools/transform.cpp
@@ -667,8 +667,9 @@ check_refinement(Errors &errs, const Transform &t, State &src_state,
   // 6. Check memory
   auto &src_mem = src_state.returnMemory();
   auto &tgt_mem = tgt_state.returnMemory();
-  auto [memory_cnstr, ptr_refinement, mem_undef]
+  auto [memory_cnstr0, ptr_refinement0, mem_undef]
     = src_mem.refined(tgt_mem, false);
+  auto &ptr_refinement = ptr_refinement0;
   qvars.insert(mem_undef.begin(), mem_undef.end());
 
   auto print_ptr_load = [&](ostream &s, const Model &m) {
@@ -679,8 +680,8 @@ check_refinement(Errors &errs, const Transform &t, State &src_state,
       << "\nTarget value: " << Byte(tgt_mem, m[tgt_mem.raw_load(p, undef)()]);
   };
 
-  CHECK(dom && !(memory_cnstr.isTrue() ? memory_cnstr
-                                       : value_cnstr && memory_cnstr),
+  CHECK(dom && !(memory_cnstr0.isTrue() ? memory_cnstr0
+                                        : value_cnstr && memory_cnstr0),
         print_ptr_load, "Mismatch in memory");
 
 #undef CHECK