Fixed issue #182 arising due to deferred allocaion (void *) pointer shifting

  e.g. void *a = malloc(); a += (unsigned long)n;
  // see, for instance, function pdc20621_put_to_dimm, called from pdc20621_dimm_init in Linux 3.17, SATA SX4 driver

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14466 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c