balazske wrote: I like it to move the checker to `optin`. If the fixed pointers come only from a specific set or range, another solution can be to add an option to specify "allowed ranges" of fixed addresses. https://github.com/llvm/llvm-project/pull/132404