diff --git a/src/plugins/e-acsl/known_bugs/bts1636_memory_leak_literal_strings.i b/src/plugins/e-acsl/known_bugs/bts1636_memory_leak_literal_strings.i
new file mode 100644
index 0000000000000000000000000000000000000000..8817fd839d63c551ae1f1233c36ce9a538729902
--- /dev/null
+++ b/src/plugins/e-acsl/known_bugs/bts1636_memory_leak_literal_strings.i
@@ -0,0 +1,9 @@
+int main(void)
+{
+  char *s;
+  for(int i = 0; i < 10; i++) {
+    s = "012";
+  }
+  /*@ assert s[1] == '1'; */
+  return 0;
+}