DmitryPolukhin added a comment. Richard, friendly ping. It seems that your counterexample cause no issue with this patch. I added tests to prove it. Could you please take another look? http://reviews.llvm.org/D18035