bitcoin/src/consensus
Adam Jonas 308dd2e93e Sanity assert GetAncestor() != nullptr where appropriate
Add sanity asserts for return value of `CBlockIndex::GetAncestor()` where appropriate.

In validation.cpp `CheckSequenceLocks`, check the return value of `tip->GetAncestor(maxInputHeight)` stored into `lp->maxInputBlock`. If it ever returns `nullptr` because the ancestor isn't found, it's going to be a bad bug to keep going, since a `LockPoints` object with the `maxInputBlock` member set to `nullptr` signifies no relative lock time.

In the other places, the added asserts would prevent accidental dereferencing of a null pointer which is undefined behavior.

Co-Authored-By: Aurèle Oulès <aurele@oules.com>
Co-Authored-By: danra <danra@users.noreply.github.com>
2022-05-05 15:55:44 +02:00
..
amount.h scripted-diff: Bump copyright headers 2021-12-30 19:36:57 +02:00
consensus.h Update copyright headers to 2018 2018-07-27 07:15:02 -04:00
merkle.cpp scripted-diff: Bump copyright headers 2020-04-16 13:33:09 -04:00
merkle.h scripted-diff: Bump copyright of files changed in 2019 2019-12-30 10:42:20 +13:00
params.h Merge bitcoin/bitcoin#23536: Enforce Taproot script flags whenever WITNESS is set 2022-03-25 14:11:18 +01:00
tx_check.cpp scripted-diff: Bump copyright headers 2021-12-30 19:36:57 +02:00
tx_check.h scripted-diff: Bump copyright of files changed in 2019 2019-12-30 10:42:20 +13:00
tx_verify.cpp Sanity assert GetAncestor() != nullptr where appropriate 2022-05-05 15:55:44 +02:00
tx_verify.h scripted-diff: Bump copyright headers 2021-12-30 19:36:57 +02:00
validation.h scripted-diff: Bump copyright headers 2021-12-30 19:36:57 +02:00