https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101254
Andrew Macleod <amacleod at redhat dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Attachment #51082|0 |1 is obsolete| | --- Comment #5 from Andrew Macleod <amacleod at redhat dot com> --- Created attachment 51083 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51083&action=edit new patch Ah right. so op1 == op2 is the only time we can conclude anything. Like so: