Re: [PATCH 8/8] ipa: Improve how we derive value ranges from IPA invariants

Hi, On Tue, Nov 05 2024, Jan Hubicka wrote: >> Hi, >> >> I believe that the current function ipa_range_set_and_normalize lacks >> a check that a base of an ADDR_EXPR lacks a test whether the base >> really cannot be NULL, so this patch adds it. Moreover, I never liked >> the name as I do not thi

Re: [PATCH 8/8] ipa: Improve how we derive value ranges from IPA invariants

> Hi, > > I believe that the current function ipa_range_set_and_normalize lacks > a check that a base of an ADDR_EXPR lacks a test whether the base > really cannot be NULL, so this patch adds it. Moreover, I never liked > the name as I do not think it makes the value of ranges any more > normal b

[PATCH 8/8] ipa: Improve how we derive value ranges from IPA invariants

Hi, I believe that the current function ipa_range_set_and_normalize lacks a check that a base of an ADDR_EXPR lacks a test whether the base really cannot be NULL, so this patch adds it. Moreover, I never liked the name as I do not think it makes the value of ranges any more normal but rather just