pub fn untracked(register_size: ByteSize) -> DataDomain<BitvectorDomain>
Expand description

An untracked value is just a Top value. It is used for any non-pointer return values.