status-im
/
nimbus-eth1
mirror of https://github.com/status-im/nimbus-eth1.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add more doAssert constraint

This commit is contained in:
jangko 2024-06-25 22:11:19 +07:00
parent 0471f059c4
commit b44a4c3e74
No known key found for this signature in database
GPG Key ID: 31702AE10541E6B9
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
nimbus/core/chain/forked_chain.nim
View File

@ -361,7 +361,7 @@ proc forkChoice*(c: var ForkedChain,
# At this point cursorHeader.number > baseHeader.number
if newBase.hash == c.cursorHash:
# Paranoid check, guaranteed by findCanonicalHead
doAssert(c.cursorHash == headHash)
doAssert(c.cursorHash == head.cursorHash)
# Current segment is canonical chain
c.writeBaggage(newBase.hash)
@ -383,6 +383,7 @@ proc forkChoice*(c: var ForkedChain,
# At this point finalizedHeader.number is <= headHeader.number
# and possibly switched to other chain beside the one with cursor
doAssert(finalizedHeader.number <= head.header.number)
doAssert(newBase.header.number <= finalizedHeader.number)
# Write segment from base+1 to newBase into database
c.stagingTx.rollback()
@ -403,7 +404,7 @@ proc forkChoice*(c: var ForkedChain,
c.stagingTx = c.db.newTransaction()
c.replaySegment(headHash)
# Move cursor forward to current head
# Move cursor to current head
c.trimCanonicalChain(head)
if c.cursorHash != headHash:
c.cursorHeader = head.header