https://github.com/shafik commented: Please add more details to the summary, especially a note that there theoretically could be false negatives but it fixes the overall issue and the tradeoff good. https://github.com/llvm/llvm-project/pull/120233