본문으로 건너뛰기
토파즈6.0 · 출시 전
다운로드 →

문서 검색

명세 6.0

방향키로 결과를 고르고 Enter를 눌러 여세요.

API 이름, 진단 번호, 규칙 또는 프로젝트 주제를 입력하세요.

    진단 TPZ0900

    Compilation exceeded a declared memory, wall-clock, or source-read budget and stopped with exit status 1.

    Diagnostic and cause

    링크

    Compiler resource budget exceeded

    계열
    topaz
    단계
    compiler
    코드
    TPZ0900

    원인과 조건

    A compiler worker exceeding the configured memory, time, transport, or source-read budget stops compilation with TPZ0900 and exit status one.

    대응

    Read the budget and reason in the message. Reduce the compilation workload or supply a sufficient compiler memory/time budget; the repair checks the same valid source with an explicit 8192-MiB memory budget and 1800000-ms time budget.

    Compiler phase: compiler.

    Compiler explanation: Compilation exceeded a declared memory, wall-clock, or source-read budget and stopped with exit status 1.

    Message templates are Pending. The explanation above is not an observed CLI message.

    The isolated SELF compiler exhausts an enabled compilation resource budget. This is a tool resource failure, not a type error in the source program. The bounded reproduction uses a one-MiB compiler memory budget for a valid one-line program.

    규칙diagnostics.tpz0900.rule

    Trigger and repair

    A compiler worker exceeding the configured memory, time, transport, or source-read budget stops compilation with TPZ0900 and exit status one.

    Response

    링크

    Read the budget and reason in the message. Reduce the compilation workload or supply a sufficient compiler memory/time budget; the repair checks the same valid source with an explicit 8192-MiB memory budget and 1800000-ms time budget.

    Reproduction and verification

    링크

    Product diagnostic test

    링크
    example.tpzProduct diagnostic test플레이그라운드 열기 →
    1. let value = 1
    대상 제품 5.21.3
    기대 결과

    기대 결과

    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 check example.tpz --language-version 5.21 --compiler-memory-mib 1 --compiler-time-ms 1800000.

    Expect exit status 1, empty standard output, and TPZ0900.

    The isolated SELF compiler exhausts an enabled compilation resource budget. This is a tool resource failure, not a type error in the source program. The bounded reproduction uses a one-MiB compiler memory budget for a valid one-line program.

    No user source location is expected for this diagnostic.

    Expect exactly one diagnostic.

    The diagnostic product test checks these expectations with the same files and command.

    Corrected program

    링크
    example.tpzCorrected program플레이그라운드 열기 →
    1. let value = 1
    기대 출력종료 코드 0
    $ topaz check example.tpz --compiler-memory-mib 8192 --compiler-time-ms 1800000 · 대상 제품 5.21.3
    기대 결과

    기대 결과

    검사가 프로그램을 받아들입니다. 종료 코드 0.

    This program applies the repair described above. The verification status records whether it has been run.

    메뉴

    다운로드 →