vf_symbolicinfer.cpp: made some SymbolicInferModel members private [skip ci]

firewave · firewave · commit ef796bbc3244 · 2024-09-30T01:43:05.000+02:00
diff --git a/lib/vf_symbolicinfer.cpp b/lib/vf_symbolicinfer.cpp
@@ -35,10 +35,10 @@
 namespace ValueFlow
 {
     struct SymbolicInferModel : InferModel {
-        const Token* expr;
         explicit SymbolicInferModel(const Token* tok) : expr(tok) {
             assert(expr->exprId() != 0);
         }
+    private:
         bool match(const Value& value) const override
         {
             return value.isSymbolicValue() && value.tokvalue && value.tokvalue->exprId() == expr->exprId();
@@ -51,6 +51,7 @@ namespace ValueFlow
             result.setKnown();
             return result;
         }
+        const Token* expr;
     };
 
     void valueFlowSymbolicInfer(const SymbolDatabase& symboldatabase, const Settings& settings)

Original file line number	Diff line number	Diff line change
`@@ -35,10 +35,10 @@`
`35`	`35`	`namespace ValueFlow`
`36`	`36`	`{`
`37`	`37`	`struct SymbolicInferModel : InferModel {`
`38`		`- const Token* expr;`
`39`	`38`	`explicit SymbolicInferModel(const Token* tok) : expr(tok) {`
`40`	`39`	`assert(expr->exprId() != 0);`
`41`	`40`	`}`
	`41`	`+ private:`
`42`	`42`	`bool match(const Value& value) const override`
`43`	`43`	`{`
`44`	`44`	`return value.isSymbolicValue() && value.tokvalue && value.tokvalue->exprId() == expr->exprId();`
`@@ -51,6 +51,7 @@ namespace ValueFlow`
`51`	`51`	`result.setKnown();`
`52`	`52`	`return result;`
`53`	`53`	`}`
	`54`	`+ const Token* expr;`
`54`	`55`	`};`
`55`	`56`
`56`	`57`	`void valueFlowSymbolicInfer(const SymbolDatabase& symboldatabase, const Settings& settings)`