Skip to content

Shared: Use isSink/1 in PropagateFlowConfig - #19404

Merged
MathiasVP merged 1 commit into
github:mainfrom
MathiasVP:cleanup-PropagateFlowConfig
Apr 29, 2025
Merged

Shared: Use isSink/1 in PropagateFlowConfig#19404
MathiasVP merged 1 commit into
github:mainfrom
MathiasVP:cleanup-PropagateFlowConfig

Conversation

@MathiasVP

Copy link
Copy Markdown
Contributor

A not-super-widely-known feature from state-based dataflow configurations is that you can omit the state (see here) in the isSink when you don't want to restrict the state in isSink.

It looks like this is exactly what's being done in PropagateFlowConfig::isSink so we might as well omit the sink and avoid the small cartesian product.

@MathiasVP
MathiasVP marked this pull request as ready for review April 28, 2025 17:25
CopilotAI review requested due to automatic review settings April 28, 2025 17:25

CopilotAI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Copilot wasn't able to review any files in this pull request.

Files not reviewed (1)
  • shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll: Language not supported

@MathiasVPMathiasVP added the no-change-note-required This PR does not need a change note label Apr 28, 2025

@michaelnebelmichaelnebel left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM!

@MathiasVP
MathiasVP merged commit daf953f into github:mainApr 29, 2025
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-note-requiredThis PR does not need a change note

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@MathiasVP@michaelnebel@aschackmull