[PATCH] D54653: Remove branch from CreateAlignmentAssumption

[James Y Knight via Phabricator via llvm-commits]

jyknight added a comment.

> Thus, I think that the simple expression will still work even with this use case.

Indeed so!

I think the rule can be more clearly stated as: When the pointer is non-null, then the alignment must be a positive power of 2 (otherwise UB). An ubsan checker will need to take that into account as well.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D54653/new/

https://reviews.llvm.org/D54653