diff --git a/regression/interprocedural/loop1/main.c b/regression/interprocedural/loop1/main.c
new file mode 100644
index 000000000..5be66bee9
--- /dev/null
+++ b/regression/interprocedural/loop1/main.c
@@ -0,0 +1,24 @@
+int x=0;
+
+void eval(void) 
+{
+  while (1) {
+    x=1;
+    break;
+  }
+  return;
+}
+
+int main() {
+
+  int N;
+  int i=0;
+  while(i++<N)
+  {
+    eval();
+  }
+
+  assert(x>=0);
+
+  return 0;
+}
diff --git a/regression/interprocedural/loop1/test.desc b/regression/interprocedural/loop1/test.desc
new file mode 100644
index 000000000..60923cb8f
--- /dev/null
+++ b/regression/interprocedural/loop1/test.desc
@@ -0,0 +1,6 @@
+KNOWNBUG
+main.c
+--k-induction
+^EXIT=0$
+^SIGNAL=0$
+^** 1 of 1 failed$