https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106878
--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 53569 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53569&action=edit gcc13-pr106878-4.patch So, I've tried to restrict the verifiers so that they allow pointer arguments only for BIT_AND_EXPR with constant second argument and not for BIT_IOR_EXPR nor BIT_XOR_EXPR. Ran into reassoc issue which was converting (ptr1 == 0 && ptr2 == 0) into (ptr1 | ptr2) == 0 with BIT_IOR_EXPR in pointer type. This untested patch changes that, will see tonight how far I get with this adjusted patch.
