Attempting to free a detectably invalid pointer should terminate, as this would be a programming error.