[PATCH] D16343: [BasicAA] Fix for missing must alias information

[Mailing List "llvm-commits" via llvm-commits]

llvm-commits added a comment.

Aside from the suspected UB (which I think Philip was right about,
see my comments inline below), this seems pretty obviously correct.

A have a couple of other nitpicks below, but after that LGTM.
Philip, did you have anything else on your side?


http://reviews.llvm.org/D16343