about summary refs log tree commit diff
path: root/src/librustc
diff options
context:
space:
mode:
authorWesley Wiser <wwiser@gmail.com>2019-09-24 21:12:59 -0400
committerWesley Wiser <wwiser@gmail.com>2019-09-27 20:11:13 -0400
commitdcc6c28c53e6f59a6e966b47ec872a7d26e2b23b (patch)
tree2370be1acc6d03db908a1e8afe86f19d00a81bdc /src/librustc
parent4e58e2e3a3f3cda15bad6cbb87242eaf555dda85 (diff)
downloadrust-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.rs12
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"),
         }