[llvm-branch-commits] [dse] Skip llvm.allow.{runtime, ubsan}.check() (PR #86067)

[Vitaly Buka via llvm-branch-commits]

vitalybuka wrote:

> I don't think that this change is necessary. The InaccessibleMemOnly modelling will take care of it.

Thank. That makes sense. As I wrote in description, I tried to trigger code difference in tests, but failed for these and for assume.
Converting to draft.

https://github.com/llvm/llvm-project/pull/86067