| 277 | } |
| 278 | |
| 279 | static bool inferNotEqual(const std::list<ValueFlow::Value>& values, MathLib::bigint x) |
| 280 | { |
| 281 | return std::any_of(values.cbegin(), values.cend(), [&](const ValueFlow::Value& value) { |
| 282 | return value.isImpossible() && value.intvalue == x; |
| 283 | }); |
| 284 | } |
| 285 | |
| 286 | std::vector<ValueFlow::Value> infer(const ValuePtr<InferModel>& model, |
| 287 | const std::string& op, |