fix regression crash
MODIFY
ir/instr.cpp
ir/instr.cpp
@@ -1266,6 +1266,7 @@ StateValue Select::toSMT(State &s) const {
auto cond_agg = cond->getType().getAsAggregateType();
for (unsigned i = 0, e = agg->numElementsConst(); i != e; ++i) {
+ if (!agg->isPadding(i))
vals.emplace_back(scalar(agg->extract(av, i), agg->extract(bv, i),
cond_agg ? cond_agg->extract(cv, i) : cv));
}

fix regression crash