https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125857
--- Comment #9 from Drea Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Macleod from comment #7) > Created attachment 64781 [details] > possible fix > > WE can bypass the issue for now with the attached patch. > > It looks at the value returned from ipa_return_value_range, and if it is not > gimple_min_invariant in this CU, it clears the points to field. > > Do you want me to test and commit this until someone in IPA land decides > what to do here? That seems reasonable to me. We should instead drop it in ipa_record_return_value_range_1 rather than workaround it in the other side.
