[llvm] [BOLT] Gadget scanner: optionally assume auth traps on failure (PR #139778)

[Anatoly Trosinenko via llvm-commits]

================
@@ -490,6 +514,11 @@ class SrcSafetyAnalysis {
       dbgs() << ")\n";
     });
 
+    // Being trusted is a strictly stronger property than being
+    // safe-to-dereference.
+    assert(!Next.TrustedRegs.test(Next.SafeToDerefRegs) &&
+           "SafeToDerefRegs should contain all TrustedRegs");
+
----------------
atrosinenko wrote:

Proposed `BitVector::subsetOf` in #170875.

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