From b9789af4375b19b826d2d3340029810dd9a2190a Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 7 Mar 2014 11:27:03 +0100
Subject: [PATCH] add example for bts #1636
---
.../known_bugs/bts1636_memory_leak_literal_strings.i | 9 +++++++++
1 file changed, 9 insertions(+)
create mode 100644 src/plugins/e-acsl/known_bugs/bts1636_memory_leak_literal_strings.i
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 00000000000..8817fd839d6
--- /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;
+}
--
GitLab