Enum flowistry_pdg::rustc::mir::interpret::ConstValue

pub enum ConstValue<'tcx> {
    Scalar(Scalar<AllocId>),
    ZeroSized,
    Slice {
        data: ConstAllocation<'tcx>,
        start: usize,
        end: usize,
    },
    ByRef {
        alloc: ConstAllocation<'tcx>,
        offset: Size,
    },
}

Represents a constant value in Rust. Scalar and Slice are optimizations for array length computations, enum discriminants and the pattern matching logic.

Variants

Scalar(Scalar<AllocId>)

Used only for types with layout::abi::Scalar ABI.

Not using the enum Value to encode that this must not be Uninit.

ZeroSized

Only used for ZSTs.

Slice

Fields

data: ConstAllocation<'tcx>

start: usize

end: usize

Used only for &[u8] and &str

ByRef

Fields

alloc: ConstAllocation<'tcx>

The backing memory of the value, may contain more memory than needed for just the value in order to share ConstAllocations between values

offset: Size

Offset into alloc

A value not represented/representable by Scalar or Slice