https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92233
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at redhat dot com
--- Comment #3 from Jeffrey A. Law <law at redhat dot com> ---
Rather than jump threading what I think we want is the ability to note that the
two object's values are related. In this specific example, in the THEN arm we
know that at least one of them must be zero and thus the result of the
multiplication must be zero.
This kind of relational tracking is also helpful to jump threading and false
positive elimination for the various middle end warnings. There's one or more
other BZs which show that, but I don't know their #s offhand.
