compiler/purify/t_illread.c

   1 #include <stdio.h>
   2
   3 int c;
   4
   5 void foo (int * x)
   6 {
   7     *x ++ = 1;
   8 }
   9
  10 int main (int argc, char ** argv)
  11 {
  12     int * x;
  13     int a, b;
  14
  15     x = &b;
  16
  17     a = *x; /* Uninitialized memory read */
  18
  19     return 0;
  20 }