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.

Sign up for GitHub

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

Use dataflow to propagate Qualifs during const-qualification #63860

Closed
wants to merge 8 commits into from
Closed

Use dataflow to propagate Qualifs during const-qualification #63860

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
1e0dfac
Add a getter for the current state to the old dataflow results cursor
ecstatic-morse Aug 30, 2019
4160021
Define `Qualif` indices via macro
ecstatic-morse Aug 10, 2019
72e3f72
Define `for_each_qualif` macro
ecstatic-morse Aug 29, 2019
eb2535c
Use `in_*_initially` methods to initialize qualifs
ecstatic-morse Aug 29, 2019
bf44689
Extract qualifs per local from `ConstCx`
ecstatic-morse Aug 10, 2019
159b9c5
Add generic dataflow impl
ecstatic-morse Aug 19, 2019
808bede
Use dataflow for const qualification
ecstatic-morse Aug 29, 2019
d94a901
Implement a non-dataflow, temp-only `Qualif` resolver
ecstatic-morse Sep 4, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Use dataflow for const qualification
  • Loading branch information
@ecstatic-morse
ecstatic-morse committed Sep 8, 2019
commit 808bede7b8e9e82254b95a69973078f9ae8422e7
Loading