gberry added a comment. The other difference from your original change is that duplicates aren't removed from the newly merged list, but I guess we'd need to see a case where that mattered to justify the cost of fixing it. http://reviews.llvm.org/D15230