История изменений

Как вообще можно написать так с ошибкой ведь тогда и логика программы и тесты будут ломаться

Спроси у Эдика, он специально пишет UB код и гордится этим, и исправляться не хочет. Тесты могут проходить, но ошибки всё равно есть. Это напрямую не связано.

Вот пример UB, который не каждый санитайзер найдёт (и в обычном режиме уж и подавно), а анализаторы такое теоретически могут находить:

https://gcc.godbolt.org/z/xGK51oMa4

Как вообще можно написать так с ошибкой ведь тогда и логика программы и тесты будут ломаться

Спроси у Эдика, он специально пишет UB код и гордится этим, и исправляться не хочет. Тесты могут проходить, но ошибки всё равно есть. Это напрямую не связано.

Вот пример UB, который не каждый санитайзер найдёт (и в обычном режиме уж и подавно), а анализаторы такое могут находить:

https://gcc.godbolt.org/z/xGK51oMa4

Как вообще можно написать так с ошибкой ведь тогда и логика программы и тесты будут ломаться

Спроси у Эдика, он специально пишет UB код и гордится этим, и исправляться не хочет. Тесты могут проходить, но ошибки всё равно есть. Это напрямую не связано.

Вот пример UB, который не каждый санитайзер найдёт (и в обычном режиме уж и подавно), а анализаторы такое могут находить:

https://gcc.godbolt.org/z/hxPvM3dGh