https://github.com/nikic approved this pull request. LGTM. Agree that we shouldn't rewrite pointers with casts to add the divisibility information, so this seems like the best we can do... https://github.com/llvm/llvm-project/pull/160941