#295, modified simple tests

ultimate-pa · Jan 27, 2018 · 2e1a970 · 2e1a970
1 parent 7b0827f
commit 2e1a970
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 0 deletions.
diff --git a/trunk/examples/programs/heapseparator/mem-separable-01.c b/trunk/examples/programs/heapseparator/mem-separable-01.c
@@ -8,6 +8,10 @@ int main() {
   *q = 0;
   *r = 0;
 
+  int x = *p;
+  int y = *q;
+  int z = *r;
+
   free(p);
   free(q);
   free(r);

diff --git a/trunk/examples/programs/heapseparator/mem-separable-02.c b/trunk/examples/programs/heapseparator/mem-separable-02.c
@@ -10,6 +10,11 @@ int main() {
   *r = 0;
   *s = 0;
 
+  int x = *p;
+  int y = *q;
+  int z = *r;
+  int i = *r;
+
   free(p);
   free(q);
   free(r);

diff --git a/trunk/examples/programs/heapseparator/mem-separable-03.c b/trunk/examples/programs/heapseparator/mem-separable-03.c
@@ -12,6 +12,12 @@ int main() {
   *s = 0;
   *t = 0;
 
+  int x = *p;
+  int y = *q;
+  int z = *r;
+  int i = *s;
+  int j = *t;
+
   free(p);
   free(q);
   free(r);