Да, я как всегда туплю, это не упорядочивает сайд эффект инкремента и вычисление правой части присваивания.

    int n = 2;
    ++n *= n; //итого 9

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

реализации отнюдь не идеальны

gcc, кажется, наименее строгий в этом отношении

    int n = 2;
    ++n *= n; //итого 9

@drMagras @Endill разве такое поведение не противоречит "The right operand is sequenced before the left operand" и определению sequenced before "An expression X is said to be sequenced before an expression Y if every value computation and every side effect associated with the expression X is sequenced before every value computation and every side effect associated with the expression Y"?

Я не очень понимаю, как вообще работает "чтение данных" в правой части присваивания

там, кстати, транк кланга 6 выдает

это вообще как :)

перемножил n до инкремента на n после, наверное

А msvc может выдать оба результата в зависимости от уровня оптимизации.

звучит как верный признак уб

1) value computation of the right
2) value computation of the left
3) assignment
4) value computation of the assignment expression

порядок получается такой, где каждый пункт sequenced after предыдущего. то есть справа остается 2, а слева 3

причем я так понимаю, что под assignment имеется в виду и перемножение с присваиванием для соответствующего оператора

Порядок то верный, но side effect от lhs (++) срабатывает до вычисления rhs, так как в примере там 3 (а итог 9), вот в чем вопрос

я к тому, что так не должно быть, если я не ошибаюсь в толковании стандарта

как goto влияет на производительность? Прыжок чего-то стоит?

Смотря какой длины прыжок получается

А даже так, кароче мерить придется

Вроде как goto это безусловный переход, и в отличие от условного должен выполняться быстрее - потому что процессор когда его видит, ему не нужно ничего предиктить(угадывать как программа будет дальше себя вести) и прроцессор может спекулятивно продолжить свое выполнение, сделать гарантированно верный и нужный префетчинг из оперативы и т.п. Надо еще отметить, что длина прыжка тоже влияет, но вот на сколько сильно - не знаю.

Но, условный переход в прогрмме if - может заменяться на такие инструкции как cmove, например, то есть JE, JZ и прочие условные переходы не генерируются. Начиная с процессоров skylake cmove не дорог - 1 такт в латенси, а вот до, кажется два такта.