diff --git a/interp/testdata/store.ll b/interp/testdata/store.ll
index 6d532f77f..d42010179 100644
--- a/interp/testdata/store.ll
+++ b/interp/testdata/store.ll
@@ -4,11 +4,14 @@ target triple = "x86_64--linux"
 @overlap.buf = global [4 x i8] c"\01\02\03\04"
 @alias.src = global [4 x i8] c"\05\06\07\08"
 @alias.dst = global [2 x i8] zeroinitializer
+@reload.buf = global [4 x i8] c"\01\02\03\04"
+@reload.out = global [2 x i8] zeroinitializer
 
 define void @runtime.initAll() unnamed_addr {
 entry:
   call void @overlap.init(ptr undef)
   call void @alias.init(ptr undef)
+  call void @reload.init(ptr undef)
   ret void
 }
 
@@ -30,3 +33,17 @@ entry:
   store i8 9, ptr @alias.dst
   ret void
 }
+
+define internal void @reload.init(ptr %context) unnamed_addr {
+entry:
+  ; First store makes reload.buf writable in the current memory view.
+  %tail = getelementptr [4 x i8], ptr @reload.buf, i32 0, i32 3
+  store i8 9, ptr %tail
+  ; Partial load whose result may share the underlying buffer.
+  %val = load i16, ptr @reload.buf
+  ; Subsequent in-place partial store; this must not corrupt %val.
+  store i8 99, ptr @reload.buf
+  ; Write the originally-loaded value to a separate global.
+  store i16 %val, ptr @reload.out
+  ret void
+}
diff --git a/interp/testdata/store.out.ll b/interp/testdata/store.out.ll
index 1de806aa1..6c0f95052 100644
--- a/interp/testdata/store.out.ll
+++ b/interp/testdata/store.out.ll
@@ -4,6 +4,8 @@ target triple = "x86_64--linux"
 @overlap.buf = local_unnamed_addr global [4 x i8] c"\01\01\02\09"
 @alias.src = local_unnamed_addr global [4 x i8] c"\05\06\07\08"
 @alias.dst = local_unnamed_addr global [2 x i8] c"\09\07"
+@reload.buf = local_unnamed_addr global [4 x i8] c"c\02\03\09"
+@reload.out = local_unnamed_addr global [2 x i8] c"c\02"
 
 define void @runtime.initAll() unnamed_addr {
 entry: