From 9e1a7a7076ab49c0da4e8102db6596742b8feb82 Mon Sep 17 00:00:00 2001 From: firewave Date: Mon, 30 Sep 2024 18:58:39 +0200 Subject: [PATCH] infer.cpp: made some members private [skip ci] --- lib/infer.cpp | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/lib/infer.cpp b/lib/infer.cpp index 278237a2c66d..e51cf195b17c 100644 --- a/lib/infer.cpp +++ b/lib/infer.cpp @@ -390,6 +390,7 @@ std::vector getMaxValue(const ValuePtr& model, cons namespace { struct IntegralInferModel : InferModel { + private: bool match(const ValueFlow::Value& value) const override { return value.isIntValue(); } @@ -410,10 +411,10 @@ ValuePtr makeIntegralInferModel() namespace { struct SymbolicInferModel : InferModel { - const Token* expr; explicit SymbolicInferModel(const Token* tok) : expr(tok) { assert(expr->exprId() != 0); } + private: bool match(const ValueFlow::Value& value) const override { return value.isSymbolicValue() && value.tokvalue && value.tokvalue->exprId() == expr->exprId(); @@ -426,6 +427,7 @@ namespace { result.setKnown(); return result; } + const Token* expr; }; } @@ -436,6 +438,7 @@ ValuePtr makeSymbolicInferModel(const Token* token) namespace { struct IteratorInferModel : InferModel { + private: virtual ValueFlow::Value::ValueType getType() const = 0; bool match(const ValueFlow::Value& value) const override { return value.valueType == getType(); @@ -450,12 +453,14 @@ namespace { }; struct EndIteratorInferModel : IteratorInferModel { + private: ValueFlow::Value::ValueType getType() const override { return ValueFlow::Value::ValueType::ITERATOR_END; } }; struct StartIteratorInferModel : IteratorInferModel { + private: ValueFlow::Value::ValueType getType() const override { return ValueFlow::Value::ValueType::ITERATOR_END; }