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

[TMP] Extra asserts in places that crash on map::at()

Browse Source
This commit is contained in:
Kamil Śliwak 2023-09-05 19:49:32 +02:00
parent 206c06f0b3
commit 1d502033ff
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
libsolidity/experimental/analysis/TypeInference.cpp
View File

@ -792,6 +792,7 @@ experimental::Type TypeInference::memberType(Type _type, std::string _memberName
if (helper.isTypeConstant(type)) if (helper.isTypeConstant(type))
{ {
auto constructor = std::get<0>(helper.destTypeConstant(type)); auto constructor = std::get<0>(helper.destTypeConstant(type));
solAssert(annotation().members.count(constructor) != 0);
if (auto* typeMember = util::valueOrNullptr(annotation().members.at(constructor), _memberName)) if (auto* typeMember = util::valueOrNullptr(annotation().members.at(constructor), _memberName))
return polymorphicInstance(typeMember->type); return polymorphicInstance(typeMember->type);
else else
@ -1095,7 +1096,11 @@ TypeRegistration::TypeClassInstantiations const& typeClassInstantiations(Analysi
// TODO: better mechanism than fetching by name. // TODO: better mechanism than fetching by name.
auto& annotation = _analysis.annotation<TypeRegistration>(); auto& annotation = _analysis.annotation<TypeRegistration>();
auto& inferenceAnnotation = _analysis.annotation<TypeInference>(); auto& inferenceAnnotation = _analysis.annotation<TypeInference>();
return annotation.builtinClassInstantiations.at(inferenceAnnotation.builtinClassesByName.at(_analysis.typeSystem().typeClassName(_class)));
std::string name = _analysis.typeSystem().typeClassName(_class);
solAssert(inferenceAnnotation.builtinClassesByName.count(name) != 0);
solAssert(annotation.builtinClassInstantiations.count(inferenceAnnotation.builtinClassesByName.at(name)) != 0);
return annotation.builtinClassInstantiations.at(inferenceAnnotation.builtinClassesByName.at(name));
} }
} }