Wed, 9 Aug 2000 12:16:16 -0500
Won't this (checking that limit checks are for exactly the sum of the sizes of
all types being allocated) prevent putting in an optimization which checks for
more than that so that we have fewer limit checks? I'm thinking of something
check for atleast A+B+C bytes available
Collapsing this to one limit check would be nice (although you have to be
careful to maintain safe-for-space.