[Bug ipa/103083] [10/11/12 Regression] Wrong code due to ipa-cp's value range propagation since r10-5538-gc7ac9a0c7e3916f1

hubicka at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Fri Nov 5 17:25:11 GMT 2021


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103083

--- Comment #3 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Just for the record, the problem is the ancestor jump function being used to
model two things - pointer plus which originates from ADDR_EXPR of component
reference and also C++ casts which checks whether parameter is NULL and does
pointer plus inly for non-NULL.

In this case the VR propgataion expects the first interpretation (without
special casing NULL) while the testcase does the second.

Honza


More information about the Gcc-bugs mailing list