> 2024-11-04 Martin Jambor <mjam...@suse.cz> > > * ipa-cp.cc (ipa_check_const_jf_vr): New function. > (ipa_value_range_from_jfunc): Call it when checking and when > dealing with a constant jump function. > (propagate_vr_across_jump_function): Likewise. OK > + /* TODO: Non-nullness is sometimes lost here. */ > + if (!POINTER_TYPE_P (param_type))
Isn't this fixed by the earlier patch too? Honza
