From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 1 Nov 2012 22:59:56 +0000 (-0700)
Subject: realloc doesn't guarantee zeroing...
X-Git-Tag: pldi2013~27
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cabbdfb6fe631a0e4b1bfd1cb73862da6f04d7d8;hp=cabbdfb6fe631a0e4b1bfd1cb73862da6f04d7d8;p=model-checker.git

realloc doesn't guarantee zeroing...
---