Помножим потихонечку на нуль

[beldmit]

memset may be optimized away (under the as-if rules) if the object modified by this function is not accessed again for the rest of its lifetime. For that reason, this function cannot be used to scrub memory (e.g. to fill an array that stored a password with zeroes). This optimization is prohibited for memset_s: it is guaranteed to perform the memory write.

А пока gcc (4.9.2) это не подддерживает, остаётся только извращаться. И всё равно компиляторы хитрее, а проблема этим не исчерпывается.

Comments

[yurikhan]

Мне нравится метафора Lawful Evil компилятора: обязан во всём соблюдать стандарт, но в остальном направлен на то, чтобы как можно больше испортить жизнь разработчику. Имеет INT, достаточный для решения любых вычислительных задач, не являющихся доказанно алгоритмически неразрешимыми.

[beldmit.livejournal.com]

Мне понравилась идея похоронить концепцию Undefined Behavior.

[yurikhan]

Это где такое придумали и как собираются не похоронить при этом платформозависимые оптимизации?

Не, даже не так. Как избежать необходимости вводить платформозависимые пессимизации?

Вот, к примеру, код:

int foo = некое не-constexpr выражение,
    потенциально возвращающее std::numeric_limits<int>::max();
++foo;

Что должен здесь генерировать компилятор для платформы с представлением отрицательных чисел, отличным от того, которое мы примем за стандартное (скорее всего two’s complement)?

[beldmit.livejournal.com]

Придумали это в рассылке cryptography. Автор, кажется, предлагал всегда крэшиться, но я мог и перепутать, поскольку эту ветку читал недостаточно внимательно.

[yurikhan]

Возможно, что для целей криптографии нужен язык с другими приоритетами, чем у C.

[beldmit.livejournal.com]

Или дополнения в стандарт.

[yurikhan]

Если в стандартах C и C++ доопределить все места, где сказано «undefined behavior», это уже будут другие языки. Потому что та спецификация, которая получится, не будет реализуема в рамках принципа нулевого/минимального оверхеда, который является для них одним из основополагающих.

В начале 2000-х были попытки Managed C++ и потом C++/CLI. Не взлетели. (А C# взлетел. Но это тоже совсем другой язык, который выбирают другие люди и за другие причины, чем выбирают C и C++.)

Вот, кажется, оригинальное письмо.

[beldmit.livejournal.com]

http://www.metzdowd.com/pipermail/cryptography/2015-October/026834.html