From 93cce40bb0020a52eeb68c692a142e2434f74e82 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 1 Apr 2011 00:20:42 +0000
Subject: [PATCH] bug fix for stephen

---
 Robust/src/Analysis/Pointer/Pointer.java | 3 +++
 1 file changed, 3 insertions(+)

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)
-- 
2.34.1