tvm_tirx::sym::analyzer

Function allow_uint_as_index

Source
pub fn allow_uint_as_index() -> Result<AllowUintAsIndexScope>
Expand description

Treat uint32 and uint64 scalars as non-wrapping index types until the returned scope is dropped (sym.AnalyzerEnterAllowUintAsIndex).

For compile-time layout proofs, not for code whose unsigned arithmetic may wrap around.