GCC reordenando a carga com `memory_order_seq_cst`. Isso é permitido?

Usando uma versão simplificada de umseqlock [https://en.wikipedia.org/wiki/Seqlock], o gcc reordena uma carga não atômica através de um atômicoload(memory_order_seq_cst) ao compilar o código com-O3. Essa reordenação não é observada ao compilar ...