Don't try to mix integers and pointers in an icmp instruction