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

キャストでconstを外すのがバグではなく

[Anonymous Coward]

その結果定数メモリへの書き込みが発生するのがバグ

Re:

[Anonymous Coward]

非修飾型へのポインタを修飾型へのポインタにキャストするのは許容されているが、逆は未定義動作だろ

Re:

[Anonymous Coward]

すくなくともC++では未定義ではないな。
それ経由で書き込むと未定義。読むのはOK。

Re:

[Anonymous Coward]

C++は知らんが、Cではポインタの型変換について修飾付ける方向のしか規格に記載されていないから、const外しキャストは未定義動作になる。
strchrとか標準関数ですらreturn値でconst外してくるあたり、規格自体が狂ってる感はあるけども。

Re:

[Anonymous Coward]

> strchrとか標準関数ですらreturn値でconst外してくるあたり、規格自体が狂ってる感はあるけども。

それはアタナの勘違い

const char * strchr ( const char * str, int character );
            char * strchr ( char * str, int character );

プロトタイプ宣言が２つあります

Re:キャストでconstを外すのがバグではなく

[Anonymous Coward]

それはアタナの勘違い

const char * strchr ( const char * str, int character );

            char * strchr ( char * str, int character );

プロトタイプ宣言が２つあります

Cでそんなことできたっけかな?

const char * strchr ( const char * str, int character );
                        char * strchr ( char * str, int character );

int main(void)
{
}

https://wandbox.org/permlink/k4ROmZcUnxTwh7Ab [wandbox.org]

prog.c:2:20: error: conflicting types for 'strchr'
        2 | char * strchr ( char * str, int character );
            | ^~~~~~