Module index

Definitions for index bounds checking.

Structs

BoundsCheck 🔒

Items returned by the bounds_check_iter iterator.

BoundsCheckPolicies

Policies for injecting bounds checks during code generation.

Enums

BoundsCheckPolicy

How should code generated by Naga do bounds checks?

GuardedIndex

An index that may be statically known, or may need to be computed at runtime.

IndexableLength

The number of elements in an indexable type.

IndexableLengthError

Functions

access_needs_check

Determine whether index is statically known to be in bounds for base.

bounds_check_iter 🔒

Returns an iterator of accesses within the chain of Access and AccessIndex expressions starting from chain that may need to be bounds-checked at runtime.

find_checked_indexes

Build a set of expressions used as indices, to cache in temporary variables when emitted.

oob_local_types

Returns all the types which we need out-of-bounds locals for; that is, all of the types which the code might attempt to get an out-of-bounds pointer to, in which case we yield a pointer to the out-of-bounds local of the correct type.