--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/libmudflap/testsuite/libmudflap.c/pass34-frag.c	Fri Jul 17 14:47:48 2009 +0900
@@ -0,0 +1,18 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+void test (int *k)
+{
+  if (*k > 5) { *k --; }
+}
+
+int z;
+
+int main ()
+{
+/* z is initialized, but not via a pointer, so not instrumented */
+z = rand (); 
+test (& z);
+return 0;
+}