`TS8007`

프런트엔드 코드 LOOP_INFINITE

끝나지 않는 것이 확실한 루프입니다. break나 return이 없는데 조건이 true인 while, 또는 카운터를 경계에서 멀어지게 하는 증가입니다. 조건은 그대로 썼든 상수만으로 계산했든 같습니다.

레지스트리에는 이 상수에 대한 문서 주석이 없습니다. 그래서 위 설명은 컴파일러가 이 코드와 함께 내는 메시지를 보고 이 사이트가 쓴 것입니다.

레지스트리 설명과 컴파일러 메시지는 컴파일러 원문이라 한국어 페이지에서도 영어로 둡니다.

예제

"use typeshade"

@fragment
export function main(@location(0) uv: vec2): vec4 {
  let g = uv.x
  while (true) {
    g = g * 0.5
  }
  return vec4(g, g, g, 1.)
}

빌드할 때 고정된 컴파일러로 이 프로그램을 컴파일하면 다음 진단이 나옵니다.

TS8007 error, 6행: while (true) has no break or return in its body, so it never ends. Leave it with a break, or write the exit into the condition.

고치는 법

같은 프로그램을 고친 모습입니다. 진단 없이 컴파일됩니다.

"use typeshade"

@fragment
export function main(@location(0) uv: vec2): vec4 {
  let g = uv.x
  for (let i = 0; i < 4; i++) {
    g = g * 0.5
  }
  return vec4(g, g, g, 1.)
}

이 코드가 적용하는 규칙

규칙 7.5 테스트: A for loop must be counted: an i32 or u32 induction variable, a constant step, and an exit that compares the induction variable to a bound; the start and the bound may be runtime values, the loop body must not write the bound, and the step must move the variable toward the bound.

함께 보기

소스

커밋 c66579bf에서 컴파일러가 이 코드를 내는 곳입니다. 파일마다 한 줄씩 적었습니다.

이 페이지 편집 문제 보고