-
Notifications
You must be signed in to change notification settings - Fork 1.7k
C#: Extract 'and' and 'or' patterns #5018
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
C#: Extract 'and' and 'or' patterns #5018
Conversation
f5da939 to
e24e5b1
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks great!
csharp/ql/src/semmle/code/csharp/controlflow/internal/ControlFlowGraphImpl.qll
Outdated
Show resolved
Hide resolved
|
The new pattern matching completion changes result in a lot of noise or false positives in the new constant condition check. |
That should be fixed by the CFG changes I was working on, so happy to merge this now. |
The CFG for
andandorpatterns look like: and.pdf, or.pdfMissing
https://jenkins.internal.semmle.com/job/Changes/job/CSharp-Differences/806/https://jenkins.internal.semmle.com/job/Changes/job/CSharp-Differences/809/https://jenkins.internal.semmle.com/job/Changes/job/CSharp-Differences/813/