1
0
mirror of https://github.com/codership/wsrep-lib.git synced 2025-07-28 20:02:00 +03:00

Assert that fragmen seqno is not undefined. Added debug crash points.

This commit is contained in:
Teemu Ollakka
2018-07-16 16:50:49 +03:00
parent 0efec1b8bd
commit b054c7320c
2 changed files with 8 additions and 0 deletions

View File

@ -65,6 +65,7 @@ namespace wsrep
void stored(wsrep::seqno seqno)
{
assert(seqno.is_undefined() == false);
fragments_.push_back(seqno);
}
@ -75,6 +76,7 @@ namespace wsrep
void applied(wsrep::seqno seqno)
{
assert(seqno.is_undefined() == false);
++fragments_certified_;
fragments_.push_back(seqno);
}