diff options
| author | Wesley Wiser <wwiser@gmail.com> | 2019-09-24 21:12:59 -0400 |
|---|---|---|
| committer | Wesley Wiser <wwiser@gmail.com> | 2019-09-27 20:11:13 -0400 |
| commit | dcc6c28c53e6f59a6e966b47ec872a7d26e2b23b (patch) | |
| tree | 2370be1acc6d03db908a1e8afe86f19d00a81bdc /src/librustc | |
| parent | 4e58e2e3a3f3cda15bad6cbb87242eaf555dda85 (diff) | |
| download | rust-dcc6c28c53e6f59a6e966b47ec872a7d26e2b23b.tar.gz rust-dcc6c28c53e6f59a6e966b47ec872a7d26e2b23b.zip | |
Introduce a `ConstPropMachine`
This allows us to avoid changing things directly in the miri engine just for const prop.
Diffstat (limited to 'src/librustc')
| -rw-r--r-- | src/librustc/mir/interpret/error.rs | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/librustc/mir/interpret/error.rs b/src/librustc/mir/interpret/error.rs index 4da5d979cc3..71967b513a0 100644 --- a/src/librustc/mir/interpret/error.rs +++ b/src/librustc/mir/interpret/error.rs @@ -389,14 +389,6 @@ pub enum UnsupportedOpInfo<'tcx> { /// Free-form case. Only for errors that are never caught! Unsupported(String), - /// Error used by the `ConstProp` pass when an attempt is made - /// to read an uninitialized local. - UninitializedLocal, - - /// Error used by the `ConstProp` pass to prevent reading statics - /// while evaluating `const` items. - ReadOfStaticInConst, - /// FIXME(#64506) Error used to work around accessing projections of /// uninhabited types. UninhabitedValue, @@ -523,8 +515,6 @@ impl fmt::Debug for UnsupportedOpInfo<'tcx> { addresses, e.g., comparing pointers into different allocations"), DeadLocal => write!(f, "tried to access a dead local variable"), - UninitializedLocal => - write!(f, "tried to access an uninitialized local variable"), DerefFunctionPointer => write!(f, "tried to dereference a function pointer"), ExecuteMemory => @@ -566,8 +556,6 @@ impl fmt::Debug for UnsupportedOpInfo<'tcx> { not a power of two"), Unsupported(ref msg) => write!(f, "{}", msg), - ReadOfStaticInConst => - write!(f, "tried to read from a static during const evaluation"), UninhabitedValue => write!(f, "tried to use an uninhabited value"), } |
