lantictac added a comment. Hi All, What's the consensus on the additional checks? I can try and add support for the theoretical corner cases but without being able to construct test cases I'm not sure how useful it'd be. https://reviews.llvm.org/D46427