Summary: Druing heap shrinking, check for emptiness of a region before modifying its ZF status.
Reviewed-by: tonyp