https://github.com/nikic requested changes to this pull request. I'd expect something like get the number of the corresponding ptrtoint expression and check if we have a leader for it. Should not do use scanning. https://github.com/llvm/llvm-project/pull/209164