From: bdemsky <bdemsky>
Date: Fri, 1 Apr 2011 00:20:42 +0000 (+0000)
Subject: bug fix for stephen
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=93cce40bb0020a52eeb68c692a142e2434f74e82;p=IRC.git

bug fix for stephen
---

diff --git a/Robust/src/Analysis/Pointer/Pointer.java b/Robust/src/Analysis/Pointer/Pointer.java
index 13dd2844..c8eb7bbd 100644
--- a/Robust/src/Analysis/Pointer/Pointer.java
+++ b/Robust/src/Analysis/Pointer/Pointer.java
@@ -1178,6 +1178,9 @@ public class Pointer implements HeapAnalysis{
       MySet<Edge> returnedge=delta.varedgeadd.get(returntmp);
       if (returnedge!=null)
 	for(Edge e:returnedge) {
+	  //skip the edge if types don't allow it...
+	  if (!typeUtil.isSuperorType(fcall.getReturnTemp().getType(), e.dst.getType()))
+	    continue;
 	  Edge newedge=e.copy();
 	  newedge.srcvar=fcall.getReturnTemp();
 	  if (seseCallers!=null)