diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2021-09-16 10:57:22 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-16 10:57:22 -0700 |
| commit | 4601a71a4b26cce06116eed5a1e94f36af862843 (patch) | |
| tree | bf4f699344f3095a970420c6d4d1fce1c13b2078 /src/test/codegen/src-hash-algorithm/src-hash-algorithm-sha1.rs | |
| parent | 06dbc284a81b6b85cfa0a4a208b2b2225895a976 (diff) | |
| parent | 47104a34a67444a086fd38c82e005f316f7f567a (diff) | |
| download | rust-4601a71a4b26cce06116eed5a1e94f36af862843.tar.gz rust-4601a71a4b26cce06116eed5a1e94f36af862843.zip | |
Rollup merge of #88983 - willcrichton:allow-single-polonius-call, r=ecstatic-morse
Allow calling `get_body_with_borrowck_facts` without `-Z polonius` For my [static analysis tool](https://github.com/willcrichton/flowistry), I need to access the set of outlives-constraints. Recently, #86977 merged a way to access these facts via Polonius. However, the merged implementation requires `-Z polonius` to be provided to use this feature. This uses Polonius for borrow checking on the entire crate, which as described [here](https://rust-lang.zulipchat.com/#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/Polonius.20performance.20in.20a.20rustc.20plugin/near/251301631), is very slow. This PR allows `get_body_with_borrowck_facts` to be called without `-Z polonius`. This is essential for my tool to run in a sensible length of time. This is a temporary patch as the Polonius-related APIs develop -- I can update my code as future changes happen. Additionally, this PR also makes public two APIs that were previously public but then became private after `rustc_mir` got broken up: `rustc_mir_dataflow::framework::graphviz` and `rustc_mir_transform::MirPass`. I need both of these for my analysis tool. (I can break this change into a separate PR if necessary.)
Diffstat (limited to 'src/test/codegen/src-hash-algorithm/src-hash-algorithm-sha1.rs')
0 files changed, 0 insertions, 0 deletions