cerc-io/solidity
16
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

Fix undefined behavior with nullptr

Browse Source
This commit is contained in:
Leonardo Alt 2020-04-22 20:41:24 +02:00
parent 14fc9e740c
commit b191139f2a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
libsolidity/formal/Z3Interface.cpp
View File

@ -237,8 +237,8 @@ z3::sort Z3Interface::z3Sort(Sort const& _sort)
z3::func_decl tupleConstructor = m_context.tuple_sort( z3::func_decl tupleConstructor = m_context.tuple_sort(
tupleSort.name.c_str(), tupleSort.name.c_str(),
tupleSort.members.size(), tupleSort.members.size(),
&cMembers[0], cMembers.data(),
&sorts[0], sorts.data(),
projs projs
); );
return tupleConstructor.range(); return tupleConstructor.range();