How often was that bug actually hit in production? How many people are allocating arrays of size 2*31? A bug is less likely to be caught if it's not exploitable.