modified compiler files for adding new keyword "getoffset" and adding

[IRC.git] / Robust / src / Analysis / Prefetch / PrefetchAnalysis.java

diff --git a/Robust/src/Analysis/Prefetch/PrefetchAnalysis.java b/Robust/src/Analysis/Prefetch/PrefetchAnalysis.java
index 11397ad6a2740b7375eaec44bdc522b655bdccad..3e06eb5d33058edfcb9040bdc9c4cd462bdd13da 100644 (file)
--- a/Robust/src/Analysis/Prefetch/PrefetchAnalysis.java
+++ b/Robust/src/Analysis/Prefetch/PrefetchAnalysis.java
@@ -144,6 +144,10 @@ public class PrefetchAnalysis {
        processFlatSetFieldNode(curr, child_prefetch_set_copy);
        break;
 
+      case FKind.FlatOffsetNode:
+       processDefaultCase(curr,child_prefetch_set_copy);
+       break;
+
       default:
        throw new Error("No such Flatnode kind");
       }