C++: в обход строгого псевдонима через union, затем используйте расширение __restrict

Question

Интересно, можно ли адаптировать строгие требования к псевдонимам к специально разработанным кейсам, сохраняя при этом строгий псевдоним в целом или оптимизацию -O2/-O3 соответственно.

Чтобы быть более точным, в тех случаях, когда это необходимо, строгий псевдоним можно обойти, используя анонимный союз (как указано здесь и здесь):

#define PTR_CAST(type, x) &(((union {typeof(*x) src; type dst;}*) &(x))->dst)

Теперь интересно, если использовать __restrict для указателя, полученного таким преобразованием, будет повторно включена оптимизация без псевдонимов в компиляторе (или если такой указатель и все его копии будут считаться потенциально псевдонимами на все времена). Как это:

void bar(float* __restrict a, float* __restrict b) {
   // Do something with a and b assuming they don't overlap.
}

void baz(float* c) { /* Do something with c... */ }

void foo() {
   int32_t* buffer = new int32_t[1000];
   // Do something with buffer...

   float* bufCast1 = PTR_CAST(float, buffer);
   float* bufCast2 = PTR_CAST(float, buffer + 500);

   // Can the arguments be successfully __restrict-ed in this case?
   bar(bufCast1, bufCast2);

   // Also, would bufCast1 be treated as potentially aliasing inside of baz()?
   baz(bufCast1);
}