1 files changed, 4 insertions, 1 deletions
diff --git a/backend/CSE2.v b/backend/CSE2.v
index 5b0556aa..9c45b476 100644
--- a/backend/CSE2.v
+++ b/backend/CSE2.v
@@ -289,7 +289,10 @@ Definition may_overlap chunk addr args chunk' addr' args' :=
     then negb (can_swap_accesses_ofs ofs' chunk' ofs chunk)
     else true
   | (Aglobal symb ofs), (Aglobal symb' ofs'),
-    nil, nil => peq symb symb'
+    nil, nil =>
+    if peq symb symb'
+    then negb (can_swap_accesses_ofs (Ptrofs.unsigned ofs') chunk' (Ptrofs.unsigned ofs) chunk)
+    else false
   | _, _, _, _ => true
   end.