diff options
| author | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2018-01-16 09:31:48 +0100 |
|---|---|---|
| committer | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2018-03-08 08:34:05 +0100 |
| commit | b33e4e784e9906c732dcb3e0b6872f65dc8f5597 (patch) | |
| tree | 13e1196b1fb3c26f969d5f6e7e28003bf76e058e /src/librustc_mir/dataflow/impls | |
| parent | b2b101befcfe1ca4ea57862675df0de5ca7b15bd (diff) | |
| download | rust-b33e4e784e9906c732dcb3e0b6872f65dc8f5597.tar.gz rust-b33e4e784e9906c732dcb3e0b6872f65dc8f5597.zip | |
Fully use miri in trans
Diffstat (limited to 'src/librustc_mir/dataflow/impls')
| -rw-r--r-- | src/librustc_mir/dataflow/impls/borrows.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_mir/dataflow/impls/borrows.rs b/src/librustc_mir/dataflow/impls/borrows.rs index 533bad18c38..a150335a1ae 100644 --- a/src/librustc_mir/dataflow/impls/borrows.rs +++ b/src/librustc_mir/dataflow/impls/borrows.rs @@ -783,7 +783,7 @@ fn is_unsafe_place<'a, 'gcx: 'tcx, 'tcx: 'a>( match *place { Local(_) => false, - Static(ref static_) => tcx.is_static_mut(static_.def_id), + Static(ref static_) => tcx.is_static(static_.def_id) == Some(hir::Mutability::MutMutable), Projection(ref proj) => { match proj.elem { ProjectionElem::Field(..) | |