Create analysis model for string literals in disjointness analysis that supports...

[IRC.git] / Robust / src / Analysis / Pointer / Pointer.java

diff --git a/Robust/src/Analysis/Pointer/Pointer.java b/Robust/src/Analysis/Pointer/Pointer.java
index 2c76a76d65fa6ecbd79d6d715dd54dc3daf94cf9..4947b959609a504bfb1a5ea73e31903193cb5386 100644 (file)
--- a/Robust/src/Analysis/Pointer/Pointer.java
+++ b/Robust/src/Analysis/Pointer/Pointer.java
@@ -2108,7 +2108,9 @@ nextdelta:
   public Alloc getNewStringLiteralAlloc() {
     return null;
   }
-
+  public Alloc getNewStringLiteralBytesAlloc() {
+    return null;
+  }
 
   public Set<Alloc> canPointToAt( TempDescriptor x,
                                   FlatNode programPoint ) {