Skip to content

ValueFlow: extracted valueFlowSymbolicOperators() into separate file - #6845

Merged
firewave merged 1 commit into
cppcheck-opensource:mainfrom
firewave:vf-symbolicop
Oct 15, 2024
Merged

ValueFlow: extracted valueFlowSymbolicOperators() into separate file#6845
firewave merged 1 commit into
cppcheck-opensource:mainfrom
firewave:vf-symbolicop

Conversation

@firewave

Copy link
Copy Markdown
Collaborator

No description provided.

Comment threadlib/vf_common.cpp Outdated
return scope;
}

Value inferCondition(const std::string& op, const Token* varTok, MathLib::bigint val)

This comment was marked as resolved.

Comment threadlib/infer.cpp
}

namespace {
struct IntegralInferModel : InferModel {

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe the SymbolicInferModel should be moved here as well.

Copy link
Copy Markdown
CollaboratorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense. Will do in a follow-up.

Copy link
Copy Markdown
CollaboratorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It makes sense to put them all in one place. But keeping them in the only place that uses them might also make sense. The compiler would also be able to see all the code...not 100% on what to do here.

There is also IteratorInferModel and related classes in vf_infercondition.cpp.

@firewave

Copy link
Copy Markdown
CollaboratorAuthor

No further comments for two weeks - merging.

@firewave
firewave merged commit 66d53a2 into cppcheck-opensource:mainOct 15, 2024
@firewave
firewave deleted the vf-symbolicop branch October 15, 2024 18:40
pfultz2 added a commit to pfultz2/cppcheck that referenced this pull request Nov 5, 2024
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@firewave@pfultz2