From 3d7f5d4fbddeb13b6736601b373cce036c10b7e8 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 12 Feb 2008 00:37:12 +0000
Subject: [PATCH] bug fix

---
 Robust/src/Analysis/Locality/LocalityAnalysis.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Robust/src/Analysis/Locality/LocalityAnalysis.java b/Robust/src/Analysis/Locality/LocalityAnalysis.java
index ccc28803..18c530a5 100644
--- a/Robust/src/Analysis/Locality/LocalityAnalysis.java
+++ b/Robust/src/Analysis/Locality/LocalityAnalysis.java
@@ -528,6 +528,8 @@ public class LocalityAnalysis {
 	    if (!(srctype.equals(LOCAL)||srctype.equals(EITHER)))
 		throw new Error("Writing possible global reference to local object in context:\n"+lb.getExplanation());
 	} else if (dsttype.equals(GLOBAL)) {
+	    if (srctype.equals(LOCAL) && fsen.getDst().getType().dereference().isPrimitive() && ! fsen.getDst().getType().dereference().isArray())
+		return;
 	    if (!(srctype.equals(GLOBAL)||srctype.equals(EITHER)))
 		throw new Error("Writing possible local reference to global object in context:\n"+lb.getExplanation());
 	    if (!isatomic)
-- 
2.34.1