> > > On Tue, Nov 05 2024, Jan Hubicka wrote: > >> 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? > > > > No, the testcase gcc.c-torture/compile/pr71109.c still fails without the > early exit. OK for the patch then. I guess we could fix that incrementally.
Honza
