compiler/purify/test4.c

   1 #include <stdio.h>
   2
   3 int main (int argc, char ** argv)
   4 {
   5     short v[3], x;
   6     short * ptr;
   7
   8     ptr = v;
   9
  10     v[1] = 0;
  11
  12     x = *ptr++;  /* UMR */
  13     x = *ptr++;  /* ok */
  14
  15     *ptr++ = 0; /* ok */
  16     *ptr++ = 0; /* illegal write */
  17 }