https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117646
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- The problem is the max(a,b) == 0 match pattern. Let me check what is done for a==0&a==0 for pointers. I can't remember if there is a convert or not.