tree 3bb4fc9783dabd829c3c8700f0b2908f89cad78e
parent 01b288fe6a1e627954329198ed5641f2bf55ee8d
author Nikita Popov <npopov@redhat.com> 1750835541 +0200
committer GitHub <noreply@github.com> 1750835541 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoW6FVCRC1aQ7uu5UhlAAAqrwQAH6Q8PJiuRbTFg1/A0PTC4N5
 YpWPiJRx6jzEetuTRscKMKu/fAK0LUUiZXg5+PwHV2r8CDvotQ2jvZfTIKQyz2bQ
 euEMn5ZqhdtyA1t8OEoaLWsoz1L+peSbJx2k1AHT3v9TRzVHQTDDdGSQxOnsbFz3
 t+D1+3l8vaR9f5FZ2lm6dHBF5Yg0az0PBYNAhf3VZu6/D+9eqv9x56Bp7eaLJHpl
 rUSEdNCXfmvs7RMtAvy82X3w0MxZsYvNyUhVfYPFzXB8JRYzK+SdVOYDWvjTCDBb
 ugjUHXwe2eNDYrtbTMYYb7ycAc6iQBycm5MULjS5gXO9DGVwI+vW3qCiKHBbGrjo
 0EZ7F8g5fVm2Hb4pgd7PLdOX0i9rnwXHR/Jtkxj2poTsOt1IS6n91NJuIYHmnmPK
 YwEdbXrknatnxqyGdl0V+mGUcpCmf8IC+LGC06tAS40tuCu13YuN13YsmMDtiWtS
 nunKhKxmrDmVRJa2VohodtpiyRcAIzK+ImaUZONz2Pudfw9FVAn8vMS3zN3Ml9rO
 vtqxmcmIWsSG7je1aqqv4PoYiv08a6nzuPtR2LEnZasmW50bCSbetBx400vSMIAB
 OkmJWdabAmqHMF9zcq9uPat3yPWQppa417tIwAP/3phB4SsjyPTyH1nxELOR2VTA
 u+Al4nJzYXz7sBvf33fw
 =FJiX
 -----END PGP SIGNATURE-----
 

[IR] Fix incorrect writeonly on llvm.allow.ubsan/runtime.check (#145492)

These intrinsics introduced in #84850 are currently marked as
`memory(inaccessiblemem: write)`. This is not correct for the intended
purpose of allowing per-block decisions, as such calls may get DCEd
across control-flow boundaries (which will start actually happening with
#145474).

Use `memory(inaccessiblemem: readwrite)` instead, just like all the
other control-flow sensitive intrinsics.