Java/C++/C#: Bugfix for field flow through reverse read. #2473
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The restriction of the
read
relation to only those fields that had astoreStep
made sense before we added support for treating reverse reads as stores, but it should have been removed when we added that step.Without this change the added test case would only exhibit flow to the first of the four sinks.
The first pruning step of the data-flow implementation already restricts reads to those for which a corresponding store has been seen during forward flow, so if no reverse reads are encountered this change shouldn't add any tuples to the data-flow pruning sequence.