X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/28bf4b0bfd405a2057d865910f8589c54a40f17b..80ee600a548f705b2875267c01bcc63e95203578:/test/innerfree.c?ds=sidebyside

diff --git a/test/innerfree.c b/test/innerfree.c
new file mode 100644
index 0000000..c7b7546
--- /dev/null
+++ b/test/innerfree.c
@@ -0,0 +1,24 @@
+/* Contributed by Matthew Yeates. */
+
+int foo (char *b);
+
+struct s {
+  char *i;
+};
+
+static int redir(struct s *s)
+{
+  s->i = malloc(1 * sizeof(int));
+
+  if (!(s->i))
+    return 1;
+
+  if (0) {
+    free(s->i);
+    return 1;
+  }
+  
+  free (s->i);
+  return 0;
+}
+