@@ -341,16 +341,16 @@ impl fmt::Debug for InvalidProgramInfo<'tcx> {
341341}
342342
343343#[ derive( Clone , RustcEncodable , RustcDecodable , HashStable ) ]
344- pub enum UndefinedBehaviourInfo {
344+ pub enum UndefinedBehaviorInfo {
345345 /// Handle cases which for which we do not have a fixed variant.
346346 Ub ( String ) ,
347347 /// Unreachable code was executed.
348348 Unreachable ,
349349}
350350
351- impl fmt:: Debug for UndefinedBehaviourInfo {
351+ impl fmt:: Debug for UndefinedBehaviorInfo {
352352 fn fmt ( & self , f : & mut fmt:: Formatter < ' _ > ) -> fmt:: Result {
353- use UndefinedBehaviourInfo :: * ;
353+ use UndefinedBehaviorInfo :: * ;
354354 match self {
355355 Ub ( ref msg) =>
356356 write ! ( f, "{}" , msg) ,
@@ -363,7 +363,7 @@ impl fmt::Debug for UndefinedBehaviourInfo {
363363#[ derive( Clone , RustcEncodable , RustcDecodable , HashStable ) ]
364364pub enum UnsupportedOpInfo < ' tcx > {
365365 /// Handle cases which for which we do not have a fixed variant.
366- Unimplemented ( String ) ,
366+ Unsupported ( String ) ,
367367
368368 // -- Everything below is not classified yet --
369369 FunctionAbiMismatch ( Abi , Abi ) ,
@@ -390,20 +390,14 @@ pub enum UnsupportedOpInfo<'tcx> {
390390 ReadUndefBytes ( Size ) ,
391391 DeadLocal ,
392392 InvalidBoolOp ( mir:: BinOp ) ,
393- InlineAsm ,
394393 UnimplementedTraitSelection ,
395394 CalledClosureAsFunction ,
396395 NoMirFor ( String ) ,
397- /// This variant is used by machines to signal their own errors that do not
398- /// match an existing variant.
399- MachineError ( String ) ,
400396 DerefFunctionPointer ,
401397 ExecuteMemory ,
402- Intrinsic ( String ) ,
403398 InvalidChar ( u128 ) ,
404399 OutOfTls ,
405400 TlsOutOfBounds ,
406- AbiViolation ( String ) ,
407401 AlignmentCheckFailed {
408402 required : Align ,
409403 has : Align ,
@@ -513,8 +507,6 @@ impl fmt::Debug for UnsupportedOpInfo<'tcx> {
513507 initializer") ,
514508 AssumptionNotHeld =>
515509 write ! ( f, "`assume` argument was false" ) ,
516- InlineAsm =>
517- write ! ( f, "miri does not support inline assembly" ) ,
518510 ReallocateNonBasePtr =>
519511 write ! ( f, "tried to reallocate with a pointer not to the beginning of an \
520512 existing object") ,
@@ -537,10 +529,7 @@ impl fmt::Debug for UnsupportedOpInfo<'tcx> {
537529 HeapAllocNonPowerOfTwoAlignment ( _) =>
538530 write ! ( f, "tried to re-, de-, or allocate heap memory with alignment that is \
539531 not a power of two") ,
540- MachineError ( ref msg) |
541- Unimplemented ( ref msg) |
542- AbiViolation ( ref msg) |
543- Intrinsic ( ref msg) =>
532+ Unsupported ( ref msg) =>
544533 write ! ( f, "{}" , msg) ,
545534 }
546535 }
@@ -572,7 +561,7 @@ pub enum InterpError<'tcx> {
572561 /// The program panicked.
573562 Panic ( PanicInfo < u64 > ) ,
574563 /// The program caused undefined behavior.
575- UndefinedBehaviour ( UndefinedBehaviourInfo ) ,
564+ UndefinedBehavior ( UndefinedBehaviorInfo ) ,
576565 /// The program did something the interpreter does not support (some of these *might* be UB
577566 /// but the interpreter is not sure).
578567 Unsupported ( UnsupportedOpInfo < ' tcx > ) ,
@@ -603,7 +592,7 @@ impl fmt::Debug for InterpError<'_> {
603592 write ! ( f, "{:?}" , msg) ,
604593 InvalidProgram ( ref msg) =>
605594 write ! ( f, "{:?}" , msg) ,
606- UndefinedBehaviour ( ref msg) =>
595+ UndefinedBehavior ( ref msg) =>
607596 write ! ( f, "{:?}" , msg) ,
608597 ResourceExhaustion ( ref msg) =>
609598 write ! ( f, "{:?}" , msg) ,
0 commit comments