diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2017-07-01 18:48:12 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-07-03 06:41:22 +0800 |
| commit | 677700d5ac1c5079aa20a6a9e5667c7e8596da27 (patch) | |
| tree | 39ef837613d1362574a890d92db035df0b00573d | |
| parent | d2612655956f88938faba30bd00c9531a69142b4 (diff) | |
| download | dexon-solidity-677700d5ac1c5079aa20a6a9e5667c7e8596da27.tar.gz dexon-solidity-677700d5ac1c5079aa20a6a9e5667c7e8596da27.tar.zst dexon-solidity-677700d5ac1c5079aa20a6a9e5667c7e8596da27.zip | |
Add assert to shift helper
| -rw-r--r-- | libsolidity/codegen/CompilerUtils.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libsolidity/codegen/CompilerUtils.cpp b/libsolidity/codegen/CompilerUtils.cpp index 94be90ab..7067ddd5 100644 --- a/libsolidity/codegen/CompilerUtils.cpp +++ b/libsolidity/codegen/CompilerUtils.cpp @@ -1013,11 +1013,13 @@ void CompilerUtils::cleanHigherOrderBits(IntegerType const& _typeOnStack) void CompilerUtils::leftShiftNumberOnStack(unsigned _bits) { + solAssert(_bits < 256, ""); m_context << (u256(1) << _bits) << Instruction::MUL; } void CompilerUtils::rightShiftNumberOnStack(unsigned _bits, bool _isSigned) { + solAssert(_bits < 256, ""); m_context << (u256(1) << _bits) << Instruction::SWAP1 << (_isSigned ? Instruction::SDIV : Instruction::DIV); } |