Enum rustc_middle::mir::interpret::UndefinedBehaviorInfo
source · [−]pub enum UndefinedBehaviorInfo<'tcx> {
Show 29 variants
Ub(String),
Unreachable,
BoundsCheckFailed {
len: u64,
index: u64,
},
DivisionByZero,
RemainderByZero,
DivisionOverflow,
RemainderOverflow,
PointerArithOverflow,
InvalidMeta(&'static str),
InvalidVtableDropFn(FnSig<'tcx>),
InvalidVtableSize,
InvalidVtableAlignment(String),
UnterminatedCString(Pointer),
PointerUseAfterFree(AllocId),
PointerOutOfBounds {
alloc_id: AllocId,
alloc_size: Size,
ptr_offset: i64,
ptr_size: Size,
msg: CheckInAllocMsg,
},
DanglingIntPointer(u64, CheckInAllocMsg),
AlignmentCheckFailed {
required: Align,
has: Align,
},
WriteToReadOnly(AllocId),
DerefFunctionPointer(AllocId),
ValidationFailure {
path: Option<String>,
msg: String,
},
InvalidBool(u8),
InvalidChar(u32),
InvalidTag(Scalar),
InvalidFunctionPointer(Pointer),
InvalidStr(Utf8Error),
InvalidUninitBytes(Option<(AllocId, UninitBytesAccess)>),
DeadLocal,
ScalarSizeMismatch(ScalarSizeMismatch),
UninhabitedEnumVariantWritten,
}
Expand description
Error information for when the program caused Undefined Behavior.
Variants
Ub(String)
Free-form case. Only for errors that are never caught!
Unreachable
Unreachable code was executed.
BoundsCheckFailed
A slice/array index projection went out-of-bounds.
DivisionByZero
Something was divided by 0 (x / 0).
RemainderByZero
Something was “remainded” by 0 (x % 0).
DivisionOverflow
Signed division overflowed (INT_MIN / -1).
RemainderOverflow
Signed remainder overflowed (INT_MIN % -1).
PointerArithOverflow
Overflowing inbounds pointer arithmetic.
InvalidMeta(&'static str)
Invalid metadata in a wide pointer (using str
to avoid allocations).
InvalidVtableDropFn(FnSig<'tcx>)
Invalid drop function in vtable.
InvalidVtableSize
Invalid size in a vtable: too large.
InvalidVtableAlignment(String)
Invalid alignment in a vtable: too large, or not a power of 2.
UnterminatedCString(Pointer)
Reading a C string that does not end within its allocation.
PointerUseAfterFree(AllocId)
Dereferencing a dangling pointer after it got freed.
PointerOutOfBounds
Used a pointer outside the bounds it is valid for.
(If ptr_size > 0
, determines the size of the memory range that was expected to be in-bounds.)
DanglingIntPointer(u64, CheckInAllocMsg)
Using an integer as a pointer in the wrong way.
AlignmentCheckFailed
Used a pointer with bad alignment.
WriteToReadOnly(AllocId)
Writing to read-only memory.
DerefFunctionPointer(AllocId)
ValidationFailure
Fields
path: Option<String>
The “path” to the value in question, e.g. .0[5].field
for a struct
field in the 6th element of an array that is the first element of a tuple.
msg: String
The value validity check found a problem.
Should only be thrown by validity.rs
and always point out which part of the value
is the problem.
InvalidBool(u8)
Using a non-boolean u8
as bool.
InvalidChar(u32)
Using a non-character u32
as character.
InvalidTag(Scalar)
The tag of an enum does not encode an actual discriminant.
InvalidFunctionPointer(Pointer)
Using a pointer-not-to-a-function as function pointer.
InvalidStr(Utf8Error)
Using a string that is not valid UTF-8,
InvalidUninitBytes(Option<(AllocId, UninitBytesAccess)>)
Using uninitialized data where it is not allowed.
DeadLocal
Working with a local that is not currently live.
ScalarSizeMismatch(ScalarSizeMismatch)
Data size is not equal to target size.
UninhabitedEnumVariantWritten
A discriminant of an uninhabited enum variant is written.
Trait Implementations
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for UndefinedBehaviorInfo<'tcx>
impl<'tcx> Send for UndefinedBehaviorInfo<'tcx>
impl<'tcx> Sync for UndefinedBehaviorInfo<'tcx>
impl<'tcx> Unpin for UndefinedBehaviorInfo<'tcx>
impl<'tcx> !UnwindSafe for UndefinedBehaviorInfo<'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
impl<'a, T> Captures<'a> for T where
T: ?Sized,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 56 bytes
Size for each variant:
Ub
: 31 bytesUnreachable
: 0 bytesBoundsCheckFailed
: 23 bytesDivisionByZero
: 0 bytesRemainderByZero
: 0 bytesDivisionOverflow
: 0 bytesRemainderOverflow
: 0 bytesPointerArithOverflow
: 0 bytesInvalidMeta
: 23 bytesInvalidVtableDropFn
: 23 bytesInvalidVtableSize
: 0 bytesInvalidVtableAlignment
: 31 bytesUnterminatedCString
: 23 bytesPointerUseAfterFree
: 15 bytesPointerOutOfBounds
: 39 bytesDanglingIntPointer
: 15 bytesAlignmentCheckFailed
: 2 bytesWriteToReadOnly
: 15 bytesDerefFunctionPointer
: 15 bytesValidationFailure
: 55 bytesInvalidBool
: 1 byteInvalidChar
: 7 bytesInvalidTag
: 31 bytesInvalidFunctionPointer
: 23 bytesInvalidStr
: 23 bytesInvalidUninitBytes
: 47 bytesDeadLocal
: 0 bytesScalarSizeMismatch
: 23 bytesUninhabitedEnumVariantWritten
: 0 bytes