Aliasing estrito do C ++ quando não estiver usando o ponteiro retornado pelo posicionamento new

Isso pode causar um comportamento indefinido?

uint8_t storage[4];

// We assume storage is properly aligned here.
int32_t* intPtr = new((void*)storage) int32_t(4);

// I know this is ok:
int32_t value1 = *intPtr;
*intPtr = 5;

// But can one of the following cause UB?
int32_t value2 = reinterpret_cast<int32_t*>(storage)[0];
reinterpret_cast<int32_t*>(storage)[0] = 5;

char tem regras especiais para aliasing estrito. Se eu usarchar ao invés deuint8_t ainda é um comportamento indefinido? O que mais muda?

Como o membro DeadMG apontou,reinterpret_cast depende da implementação. Se eu usar um elenco no estilo C(int32_t*)storage em vez disso, o que mudaria?