From: bdemsky <bdemsky>
Date: Tue, 12 Feb 2008 00:37:12 +0000 (+0000)
Subject: bug fix
X-Git-Tag: preEdgeChange~285
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=3d7f5d4fbddeb13b6736601b373cce036c10b7e8;p=IRC.git

bug fix
---

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)