Разрешено ли ЦП выполнять спекулятивное выполнение при условиях ветки nullptr? ⇐ C++

[Anonymous]

ЦП часто выполняет спекулятивное выполнение ветвей кода, таких как

Код: Выделить всё

if ( a > b)

И отбрасывает результат в случае неверного прогноза.
Однако давайте рассмотрим следующее:

Код: Выделить всё

int* ptr = nullptr;
//do some work
if (ptr != nullptr) {
std::cout