Essa transformação do compilador é permitida?

Question

Aug 25, 2017, 05:42 PM

Considere este código, ondex ey são inteiros:

if (x)
    y = 42;

A transformação do compilador a seguir é permitida?

int tmp = y;
y = 42;

if (!x)
    y = tmp;

contexto:

Este é o FAQ de Bjarne Stroustrup:

// start with x==0 and y==0

if (x) y = 1;   // Thread 1 

if (y) x = 1;   // Thread 2

O FAQ declara que é livre de corrida de dados; comx ey ambos 0, nenhum dos vars deve ser gravado.
Mas e se a transformação for permitida?

questionAnswers(1)

Android drawable ic_menu_star não está funcionando?

Ruby: Como armazenar e exibir um dia da semana?

Combinando várias substituições de parâmetros bash na mesma linha de conjunto de variáveis sem usar nenhum outro comando [fechado]

Como definir as Configurações de vídeo no modo EXTEND no Windows 7 usando C ++?

Criar backspace na calculadora iOS