ExprEngine: Throw exception if we do not handle array well yet
This commit is contained in:
parent
fe1f601b91
commit
530d4d2427
|
@ -580,6 +580,9 @@ struct ExprData {
|
||||||
}
|
}
|
||||||
|
|
||||||
if (auto c = std::dynamic_pointer_cast<ExprEngine::ConditionalValue>(v)) {
|
if (auto c = std::dynamic_pointer_cast<ExprEngine::ConditionalValue>(v)) {
|
||||||
|
if (c->values.empty())
|
||||||
|
throw VerifyException(nullptr, "ConditionalValue is empty");
|
||||||
|
|
||||||
if (c->values.size() == 1)
|
if (c->values.size() == 1)
|
||||||
return getExpr(c->values[0].second);
|
return getExpr(c->values[0].second);
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue