"P->fd_nextsize->bk_nextsize != P와 P->fd_nextsize->bk_nextsize != P 조건을 검증합니다."
라고 되어있습니다. 둘 중 하나의 조건은 "P->bk_nextsize->fd_nextsize" 아닌가요?
확인하였습니다. 오타 제보 감사합니다.
