я, конечно, понимаю...

[juan_gandhi]

на плюсах пишут много полезного...

Но ведь язык для пациентов, нет разве?

См пример 

Как может вызваться никогда не вызываемая функция?

Comments

[archaicos]

Никогда так не было и вот опять.
Просто многие поцыенты не читают правил заведения.

[nexusplexus]

Modified condition/decision coverage помогает.

У нас обязательное 100% MC/DC покрытие для C кода и обязательное 100% line coverage для C++ кода (C++ покрывалки дороги).

Все сделано на уровне CI/CD: no coverage, no merge.

[relyef]

Пример на чистом С, плюсы тут не очень причем

[spamsink]

Для красного словца не пожалеешь и Страуструпца.

[dluciv]

Именно

[ypq]

ии(ai) виноват.

[vitcs]

Это же вроде clang так только делает. При чем тут все плюсы? Ну и не инициализировать статическую переменную хотя бы NULL-ом - это не есть правильная практика.

[juan_gandhi]

Ах да. Про плюсы - это на кворе свежая телега была, как один пацан с 13 лет до 30 программировал на плюсах, и вдруг понял, что он в жопе. Кроме плюсов, он не знает вообще ничего, и теперь в панике.

[relyef]

Кстати, да. А если кто не пользуется Findbugs или что там для С есть, как частью билда - тот сам себе злобный Буратино

[qvb]

>>>я, конечно, понимаю... https://youtu.be/lOac1vzj51k

[juan_gandhi]

ой бля. Ничосе чайлд порн и menage á trois. И комментарии толп идиотов.

[proben]

Это беседа психиатра с психом. Один психиатр подсказал. С тех пор не могу ее слушать без ржача.

[vap]

А еще целый класс подобных удивительных историй получается, если не отключить в gcc оптимизацию по опознанным случаям aliasing-а.
Ну, типа, если у двух указателей разные типы - то компилятор имеет право предполагать, что они никогда не будут равны. И другие подобные подставы.

[dluciv]

Причём тут C++ и Страуструп? Это Си и Ритчи. Пусть даже эта оптимизация характерна для C++, в Си могло случиться то же самое.

[rampitec]

А какое ожидается поведение, если передать управление по случайному адресу?

Но я, кстати, со шлангом тут не согласен. Если бы убрали static, то адрес был бы случайный, а так обязан быть 0. Другое дело, что по нулевому адресу может лежать что-то ничуть не лучше.

[a2is]

> А какое ожидается поведение, если передать управление по случайному адресу?

В большинстве случаев - protection fault :)
Его и ождидали, как наиболее вероятное. Только вероятность оценили немного неправильно, не учли компилятор.

А то, что ВНЕЗАПНО попался адес функции - это бесплатный бонус. И хорошо, что там "rm -rf /". Мог быть и запуск баллистических ракет.

[elglin]

Я понимаю, что это очень зачетный выстрел в ногу, но Си никогда не славился защитой от стрельбы по ногам. Так что выглядит, как "за что боролись, на то напоролись". Ну или как известный анекдот о японской пиле и сибирских лесорубах.

[mopexod]

Я тоже иногда ха-ха по этому поводу.
Но с другой стороны - а на чём кернел и всякий лоу-левел писать? На Скале?
Так что - тесты-тесты-тесты, автоматические проверки, вот это всё...

Ну а аппликации на С/С++ - это нынче точно дурной тон.

[juan_gandhi]

На расте писать.

[vit_r]

В любой приличной конторе есть стандарты на кодирование, которые такое не позволяют. (А за одно исключают кучу других ошибок, которыми код усаживают любители "безопасных языков".) Конечно, можно всех пересадить на трёхколёсный велосипед.

[uselessextras]

В конце же написано:

---
Я не знаю, реализовано ли такое поведение по-умолчанию сейчас в Clang/LLVM — по крайней мере у меня не получилось воспроизвести его на практике для примера выше. Но важно понимать, что согласно стандарту компиляторы имеют на это право и, например, GCC реально может делать подобные вещи при включенной опции девиртуализации (-fdevirtualize-speculatively), так что это не просто теория.

P.S. Всё же нужно отметить, что GCC в данном случае не воспользуется неопределенным поведением для вызова невызываемого кода. Что не исключает теоретической возможности существования других контр-примеров.
---

[norian]

нет бога кроме крестов

и страуструп пророк его

не, а чо вы хотели для такого железа ? засунуть всё дерьмище под капот и каждый раз в отчаянии заламывать лапги, когда там начинаецца трэш, угар и содомия ? вместо того чтобы написать кусок на ассемблере и скакать итераторами по контейнерам дальше

вопросы риторические конечно

[jamhed]

Высокое мастерство c++ программиста помнить наизусть все эти милые особенности для разных реализаций, у некоторых видимо память безграничная.

[uselessextras]

Не подскажете SIP стек на Rust, ну и RTP до кучи? Чтоб мне на плюсах больше не мучиться?

[juan_gandhi]

Ох не подскажу... Но можете погуглить.

[caztd]

Там совершенно правильно написано что это UB.
А то как кланг этот UB интерпретирует это уже другое дело
и не проблемы самого языка.

Но у плюсов конечно достаточно проблем и без UB,
Один pair чего стоит:
https://stackoverflow.com/questions/64931324/what-is-the-purpose-of-having-an-empty-pair-base-class

[juan_gandhi]

О, сколько интересного узнал! Спасибо.

[epimorphisms_split]

Все языки, в общем и целом, одинаковые. Какие-то получше, какие-то похуже. Но, в целом, одна сатана.

[juan_gandhi]

Рекомендую попробовать вижуал бейсик, чтобы сравнить.

[stas]

Да ладно, написано undefined. Я заранее знал, даже линка не кликая, что об этом речь пойдёт. Если сказали "не суй пальцы в розетку, будет бобо", то не надо удивляться, что если сунули - то стало бобо. Спички детям не игрушка.