「LLVM、定数として宣言されたメモリ領域への代入を削除する最適化を導入」記事へのコメント

コンパイルエラーまたは例外の方がありがたい

[Anonymous Coward]

どういったコードを想定してるの？
void main() {
    const int a;
    int *b;
    b = (int*) &a;
    *b = 1; /*この行が実行されない*/
}
て感じ?

Re:

[Anonymous Coward]

修正してやったゾ

int main() {
        extern const int a;
        int *b;
        b = (int*) &a;
        *b = 1; /*この行が実行されない*/
}

https://godbolt.org/z/9pJHBg [godbolt.org]

Re:コンパイルエラーまたは例外の方がありがたい

[Anonymous Coward]

こうすると書き換えない？

__attribute__((noinline)) void sub01(int *b) { *b = 1; }
int main() {
        extern const int a;
        int *b;
        b = (int*) &a;
        sub01(b);
}

インライン有無で挙動が違うということ？

Re:

[Anonymous Coward]

非インライン（というかexternなスコープ)だと、sub01(int *b)のbがReadOnlyな保証が無くなるからコードを削除するわけにはいかないということでは？

Re:

[Anonymous Coward]

__attribute__((noinline)) を削除すると、インライン展開されて、ReadOnlyな保証が有効になって、
*b = 1;が実行されない

すなわち、インライン展開の有無で動作が変わってしまうってことがいいたいの。
(https://godbolt.org/z/9pJHBg で確認)