Fix tagging order

diff --git a/src/fn_call.rs b/src/fn_call.rs
index 911f76929d5a4bc90dc9a95bf84bae5535266799..062cc900e17608a1f90fb618f2dfa889541c3b62 100644 (file)
--- a/src/fn_call.rs
+++ b/src/fn_call.rs
@@ -100,19 +100,21 @@ fn emulate_foreign_item(
                     size
                 } else {
                     return err!(MachineError(format!(
-                        "calloc: overflow of items * size: {} * {}",
-                        items, size,
+                        "calloc: overflow of items * count: {} * {}",
+                        items, count,
                     )));
                 };
                 if size == 0 {
                     this.write_null(dest)?;
                 } else {
                     let align = this.tcx.data_layout.pointer_align.abi;
-                    let ptr = this.memory_mut().allocate(Size::from_bytes(size), align, MiriMemoryKind::C.into());
+                    let ptr = this.memory_mut()
+                        .allocate(Size::from_bytes(size), align, MiriMemoryKind::C.into())
+                        .with_default_tag();
                     this.memory_mut()
                         .get_mut(ptr.alloc_id)?
                         .write_repeat(tcx, ptr, 0, Size::from_bytes(size))?;
-                    this.write_scalar(Scalar::Ptr(ptr.with_default_tag()), dest)?;
+                    this.write_scalar(Scalar::Ptr(ptr), dest)?;
                 }
             }
             "posix_memalign" => {