The checks were based on JPCSP's (since this class was based on JPCSP's implementation, at least according to the header, it seemed to miss some checks ). If size_t can't be less than 0 then that check is not needed.