gcc 디버그 빌드에만 나타나는 이상한 조건

Question

gcc -O0 -g 출력에만 나타나고 gcc -O3이 아니라 MSVC 디버그 출력이 아닌 이상한 조건이 있습니다. 에 나타납니다

void func(void) { 
    static int enabled; 

    if (!enabled) { 
    // do stuff 
    enabled = 1; 
    } 

} 

문제 GCC -O0 -g 만 때때로 0으로 반환 가능하지만 것입니다 항상, 단지 프로그램의 실행에 드문 점. 이 함수는 일반적으로이를 반복합니다. 그것에 대해 혼란스럽게 할 수있는 것은 무엇입니까? '활성화'가 외부에서 변경 될 수 있습니까? 그러나 내부에 선언되어 있습니다.

EDIT : 함수 내에서 0으로 설정하는 방법이 있지만, 큰 뚱뚱한 printf는 전혀 인쇄되지 않습니다. [그리고 그 아래에 전혀 논리적 인 방법이 없습니다. 시험 조건]. 명시 적으로 사용할 수있는 항목에 전혀 적용되지 않는 것으로 보입니다.

EDIT2 : 주 스레드에서만 호출됩니다.

EDIT3 : 더 기괴합니다. 리눅스 gcc -O0 -g에는 나타나지 않지만 mingw-w64 [gcc -O0 -g]에만 나타납니다.

EDIT4 : if (! enabled) (읽기 전용이어야 함)의 일부 경우에 rwatch 및 watch on enabled가 변경된 것으로 표시됩니다.

EDIT5 : oftc에서 # mingw-w64의 도움을받은 후 '부울 순서'가 반전 된 경우 '수정'됩니다. enabled는 1로 초기화 된 다음 0으로 설정됩니다. "0이 아닌 값으로 정적 변수를 초기화하여 .data 섹션에 넣으므로 lcomm에 대한 문제가 있습니다." "버퍼 오버런이 있다고 가정합니다. 귀하의 코드에서 다른 장소 "

Answer 1

내 생각 엔 : 어딘가에 버퍼 오버플로가 있습니다. enabled 바로 전에 주 메모리에있는 변수가 잘못된 크기로 덮어 쓰여지고 이후의 모든 항목을 덮어 씁니다. 또는 겹쳐 쓰는 빗나간 포인터가 있습니다.

더 자세히 디버깅하는 유일한 방법은 thkala에서 제안한 것처럼 watchpoint를 gdb에 추가하는 것입니다.