HsiangKai added a comment. Do we need this case? Case 4 is any vd. It means (vd == v0) || (vd != v0), right? These two cases are already covered by case 2 and case 3. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D100115/new/ https://reviews.llvm.org/D100115