내 g ++는 내가 C++ 코드 다음 한 벡터 <weak_ptr> 삭제() 메소드

Question

와 이상한 경고를 생성 내가 변경할 때

ppk@fif-cloud-dev:~$ g++ --version 
g++ (Ubuntu 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609 

ppk@fif-cloud-dev:~$ g++ -fstrict-overflow -Wstrict-overflow=5 -O2 -std=c++14 warn1.cc 
warn1.cc: In function ‘void erase_from_vector(std::vector<std::weak_ptr<int> >&)’: 
warn1.cc:6:6: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow] 
void erase_from_vector(std::vector<std::weak_ptr<int>> &mvec) { 
    ^

을하지만 - O2 플래그를 -O1로 설정하면 경고없이 컴파일됩니다. 플래그 -O2를 유지하고 main()에 주석 처리를 제거하면 경고없이 컴파일됩니다. Clang 컴파일러는 경고를보고하지 않습니다.

이 경고는 std :: weak_ptr 소멸자에서 발생한다고 가정합니다. 카운터가 감소하지만 코드에 왜 나타나는지는 알 수 없습니다.

내 오류 또는 컴파일러의 오류로 인한 경고입니까?

Answer 1

대개 gcc 5.4의 버릇이 있습니다. gcc 6.1에 도착하자 마자 사라졌으며, 이후 버전에서도 다시 나타나지 않습니다.

gcc 5.4 (경고)

gcc 6.1 (경고없이)

그것은 연타가 동작을 재현하지 않습니다 특히 욕이다.

그런 행동이 doc ( 강조 광산)

서명 오버 플로우가 발생하지 않습니다 있다고 가정 최적화에 따라 정확히 버그가 아닙니다 주목해야한다

는 값의 경우 완벽하게 안전하다 관련된 변수 중 오버 플로우가 실제로 발생하지 않습니다. 따라서 이 경고는 쉽게 거짓 긍정을 줄 수 있습니다. : 실제로 문제가 아닌 코드에 대한 경고. 이 자체 면책와 함께 제공되는 가장 높은 경고 수준입니다 당신이 -Wstrict-overflow=5를 사용하는 것은, 그것은 훨씬 더 가능성이 만드는

:

이

이 경고 수준이 잘못된 반응의 매우 큰 수를 제공

내 제안은 컴파일러를 업그레이드하거나 gcc 5.4가 거짓 긍정을 제공한다는 것을 받아들이는 것입니다.