MaskRay wrote: Other sanitizers check `empty()`, which subsumes declarations, but I believe `empty()` definitions often indicate a bug. So just checking declaration is good. https://github.com/llvm/llvm-project/pull/105598