ちょっと分離。深追いしないので。。

-fstrict-volatile-bitfieldsが volatile な配列について効いたり効かなかったりする。

わかっていること

とりあえず最小ケースは作れたと思う: https://godbolt.org/z/6E6GofE4Y

• ループ内で2度以上参照が発生する必要がある
• アーキテクチャを問わず発生する
  • ARM: https://godbolt.org/z/7evGoW6ce
  • x86: https://godbolt.org/z/r7qc331ej
• gcc 4.9 未満では発生しない:
  • 4.8.5: https://godbolt.org/z/bzszzMrvq
  • 4.9.0: https://godbolt.org/z/nMTET99YG

対策としては、アクセスを関数にくくり出す https://godbolt.org/z/7GfGoqvrb と正常になることがわかった。

static inline uint32_t
getb(int idx){
    volatile pad* p = set->io;
    return p[idx].b;
}

volatile なポインタのdereferenceして得たオブジェクトのポインタは volatile だと思うんだけど。。