compiler/purify/test8.c

   1 #include <stdio.h>
   2
   3 int * x;
   4 const char str[] = "hallo";
   5
   6 static const char str2[] = "hallo";
   7
   8 int main (int argc, char ** argv)
   9 {
  10     int c;
  11     int * y;
  12
  13     x = &c;
  14     y = x;
  15
  16     c = *y; /* UMR */
  17
  18     c = str[3]; /* ok */
  19     c = str[-1]; /* ILR */
  20     c = str[8]; /* ILR */
  21
  22     c = str2[3]; /* ok */
  23     c = str2[-1]; /* ILR */
  24     c = str2[8]; /* ILR */
  25
  26     return 0;
  27 }