Merge pull request #8748 from ethereum/smt_fix_undefined

[SMTChecker] Fix undefined behavior with nullptr
2023-10-03 13:03:40 +00:00 · 2020-04-22 22:14:05 +01:00
parent 14fc9e740c b191139f2a
commit a9ae780fa2
1 changed files with 2 additions and 2 deletions
@@ -237,8 +237,8 @@ z3::sort Z3Interface::z3Sort(Sort const& _sort)
 		z3::func_decl tupleConstructor = m_context.tuple_sort(
 			tupleSort.name.c_str(),
 			tupleSort.members.size(),
-			&cMembers[0],
-			&sorts[0],
+			cMembers.data(),
+			sorts.data(),
 			projs
 		);
 		return tupleConstructor.range();