compiler/purify/t_illread2.c

   1 #include <stdio.h>
   2
   3 int main (int argc, char ** argv)
   4 {
   5     int * x;
   6     int a, b;
   7
   8     x = &b;
   9
  10     b = 0;
  11
  12     a = *x++;   /* ok */
  13     a = *x++;   /* illegal: Uninitialized memory */
  14
  15     x = (int *)&main;
  16
  17     a = *x; /* illegal: Code read */
  18
  19     x = (int *)0xDEADBEEF;
  20
  21     a = *x; /* illegal: Illegal pointer */
  22 }