message: fix regression crash
diff: @@ -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));
  }
  