libmudflap/testsuite/libmudflap.c/pass54-frag.c

   1 struct k
   2 {
   3   struct {
   4     int b;
   5     int c;
   6   } a;
   7 };
   8
   9 static struct k l;
  10 static struct k m;
  11
  12 void foo ()
  13 {
  14   /* This should not be instrumented. */
  15   l.a.b = 5;
  16 }
  17
  18 void bar ()
  19 {
  20   /* This should not be instrumented. */
  21   m.a.b = 5;
  22 }
  23
  24 int main ()
  25 {
  26   /* Force TREE_ADDRESSABLE on "l" only.  */
  27   volatile int *k = & l.a.c;
  28   *k = 8;
  29   __mf_set_options ("-mode-violate");
  30   foo ();
  31   bar ();
  32   __mf_set_options ("-mode-check");
  33 }