Expand description
Definitions for index bounds checking.
Structs§
- Bounds
Check Policies - Policies for injecting bounds checks during code generation.
Enums§
- Bounds
Check Policy - How should code generated by Naga do bounds checks?
- Guarded
Index - An index that may be statically known, or may need to be computed at runtime.
- Indexable
Length - The number of elements in an indexable type.
- Indexable
Length Error
Functions§
- access_
needs_ check - Determine whether
index
is statically known to be in bounds forbase
. - find_
checked_ indexes - Build a set of expressions used as indices, to cache in temporary variables when emitted.