Leif Gram: Mr. Fix

Пожелание

Требуется следующая оптимизация для C++.

Допустим, встрeтился такой код:
double x = drand48();
f(x, 1, true);


Допустим далее, что после перебора всех кандидатов для f, наилушей оказалась некоторая
f(double, int32_t, bool) {...},
причем ее определение известно.

В таком случае компилятор должен сгенерировать код определения функции одного переменного f_1(double), полученный из кода исходной функции f подстановкой констант на место остальных параметров, оптимизировать его согласно стандартным правилам оптимизации, и вызвать f_1(x).
А откуда известно, что он так не делает?
Не знаю, в стандарте-то нет, и никто таким не хвастается.