최적화된 코드 디버그

  • 아티클

참고 항목

표시되는 대화 상자와 메뉴 명령은 활성 설정이나 버전에 따라 도움말에서 설명하는 것과 다를 수 있습니다. 설정을 변경하려면 도구 메뉴에서 설정 가져오기 및 내보내기 를 선택합니다. 자세한 내용은 모든 설정 초기화를 참조하세요.

참고 항목

/Zo(최적화된 디버깅 향상) 컴파일러 옵션(Visual Studio 업데이트 3에 추가)은 최적화된 프로젝트 코드에 대한 보다 다양한 디버깅 정보를 생성합니다. /Od 컴파일러 옵션으로 빌드하지 않은 프로젝트의 경우 /O 옵션(코드 최적화)을 참조하세요. 여기에는 지역 변수 및 인라인된 함수 디버깅에 대한 향상된 지원이 포함됩니다.

편집하며 계속하기는 /Zo 컴파일러 옵션이 사용될 때는 사용되지 않습니다.

컴파일러는 코드를 최적화할 때 명령의 위치를 변경하고 재구성하여 더욱 효율적으로 코드를 컴파일합니다. 이렇게 컴파일러가 코드를 다시 정렬하기 때문에 디버거가 명령 집합에 해당하는 소스 코드를 항상 식별할 수 있는 것은 아닙니다.

최적화는 다음 항목에 영향을 미칠 수 있습니다.

  • 지역 변수. 최적화 프로그램에 의해 제거되거나 디버거에서 인식하지 못하는 위치로 이동할 수 있습니다.

  • 함수 내 위치. 최적화 프로그램에서 코드 블록을 병합할 때 변경됩니다.

  • 호출 스택 프레임의 함수 이름. 최적화 프로그램에서 두 함수를 병합할 때 문제가 발생할 수 있습니다.

    모든 프레임에 대한 기호가 있음을 전제로, 호출 스택에 표시되는 프레임은 거의 아무 문제가 없습니다. 스택이 손상되거나 함수가 어셈블리 언어로 작성되거나 운영 체제 프레임이 호출 스택의 기호와 일치하지 않는 경우 호출 스택의 프레임에 문제가 발생합니다.

    전역 변수, 정적 변수 및 구조 레이아웃은 항상 올바르게 표시됩니다. 구조를 가리키는 포인터가 있고 포인터 값이 올바르면 구조의 모든 멤버 변수에 올바른 값이 표시됩니다.

    따라서 가능하면 최적화되지 않은 프로그램 버전을 사용하여 디버깅해야 합니다. 기본적으로 최적화는 C++ 프로그램의 디버그 구성에서 해제되고 릴리스 구성에서는 설정됩니다.

    그러나 최적화된 프로그램 버전에서만 버그가 나타날 수도 있습니다. 이 경우에는 최적화된 코드를 디버깅해야 합니다.

디버그 빌드 구성에서 최적화를 설정하려면

  1. 새 프로젝트를 만들 때는 Win32 Debug 대상을 선택합니다. 프로그램이 완전히 디버그되고 Win32 Debug 대상을 빌드할 준비가 될 때까지는 Win32 Release 대상을 사용합니다. 컴파일러는 Win32 Debug 대상을 최적화하지 않습니다.

  2. 솔루션 탐색기에서 프로젝트를 선택합니다.

  3. 보기 메뉴에서 속성 페이지를 클릭합니다.

  4. 속성 페이지 대화 상자의 구성 드롭다운 목록에서 Debug가 선택되어 있는지 확인합니다.

  5. 왼쪽의 폴더 보기에서 C/C++ 폴더를 선택합니다.

  6. C++ 폴더 아래에서 Optimization을 선택합니다.

  7. 오른쪽의 속성 목록에서 Optimization을 찾습니다. 옆에 있는 설정은 일반적으로 Disabled (/Od)로 설정되어 있습니다. 다른 옵션(Minimum Size``(/O1), Maximum Speed``(/O2), Full Optimization``(/Ox) 또는 Custom) 중 하나를 선택합니다.

  8. Custom에 대해 Optimization 옵션을 선택한 경우 속성 목록에 있는 다른 속성에도 옵션을 설정할 수 있습니다.

  9. 구성 속성, C/C++, 프로젝트 속성 페이지의 명령줄 노드를 선택하고 (/Zo)를 추가 옵션 텍스트 상자에 추가합니다.

    Warning

    /Zo를 추가하면 편집하며 계속하기를 사용할 수 없습니다.

    최적화된 코드를 디버깅할 때는 디스어셈블리 창을 사용하여 실제로 어떤 명령이 만들어지고 실행되는지 확인하세요. 중단점을 설정할 때는 중단점이 명령과 함께 이동할 수도 있다는 것을 알아야 합니다. 예를 들어, 다음 코드를 고려하세요.

for (x=0; x<10; x++)

이 줄에 중단점을 설정할 경우, 중단점이 열 번 적중될 것으로 기대하겠지만 코드가 최적화되면 중단점은 한 번만 적중됩니다. 이는 첫 번째 명령에서 x 값을 0으로 설정하기 때문입니다. 컴파일러는 이 명령이 한 번만 수행되는 것으로 인식하여 루프 밖으로 명령을 이동합니다. 중단점도 함께 이동합니다. x를 비교하고 증가시키는 명령은 루프 내에 남아 있습니다. 디스어셈블리 창에서는 더 효과적으로 제어하기 위해 단계별 실행이 명령으로 자동 설정되며, 이는 최적화된 코드를 단계별로 실행하는 데 유용합니다.

관련 콘텐츠