diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2019-09-17 16:25:30 -0700 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2019-09-28 07:06:51 -0700 |
| commit | e81297d990632d29a3a82ecbfc78dbc4e6017994 (patch) | |
| tree | 7d5cbec99e1a72fb37b5f0e98a3c8ca914f99317 /src/test/ui/thinlto | |
| parent | 457c3aa6722cd8d2599c7f78347b2f8f586f3527 (diff) | |
| download | rust-e81297d990632d29a3a82ecbfc78dbc4e6017994.tar.gz rust-e81297d990632d29a3a82ecbfc78dbc4e6017994.zip | |
Add analysis to determine if a local is indirectly mutable
This adds a dataflow analysis that determines if a reference to a given `Local` or part of a `Local` that would allow mutation exists before a point in the CFG. If no such reference exists, we know for sure that that `Local` cannot have been mutated via an indirect assignment or function call.
Diffstat (limited to 'src/test/ui/thinlto')
0 files changed, 0 insertions, 0 deletions