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.