MCPcopy Create free account
hub / github.com/argotorg/solidity / resetIndex

Method resetIndex

libsolidity/formal/SSAVariable.cpp:29–33  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

27}
28
29void SSAVariable::resetIndex()
30{
31 m_currentIndex = 0;
32 m_nextFreeIndex = 1;
33}
34
35void SSAVariable::setIndex(unsigned _index)
36{

Callers 4

resetContractAnalysisMethod · 0.45
resetMethod · 0.45
resetMethod · 0.45
clearIndicesMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected