Skip to content
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

Rust: Include patterns as data flow nodes #17971

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

paldepind
Copy link
Contributor

Adds patterns as data flow nodes.

Also adds flow from the rhs. of a let statement to the lht. which depends on patterns being in the data flow nodes. That will need some tweaking once we have the CFG layer over the AST layer.

Adds an abstract class for data flow node that corresponds to a CFG nodes for a AST nodes to factor out some common code.

@github-actions github-actions bot added the Rust Pull requests that update Rust code label Nov 12, 2024
@@ -123,6 +123,19 @@
override Location getLocation() { none() }
}

/** A data flow node that corresponds to a CFG node for an AST node. */
abstract private class AstCfgFlowNode extends Node {

Check warning

Code scanning / CodeQL

UnusedField Warning

This class declares the
field n
but does not bind it in the characteristic predicate of any class between it and
ParameterNode
.
This class declares the
field n
but does not bind it in the characteristic predicate of any class between it and
ParameterNode
.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Rust Pull requests that update Rust code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant