Fix a problem with setcc instructions and pointers