Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Try to find cyclic data dependencies during const-checking #71526

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

Closed
wants to merge 6 commits into from
Closed

Try to find cyclic data dependencies during const-checking #71526

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
a75c792
Make type alias private
ecstatic-morse Apr 19, 2020
274c85f
Don't cache result of `in_any_value_of_ty` for locals
ecstatic-morse Apr 19, 2020
1343797
Lazily run dataflow for const qualification
ecstatic-morse Apr 19, 2020
15f95b1
Cycle errors now occur during const-eval, not checking
ecstatic-morse Apr 19, 2020
918dcf2
Find potential const-eval cycles during const-checking
ecstatic-morse Apr 23, 2020
3608535
Cycle errors are caught during const-checking again
ecstatic-morse Apr 24, 2020
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
Next Next commit
Make type alias private
  • Loading branch information
@ecstatic-morse
ecstatic-morse committed Apr 23, 2020
commit a75c79288879fe9b87284ac897428c046d174ade
2 changes: 1 addition & 1 deletion src/librustc_mir/transform/check_consts/validation.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ use crate::dataflow::{self, Analysis};
// We are using `MaybeMutBorrowedLocals` as a proxy for whether an item may have been mutated
// through a pointer prior to the given point. This is okay even though `MaybeMutBorrowedLocals`
// kills locals upon `StorageDead` because a local will never be used after a `StorageDead`.
pub type IndirectlyMutableResults<'mir, 'tcx> =
type IndirectlyMutableResults<'mir, 'tcx> =
dataflow::ResultsCursor<'mir, 'tcx, MaybeMutBorrowedLocals<'mir, 'tcx>>;

struct QualifCursor<'a, 'mir, 'tcx, Q: Qualif> {
Expand Down