| 377 | } |
| 378 | |
| 379 | std::vector<MathLib::bigint> getMinValue(const ValuePtr<InferModel>& model, const std::list<ValueFlow::Value>& values) |
| 380 | { |
| 381 | return Interval::fromValues(values, [&](const ValueFlow::Value& v) { |
| 382 | return model->match(v); |
| 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) { |
no test coverage detected