cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #7850 from ethereum/smt_fix_typetype

Browse Source 
[SMTChecker] Fix visit to IndexAccess that has type Type
This commit is contained in:
Leonardo
2019-11-29 18:18:26 +01:00
committed by GitHub
parent 2f6e006ea4 9eda95caf9
commit 767ce4417f
2 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsolidity/formal/SMTEncoder.cpp
+1 -4
View File
@@ -899,11 +899,8 @@ void SMTEncoder::endVisit(IndexAccess const& _indexAccess)
return;
}
if (!_indexAccess.indexExpression())
{
solAssert(_indexAccess.annotation().type->category() == Type::Category::TypeType, "");
if (_indexAccess.annotation().type->category() == Type::Category::TypeType)
return;
}
solAssert(array, "");
defineExpr(_indexAccess, smt::Expression::select(