Data flow: Rework reverse flow through parameters#18109
Draft
Uh oh!
There was an error while loading. Please reload this page.
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
hvitvedforce-pushed the dataflow/reverse-flow branch from 8d261e5 to 2e254e4Comparehvitvedforce-pushed the dataflow/reverse-flow branch 4 times, most recently from 8f34281 to f37447bComparehvitvedforce-pushed the dataflow/reverse-flow branch 8 times, most recently from a2dc9b1 to 13b8249Compare![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
Uh oh!
There was an error while loading. Please reload this page.
hvitvedforce-pushed the dataflow/reverse-flow branch 7 times, most recently from 3b814f0 to d0673a1CompareUh oh!
There was an error while loading. Please reload this page.
hvitvedforce-pushed the dataflow/reverse-flow branch 3 times, most recently from 6534946 to 296d8fbCompareUh oh!
There was an error while loading. Please reload this page.
hvitvedforce-pushed the dataflow/reverse-flow branch from 296d8fb to 45c5da2Compare| ) | ||
| or | ||
| // flow through: no prior read | ||
| exists(ArgNodearg| |
Check warning
Code scanning / CodeQL
Candidate predicate not marked as `nomagic` Warning
Uh oh!
There was an error while loading. Please reload this page.
| ){ | ||
| exists(ParameterPositionpos| | ||
| parameterValueFlowsToPreUpdate(p,n)and | ||
| p.isParameterOf(_,pos)and |
Check warning
Code scanning / CodeQL
Candidate predicate not marked as `nomagic` Warning
| ){ | ||
| c=getNodeEnclosingCallable(n)and | ||
| paramReturnNode(n,p, _,kind) | ||
| } |
Check warning
Code scanning / CodeQL
Candidate predicate not marked as `nomagic` Warning
hvitvedforce-pushed the dataflow/reverse-flow branch from 45c5da2 to 23d552eCompare
hvitvedforce-pushed the dataflow/reverse-flow branch from 23d552e to d84ca39Compare| // flow out of a callable | ||
| exists(ReturnPositionpos| | ||
| revFlowOut(_,node,pos,state, _, _, _,ap)and | ||
| exists(DataFlowCallcall,ReturnPositionpos| |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment
1 participant
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.
No description provided.