Add assertion to guide static analyzers. Clang Static Analyzer needs this guidance.
Add assertion to guide static analyzers. Clang Static Analyzer needs this guidance.

namecoin/namecore,lbryio/lbrycrd,practicalswift/bitcoin,particl/particl-core,rnicoll/bitcoin,yenliangl/bitcoin,namecoin/namecore,monacoinproject/monacoin,RHavar/bitcoin,ElementsProject/elements,MarcoFalke/bitcoin,CryptArc/bitcoin,kazcw/bitcoin,joshrabinowitz/bitcoin,qtumproject/qtum,FeatherCoin/Feathercoin,achow101/bitcoin,ElementsProject/elements,h4x3rotab/BTCGPU,RHavar/bitcoin,myriadcoin/myriadcoin,tecnovert/particl-core,alecalve/bitcoin,particl/particl-core,jlopp/statoshi,andreaskern/bitcoin,h4x3rotab/BTCGPU,tecnovert/particl-core,thrasher-/litecoin,gjhiggins/vcoincore,domob1812/huntercore,AkioNak/bitcoin,jamesob/bitcoin,Sjors/bitcoin,myriadteam/myriadcoin,bespike/litecoin,ericshawlinux/bitcoin,pstratem/bitcoin,AkioNak/bitcoin,GlobalBoost/GlobalBoost,domob1812/bitcoin,prusnak/bitcoin,domob1812/namecore,kazcw/bitcoin,ElementsProject/elements,instagibbs/bitcoin,digibyte/digibyte,instagibbs/bitcoin,pstratem/bitcoin,afk11/bitcoin,jnewbery/bitcoin,jmcorgan/bitcoin,sebrandon1/bitcoin,lbryio/lbrycrd,bitcoinknots/bitcoin,domob1812/namecore,RHavar/bitcoin,guncoin/guncoin,lbryio/lbrycrd,cdecker/bitcoin,RHavar/bitcoin,Xekyo/bitcoin,sipsorcery/bitcoin,sstone/bitcoin,gjhiggins/vcoincore,mruddy/bitcoin,dscotese/bitcoin,n1bor/bitcoin,Xekyo/bitcoin,nikkitan/bitcoin,GroestlCoin/GroestlCoin,joshrabinowitz/bitcoin,EthanHeilman/bitcoin,vertcoin/vertcoin,lbryio/lbrycrd,JeremyRubin/bitcoin,achow101/bitcoin,guncoin/guncoin,jtimon/bitcoin,rawodb/bitcoin,FeatherCoin/Feathercoin,achow101/bitcoin,practicalswift/bitcoin,digibyte/digibyte,jtimon/bitcoin,litecoin-project/litecoin,jmcorgan/bitcoin,midnightmagic/bitcoin,myriadteam/myriadcoin,vmp32k/litecoin,instagibbs/bitcoin,thrasher-/litecoin,kallewoof/bitcoin,qtumproject/qtum,instagibbs/bitcoin,pataquets/namecoin-core,sebrandon1/bitcoin,midnightmagic/bitcoin,domob1812/bitcoin,fanquake/bitcoin,cdecker/bitcoin,Bushstar/UFO-Project,GroestlCoin/bitcoin,fujicoin/fujicoin,alecalve/bitcoin,dscotese/bitcoin,Kogser/bitcoin,Flowdalic/bitcoin,jonasschnelli/bitcoin,vertcoin/vertcoin,kazcw/bitcoin,pstratem/bitcoin,fanquake/bitcoin,GroestlCoin/bitcoin,GlobalBoost/GlobalBoost,jtimon/bitcoin,anditto/bitcoin,jonasschnelli/bitcoin,EthanHeilman/bitcoin,lateminer/bitcoin,rawodb/bitcoin,peercoin/peercoin,jmcorgan/bitcoin,jtimon/bitcoin,particl/particl-core,joshrabinowitz/bitcoin,jlopp/statoshi,guncoin/guncoin,ajtowns/bitcoin,tjps/bitcoin,bespike/litecoin,jambolo/bitcoin,lateminer/bitcoin,vmp32k/litecoin,anditto/bitcoin,DigitalPandacoin/pandacoin,sebrandon1/bitcoin,bitcoinknots/bitcoin,domob1812/huntercore,namecoin/namecoin-core,bitcoin/bitcoin,afk11/bitcoin,lateminer/bitcoin,droark/bitcoin,pataquets/namecoin-core,pstratem/bitcoin,n1bor/bitcoin,r8921039/bitcoin,prusnak/bitcoin,ajtowns/bitcoin,ElementsProject/elements,kazcw/bitcoin,AkioNak/bitcoin,cdecker/bitcoin,MarcoFalke/bitcoin,prusnak/bitcoin,gjhiggins/vcoincore,namecoin/namecore,sipsorcery/bitcoin,bitcoinknots/bitcoin,namecoin/namecoin-core,jamesob/bitcoin,r8921039/bitcoin,rnicoll/bitcoin,pstratem/bitcoin,Christewart/bitcoin,jambolo/bitcoin,BTCGPU/BTCGPU,qtumproject/qtum,Christewart/bitcoin,BTCGPU/BTCGPU,andreaskern/bitcoin,bitcoin/bitcoin,wellenreiter01/Feathercoin,namecoin/namecore,r8921039/bitcoin,lateminer/bitcoin,ericshawlinux/bitcoin,apoelstra/bitcoin,lbryio/lbrycrd,thrasher-/litecoin,tecnovert/particl-core,anditto/bitcoin,bitcoinsSG/bitcoin,MarcoFalke/bitcoin,jamesob/bitcoin,droark/bitcoin,DigitalPandacoin/pandacoin,FeatherCoin/Feathercoin,domob1812/namecore,CryptArc/bitcoin,jamesob/bitcoin,digibyte/digibyte,Xekyo/bitcoin,Kogser/bitcoin,afk11/bitcoin,fanquake/bitcoin,Kogser/bitcoin,guncoin/guncoin,peercoin/peercoin,practicalswift/bitcoin,JeremyRubin/bitcoin,namecoin/namecoin-core,namecoin/namecoin-core,myriadteam/myriadcoin,litecoin-project/litecoin,CryptArc/bitcoin,achow101/bitcoin,yenliangl/bitcoin,nikkitan/bitcoin,ahmedbodi/vertcoin,untrustbank/litecoin,OmniLayer/omnicore,thrasher-/litecoin,namecoin/namecore,Xekyo/bitcoin,h4x3rotab/BTCGPU,randy-waterhouse/bitcoin,domob1812/huntercore,fujicoin/fujicoin,rnicoll/bitcoin,fujicoin/fujicoin,jambolo/bitcoin,particl/particl-core,guncoin/guncoin,jnewbery/bitcoin,qtumproject/qtum,n1bor/bitcoin,apoelstra/bitcoin,sebrandon1/bitcoin,joshrabinowitz/bitcoin,myriadcoin/myriadcoin,FeatherCoin/Feathercoin,peercoin/peercoin,achow101/bitcoin,myriadcoin/myriadcoin,Bushstar/UFO-Project,MeshCollider/bitcoin,jtimon/bitcoin,AkioNak/bitcoin,myriadteam/myriadcoin,prusnak/bitcoin,BTCGPU/BTCGPU,bitcoinknots/bitcoin,lateminer/bitcoin,Kogser/bitcoin,MeshCollider/bitcoin,alecalve/bitcoin,jambolo/bitcoin,bitcoinsSG/bitcoin,Bushstar/UFO-Project,n1bor/bitcoin,practicalswift/bitcoin,monacoinproject/monacoin,gjhiggins/vcoincore,instagibbs/bitcoin,particl/particl-core,rnicoll/bitcoin,bitcoin/bitcoin,thrasher-/litecoin,achow101/bitcoin,rnicoll/dogecoin,monacoinproject/monacoin,r8921039/bitcoin,DigitalPandacoin/pandacoin,lbryio/lbrycrd,h4x3rotab/BTCGPU,wellenreiter01/Feathercoin,apoelstra/bitcoin,andreaskern/bitcoin,BTCGPU/BTCGPU,kallewoof/bitcoin,pataquets/namecoin-core,practicalswift/bitcoin,domob1812/namecore,DigitalPandacoin/pandacoin,droark/bitcoin,peercoin/peercoin,yenliangl/bitcoin,joshrabinowitz/bitcoin,bitcoin/bitcoin,dscotese/bitcoin,bitcoinknots/bitcoin,domob1812/bitcoin,Christewart/bitcoin,rnicoll/dogecoin,untrustbank/litecoin,anditto/bitcoin,bitcoinsSG/bitcoin,myriadteam/myriadcoin,FeatherCoin/Feathercoin,sipsorcery/bitcoin,cdecker/bitcoin,ahmedbodi/vertcoin,domob1812/namecore,pataquets/namecoin-core,cdecker/bitcoin,n1bor/bitcoin,Flowdalic/bitcoin,BTCGPU/BTCGPU,kazcw/bitcoin,ahmedbodi/vertcoin,sstone/bitcoin,myriadcoin/myriadcoin,ahmedbodi/vertcoin,Sjors/bitcoin,JeremyRubin/bitcoin,midnightmagic/bitcoin,Flowdalic/bitcoin,ElementsProject/elements,vertcoin/vertcoin,mruddy/bitcoin,tecnovert/particl-core,afk11/bitcoin,ajtowns/bitcoin,Flowdalic/bitcoin,kallewoof/bitcoin,peercoin/peercoin,apoelstra/bitcoin,qtumproject/qtum,afk11/bitcoin,wellenreiter01/Feathercoin,GroestlCoin/GroestlCoin,mruddy/bitcoin,EthanHeilman/bitcoin,GroestlCoin/GroestlCoin,Kogser/bitcoin,domob1812/huntercore,Christewart/bitcoin,guncoin/guncoin,sipsorcery/bitcoin,ericshawlinux/bitcoin,tjps/bitcoin,bitcoin/bitcoin,andreaskern/bitcoin,mruddy/bitcoin,Xekyo/bitcoin,myriadteam/myriadcoin,apoelstra/bitcoin,droark/bitcoin,rawodb/bitcoin,jmcorgan/bitcoin,JeremyRubin/bitcoin,Sjors/bitcoin,GroestlCoin/GroestlCoin,jmcorgan/bitcoin,peercoin/peercoin,Christewart/bitcoin,digibyte/digibyte,bitcoin/bitcoin,vmp32k/litecoin,untrustbank/litecoin,fanquake/bitcoin,GroestlCoin/bitcoin,gjhiggins/vcoincore,mm-s/bitcoin,digibyte/digibyte,vmp32k/litecoin,n1bor/bitcoin,JeremyRubin/bitcoin,rnicoll/dogecoin,prusnak/bitcoin,joshrabinowitz/bitcoin,apoelstra/bitcoin,bespike/litecoin,untrustbank/litecoin,yenliangl/bitcoin,kallewoof/bitcoin,randy-waterhouse/bitcoin,RHavar/bitcoin,vmp32k/litecoin,vertcoin/vertcoin,ahmedbodi/vertcoin,anditto/bitcoin,mitchellcash/bitcoin,thrasher-/litecoin,kallewoof/bitcoin,randy-waterhouse/bitcoin,Flowdalic/bitcoin,GlobalBoost/GlobalBoost,mitchellcash/bitcoin,practicalswift/bitcoin,rnicoll/dogecoin,sipsorcery/bitcoin,mm-s/bitcoin,alecalve/bitcoin,RHavar/bitcoin,mitchellcash/bitcoin,untrustbank/litecoin,MeshCollider/bitcoin,fanquake/bitcoin,r8921039/bitcoin,EthanHeilman/bitcoin,ericshawlinux/bitcoin,jamesob/bitcoin,rawodb/bitcoin,pstratem/bitcoin,dscotese/bitcoin,yenliangl/bitcoin,GroestlCoin/GroestlCoin,Kogser/bitcoin,pataquets/namecoin-core,rawodb/bitcoin,monacoinproject/monacoin,bespike/litecoin,nikkitan/bitcoin,jambolo/bitcoin,bespike/litecoin,wellenreiter01/Feathercoin,jlopp/statoshi,AkioNak/bitcoin,jonasschnelli/bitcoin,EthanHeilman/bitcoin,sstone/bitcoin,randy-waterhouse/bitcoin,GroestlCoin/bitcoin,digibyte/digibyte,gjhiggins/vcoincore,GlobalBoost/GlobalBoost,Sjors/bitcoin,sstone/bitcoin,lateminer/bitcoin,tjps/bitcoin,jlopp/statoshi,Kogser/bitcoin,MeshCollider/bitcoin,ajtowns/bitcoin,jnewbery/bitcoin,mitchellcash/bitcoin,litecoin-project/litecoin,namecoin/namecoin-core,vertcoin/vertcoin,jnewbery/bitcoin,MarcoFalke/bitcoin,DigitalPandacoin/pandacoin,domob1812/bitcoin,domob1812/huntercore,bitcoinsSG/bitcoin,midnightmagic/bitcoin,Kogser/bitcoin,jonasschnelli/bitcoin,GroestlCoin/GroestlCoin,randy-waterhouse/bitcoin,droark/bitcoin,yenliangl/bitcoin,MeshCollider/bitcoin,wellenreiter01/Feathercoin,domob1812/bitcoin,OmniLayer/omnicore,nikkitan/bitcoin,ahmedbodi/vertcoin,monacoinproject/monacoin,MarcoFalke/bitcoin,sebrandon1/bitcoin,JeremyRubin/bitcoin,untrustbank/litecoin,jlopp/statoshi,litecoin-project/litecoin,kallewoof/bitcoin,litecoin-project/litecoin,bitcoinsSG/bitcoin,Bushstar/UFO-Project,OmniLayer/omnicore,h4x3rotab/BTCGPU,ericshawlinux/bitcoin,nikkitan/bitcoin,namecoin/namecoin-core,rawodb/bitcoin,jtimon/bitcoin,mm-s/bitcoin,Kogser/bitcoin,vmp32k/litecoin,Bushstar/UFO-Project,qtumproject/qtum,mitchellcash/bitcoin,lbryio/lbrycrd,sstone/bitcoin,Kogser/bitcoin,jambolo/bitcoin,DigitalPandacoin/pandacoin,sipsorcery/bitcoin,ElementsProject/elements,ajtowns/bitcoin,r8921039/bitcoin,OmniLayer/omnicore,droark/bitcoin,Sjors/bitcoin,EthanHeilman/bitcoin,prusnak/bitcoin,sstone/bitcoin,qtumproject/qtum,rnicoll/bitcoin,anditto/bitcoin,CryptArc/bitcoin,domob1812/bitcoin,mitchellcash/bitcoin,andreaskern/bitcoin,mruddy/bitcoin,litecoin-project/litecoin,GlobalBoost/GlobalBoost,fujicoin/fujicoin,andreaskern/bitcoin,Christewart/bitcoin,GroestlCoin/bitcoin,fanquake/bitcoin,nikkitan/bitcoin,tecnovert/particl-core,ericshawlinux/bitcoin,randy-waterhouse/bitcoin,pataquets/namecoin-core,myriadcoin/myriadcoin,jonasschnelli/bitcoin,myriadcoin/myriadcoin,vertcoin/vertcoin,namecoin/namecore,dscotese/bitcoin,particl/particl-core,jmcorgan/bitcoin,instagibbs/bitcoin,alecalve/bitcoin,FeatherCoin/Feathercoin,wellenreiter01/Feathercoin,GlobalBoost/GlobalBoost,Kogser/bitcoin,MeshCollider/bitcoin,jnewbery/bitcoin,tjps/bitcoin,mm-s/bitcoin,monacoinproject/monacoin,bitcoinsSG/bitcoin,Xekyo/bitcoin,rnicoll/bitcoin,kazcw/bitcoin,OmniLayer/omnicore,afk11/bitcoin,GlobalBoost/GlobalBoost,tjps/bitcoin,Bushstar/UFO-Project,OmniLayer/omnicore,mm-s/bitcoin,bespike/litecoin,rnicoll/dogecoin,dscotese/bitcoin,fujicoin/fujicoin,domob1812/huntercore,fujicoin/fujicoin,MarcoFalke/bitcoin,sebrandon1/bitcoin,midnightmagic/bitcoin,CryptArc/bitcoin,tjps/bitcoin,Flowdalic/bitcoin,mruddy/bitcoin,GroestlCoin/bitcoin,midnightmagic/bitcoin,CryptArc/bitcoin,mm-s/bitcoin,tecnovert/particl-core,domob1812/namecore,BTCGPU/BTCGPU,alecalve/bitcoin,jlopp/statoshi,h4x3rotab/BTCGPU,jamesob/bitcoin,Kogser/bitcoin,ajtowns/bitcoin,AkioNak/bitcoin,cdecker/bitcoin