https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108253
--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:ebc449119442501c927ede0e83697eaece72223e commit r13-4990-gebc449119442501c927ede0e83697eaece72223e Author: Jakub Jelinek <ja...@redhat.com> Date: Wed Jan 4 12:16:22 2023 +0100 vrp: Handle pointers in maybe_set_nonzero_bits [PR108253] maybe_set_nonzero_bits calls set_nonzero_bits which asserts that var doesn't have pointer type. While we could punt for those cases, I think we can handle at least some easy cases. Earlier in maybe_set_nonzero_bits we've checked this is on (var & cst) == 0 edge and the other edge is __builtin_unreachable, so if cst is say 3 as in the testcase, we want to turn it into 4 byte alignment of the pointer. 2023-01-04 Jakub Jelinek <ja...@redhat.com> PR tree-optimization/108253 * tree-vrp.cc (maybe_set_nonzero_bits): Handle var with pointer types. * g++.dg/opt/pr108253.C: New test.