--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/libmudflap/testsuite/libmudflap.c/pass54-frag.c	Fri Jul 17 14:47:48 2009 +0900
@@ -0,0 +1,33 @@
+struct k 
+{
+  struct {
+    int b;
+    int c;
+  } a;
+};
+
+static struct k l;
+static struct k m;
+
+void foo ()
+{
+  /* This should not be instrumented. */ 
+  l.a.b = 5;
+}
+
+void bar ()
+{
+  /* This should not be instrumented. */ 
+  m.a.b = 5;
+}
+
+int main ()
+{
+  /* Force TREE_ADDRESSABLE on "l" only.  */
+  volatile int *k = & l.a.c;
+  *k = 8;
+  __mf_set_options ("-mode-violate");
+  foo ();
+  bar ();
+  __mf_set_options ("-mode-check");
+}