rampitec added a comment. I also believe that will happen extremely rare, otherwise we would have already hit this problem. So the main overhead is really covers() checks. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D82916/new/ https://reviews.llvm.org/D82916