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.
Martin
