@chandlerc do you know if there's a pass or small set that do most of the heavy lifting for bounds check elimination? like maybe constraint elimination? I love that one, it had been needed for a while, and it seems to do a really great job with ubsan checks
@regehr That's the one I've heard others mention. But I've not been following LLVM closely enough to see some of these recent developments at that granularity.