memcheck/tests/badrw.c

   1 #include <stdlib.h>
   2
   3 int main(void)
   4 {
   5    void* x = malloc(10);
   6
   7    int   *x4;
   8    short *x2;
   9    char  *x1;
  10    int    y4;
  11    short  y2;
  12    char   y1;
  13
  14    x4 = x-4;
  15    x2 = x-4;
  16    x1 = x-1;
  17
  18    // Invalid reads and writes of sizes 4, 2, 1
  19    y4 = *x4;
  20    *x4 = y4;
  21
  22    y2 = *x2;
  23    *x2 = y2;
  24
  25    y1 = *x1;
  26    *x1 = y1;
  27
  28    return 0;
  29 }