Diagnostic and cause
СсылкаIndex out of bounds
- Семейство
- topaz
- Этап
- run
- Код
TPZ4001
Причина и условия
Reading an Array at a computed int index less than zero or at least the array length faults during execution.
Связанное правило · Trigger and repair →Действия
Use an index from zero through length minus one, or test the index before the read. The repaired example reads index zero of a one-element Array.
Compiler phase: runtime.
Compiler explanation: A runtime index operation addressed a position outside the collection/string bounds.
Message templates are Pending. The explanation above is not an observed CLI message.
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ4001]: index 1 is out of bounds for an array of length 1
The evaluated int index is not a valid position in the Array. Array indices start at zero and must be less than the current length; invalid reads fault instead of clamping or wrapping.
Trigger and repair
Reading an Array at a computed int index less than zero or at least the array length faults during execution.
Response
СсылкаUse an index from zero through length minus one, or test the index before the read. The repaired example reads index zero of a one-element Array.
Reproduction and verification
СсылкаProduct diagnostic test
Ссылкаfunction readAt(index: int) -> int {let values = [10]values[index]}readAt(1)
Ожидаемый результат
Ожидаемый результат
The separate diagnostic product test validates this command, runtime diagnostic, or filesystem setup. The shared example runner does not execute that assertion plan.
Run topaz run example..
Expect exit status 1, empty standard output, and TPZ4001.
The evaluated int index is not a valid position in the Array. Array indices start at zero and must be less than the current length; invalid reads fault instead of clamping or wrapping.
The primary location is example..
Expect exactly one diagnostic.
The diagnostic product test checks these expectations with the same files and command.
Corrected program
Ссылкаfunction readAt(index: int) -> int {let values = [10]values[index]}readAt(0)
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
This program applies the repair described above. The verification status records whether it has been run.