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

[Anatoly Trosinenko via llvm-branch-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:

`BitVector::test(const BitVector &)` name looks rather ambiguous to me, but here is its definition: [BitVector.h](https://github.com/llvm/llvm-project/blob/5bb8e9db5f59dc2d3d8658f5b03577f9296be267/llvm/include/llvm/ADT/BitVector.h#L536).

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