Skip to content

fixed #12526 - corrected bailout in valueFlowConditionExpressions() / restored valueFlowBailoutIncompleteVar in daca - #6153

Merged
chrchr-github merged 5 commits into
cppcheck-opensource:mainfrom
firewave:vf-f-bailour
Mar 21, 2024
Merged

fixed #12526 - corrected bailout in valueFlowConditionExpressions() / restored valueFlowBailoutIncompleteVar in daca#6153
chrchr-github merged 5 commits into
cppcheck-opensource:mainfrom
firewave:vf-f-bailour

Conversation

@firewave

@firewavefirewave commented Mar 19, 2024

Copy link
Copy Markdown
Collaborator

The bailout was moved out of an inner loop in a3617fe but it kept the previous break. This caused it to bail out completely instead of just skipping the function.

References for the added defines:
https://learn.microsoft.com/en-us/windows/win32/api/synchapi/nf-synchapi-createeventexa#parameters
https://learn.microsoft.com/en-us/windows/win32/secauthz/well-known-sids

@firewave

Copy link
Copy Markdown
CollaboratorAuthor

I still need to add a test.

@firewavefirewave changed the title fixed #12526 - corrected bail out in valueFlowConditionExpressions()fixed #12526 - corrected bailout in valueFlowConditionExpressions()Mar 19, 2024
@firewave
firewaveforce-pushed the vf-f-bailour branch 5 times, most recently from 9e4edce to ddb0726CompareMarch 19, 2024 07:31
@firewavefirewave changed the title fixed #12526 - corrected bailout in valueFlowConditionExpressions()fixed #12526 - corrected bailout in valueFlowConditionExpressions() / restored valueFlowBailoutIncompleteVar in dacaMar 19, 2024
Comment threadtest/cfg/gtk.c
int b;
};
// valid
// cppcheck-suppress valueFlowBailoutIncompleteVar

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.

This looks like a false positive. Will file a ticket if necessary after this has been merged,

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@chrchr-github