initcall level과 run_init

원본 313번 줄의 NULL);는 앞의 이전 block 경계 결과를 받아 다음 globalvar_add_simple_int("autoboot_timeout",로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건이 유지되는지 확인한다.

globalvar_add_simple_int(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 ordered callbacks 항목과 대조한다.

원본 315번 줄의 &global_autoboot_timeout, "%u");는 앞의 globalvar_add_simple_int("autoboot_timeout", 결과를 받아 다음 globalvar_add_simple_enum("autoboot",로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건이 유지되는지 확인한다.

globalvar_add_simple_enum(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

원본 317번 줄의 &global_autoboot_state,는 앞의 globalvar_add_simple_enum("autoboot", 결과를 받아 다음 global_autoboot_states,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건이 유지되는지 확인한다.

원본 318번 줄의 global_autoboot_states,는 앞의 &global_autoboot_state, 결과를 받아 다음 ARRAY_SIZE(global_autoboot_states));로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건이 유지되는지 확인한다.

ARRAY_SIZE(global_autoboot_states))를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

ARRAY_SIZE(global_autoboot_states));까지의 동작과 return 0;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

0를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 initcall linker sections를 정리하거나 다음 단계로 진행하는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

postcore_initcall(register_autoboot_vars)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

postcore_initcall(register_autoboot_vars);까지의 동작과 static enum autoboot_state current_autoboot = AUTOBOOT_UNKNOWN;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

static enum autoboot_state current_autoboot에 AUTOBOOT_UNKNOWN를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 main loop 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

static enum autoboot_state current_autoboot = AUTOBOOT_UNKNOWN;까지의 동작과 /**에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'get_autoboot_state - get the autoboot state'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'This functions returns the autoboot state last used.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

get_autoboot_state 함수 정의가 시작된다. 입력은 void이며, 부트 CPU의 동기 실행 문맥에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 initcall linker sections의 수명에 맞춰 묶어 읽는다.

current_autoboot를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 initcall linker sections를 정리하거나 다음 단계로 진행하는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 static int run_init(void)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

run_init 함수 정의가 시작된다. 입력은 void이며, 부트 CPU의 동기 실행 문맥에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 initcall linker sections의 수명에 맞춰 묶어 읽는다.

원본 339번 줄의 const char *bmode, *cmdline;는 앞의 { 결과를 받아 다음 bool env_bin_init_exists;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건이 유지되는지 확인한다.

bool env_bin_init_exists를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 initcall linker sections를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

struct stat s를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 initcall linker sections를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

원본 342번 줄의 glob_t g;는 앞의 struct stat s; 결과를 받아 다음 int i, ret;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건이 유지되는지 확인한다.

int i, ret를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 initcall linker sections를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

size_t size를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 initcall linker sections를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

void *ext_dtb를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 initcall linker sections를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

void *ext_dtb;까지의 동작과 setenv("PATH", "/env/bin");에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

setenv("PATH", "/env/bin")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

export("PATH")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

export("PATH");까지의 동작과 /* Run legacy /env/bin/init if it exists */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Run legacy /env/bin/init if it exists'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

env_bin_init_exists에 stat(INITFILE, &s) == 0를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 if (env_bin_init_exists) {가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

env_bin_init_exists를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

pr_info("running legacy %s...\n", INITFILE)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

run_command("source " INITFILE)를 호출한다. 반환 결과는 현재 줄 또는 다음 return 0;에서 검사되는 흐름이다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

0를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 initcall linker sections를 정리하거나 다음 단계로 진행하는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 /* Unblank console cursor */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Unblank console cursor'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

printf("\e[?25h")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

printf("\e[?25h");까지의 동작과 if (test_abort()) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

test_abort()를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

pr_info("Init sequence aborted\n")를 호출한다. 반환 결과는 현재 줄 또는 다음 return -EINTR;에서 검사되는 흐름이다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

-EINTR를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 initcall linker sections를 정리하거나 다음 단계로 진행하는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 /* Run scripts in /env/init/ */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Run scripts in /env/init/'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

ret에 glob("/env/init/*", 0, NULL, &g)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 if (!ret) {가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

!ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

'for (i = 0; i < g.gl_pathc; i++) {'가 목록이나 후보를 순회한다. 반복 중 initcall linker sections를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

const char *path에 g.gl_pathv[i]를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 main loop 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

const char *path = g.gl_pathv[i];까지의 동작과 ret = stat(path, &s);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

ret에 stat(path, &s)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 if (ret)가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

'continue;'로 직선 경로를 벗어난다. 이동 대상에서 initcall linker sections에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

continue;까지의 동작과 if (!S_ISREG(s.st_mode))에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

!S_ISREG(s.st_mode)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

'continue;'로 직선 경로를 벗어난다. 이동 대상에서 initcall linker sections에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

continue;까지의 동작과 pr_debug("Executing '%s'...\n", path);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

pr_debug("Executing '%s'...\n", path)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

run_command("source %s", path)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 globfree(&g);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

globfree(&g)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 cmdline = barebox_cmdline_get();에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

cmdline에 barebox_cmdline_get()를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 if (cmdline) {가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

cmdline를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

ret에 write_file("/cmdline", cmdline, strlen(cmdline))를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 if (ret)가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

ret를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 initcall linker sections를 정리하거나 다음 단계로 진행하는지 확인한다.

return ret;까지의 동작과 console_ctrlc_allow();에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

console_ctrlc_allow(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

run_command("source /cmdline")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 ext_dtb = handoff_data_get_entry(HANDOFF_DATA_EXTERNAL_DT, &size);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

ext_dtb에 handoff_data_get_entry(HANDOFF_DATA_EXTERNAL_DT, &size)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 바로 다음 if (ext_dtb)가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

ext_dtb를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 callback은 선행 level의 상태만 의존하고 실패 시 부분 등록을 정리하거나 명확한 오류를 남겨야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

write_file("/external-devicetree", ext_dtb, size)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 initcall linker sections의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 environment services 항목과 대조한다.

write_file("/external-devicetree", ext_dtb, size);까지의 동작과 /* source matching script in /env/bmode/ */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 environment services 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'source matching script in /env/bmode/'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

bmode에 reboot_mode_get()를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 main loop 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.