私は GCC 6 でコンパイルされた C++ ライブラリの問題レポートに取り組んでいます。
- UndefinedBehaviorSanitizer に新しいサニタイズ オプション -fsanitize=bounds-strict が追加されました。これにより、配列境界の厳密なチェックが可能になります。特に、-fsanitize=bounds と、柔軟な配列メンバーのような配列の計測を有効にします。
厳密な境界チェックは に含まれてい-fsanitize=undefinedますか? -fsanitize=undefinedそれともとの両方が必要-fsanitize=bounds-strictですか?