Diagnostic and cause
СсылкаDivision or remainder by zero
- Семейство
- topaz
- Этап
- run
- Код
TPZ4002
Причина и условия
Integer division or remainder faults when its evaluated divisor is zero.
Связанное правило · Trigger and repair →Действия
Require a nonzero divisor before dividing or taking a remainder. The repair passes one to the same function.
Compiler phase: runtime.
Compiler explanation: An integer division or remainder operation used zero as the divisor.
Message templates are Pending. The explanation above is not an observed CLI message.
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ4002]: integer division by zero
The divisor of an int division or remainder evaluates to zero. The shared checked arithmetic leaf detects this before performing the operation.
Trigger and repair
Integer division or remainder faults when its evaluated divisor is zero.
Response
СсылкаRequire a nonzero divisor before dividing or taking a remainder. The repair passes one to the same function.
Reproduction and verification
СсылкаProduct diagnostic test
Ссылкаfunction divide(divisor: int) -> int {42 / divisor}divide(0)
Ожидаемый результат
Ожидаемый результат
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 TPZ4002.
The divisor of an int division or remainder evaluates to zero. The shared checked arithmetic leaf detects this before performing the operation.
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 divide(divisor: int) -> int {42 / divisor}divide(1)
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
This program applies the repair described above. The verification status records whether it has been run.