Curious about corner case in btrfs code