| 383 | }).minvalue; |
| 384 | } |
| 385 | std::vector<MathLib::bigint> getMaxValue(const ValuePtr<InferModel>& model, const std::list<ValueFlow::Value>& values) |
| 386 | { |
| 387 | return Interval::fromValues(values, [&](const ValueFlow::Value& v) { |
| 388 | return model->match(v); |
| 389 | }).maxvalue; |
| 390 | } |
| 391 | |
| 392 | namespace { |
| 393 | struct IntegralInferModel : InferModel { |