Re: [PATCH] cselim: Don't assume it is safe to cstore replace a store to a local variable with unknown offset [PR94734]

On Fri, 24 Apr 2020, Jakub Jelinek wrote: > Hi! > > As the new testcase shows, it is not safe to assume we can optimize > a conditional store into an automatic non-addressable var, we can do it > only if we can prove that the unconditional load or store actually will > not be outside of the

[PATCH] cselim: Don't assume it is safe to cstore replace a store to a local variable with unknown offset [PR94734]

Hi! As the new testcase shows, it is not safe to assume we can optimize a conditional store into an automatic non-addressable var, we can do it only if we can prove that the unconditional load or store actually will not be outside of the boundaries of the variable. If the offset and size are