From 7c245f1f48a2c33e0a9996c8321434139202ae9e Mon Sep 17 00:00:00 2001
From: martin <martin@raphael>
Date: Thu, 17 Nov 2016 18:27:37 +0000
Subject: [PATCH] Repeat the from pull request #288 for other domains.

---
 src/pointer-analysis/value_set.cpp        | 4 ++++
 src/pointer-analysis/value_set_fivr.cpp   | 5 +++++
 src/pointer-analysis/value_set_fivrns.cpp | 4 ++++
 3 files changed, 13 insertions(+)

diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp
index 920bb867a87..d44c5fabd20 100644
--- a/src/pointer-analysis/value_set.cpp
+++ b/src/pointer-analysis/value_set.cpp
@@ -1803,6 +1803,10 @@ void value_sett::apply_code(
   else if(statement==ID_fence)
   {
   }
+  else if(statement==ID_input || statement==ID_output)
+  {
+	  // doesn't do anything
+  }
   else
   {
     //std::cerr << code.pretty() << std::endl;
diff --git a/src/pointer-analysis/value_set_fivr.cpp b/src/pointer-analysis/value_set_fivr.cpp
index 3dbf9eadaa9..f9a623cfdad 100644
--- a/src/pointer-analysis/value_set_fivr.cpp
+++ b/src/pointer-analysis/value_set_fivr.cpp
@@ -1882,6 +1882,11 @@ void value_set_fivrt::apply_code(
       assign(lhs, code.op0(), ns);
     }
   }
+  else if(statement==ID_input || statement==ID_output)
+  {
+	  // doesn't do anything
+  }
+
   else
     throw
       code.pretty()+"\n"+
diff --git a/src/pointer-analysis/value_set_fivrns.cpp b/src/pointer-analysis/value_set_fivrns.cpp
index aab89453adb..80a8c191744 100644
--- a/src/pointer-analysis/value_set_fivrns.cpp
+++ b/src/pointer-analysis/value_set_fivrns.cpp
@@ -1517,6 +1517,10 @@ void value_set_fivrnst::apply_code(
       assign(lhs, code.op0(), ns);
     }
   }
+  else if(statement==ID_input || statement==ID_output)
+  {
+	  // doesn't do anything
+  }
   else
   {
     throw