On Wed, Feb 26, 2025 at 01:34:04PM +0100, Richard Biener wrote: > > It wants to have a MEM which overlaps anything below the stack. > > So, uses for stack grows down and non-biased stack sp - PTRDIFF_MAX with > > PTRDIFF_MAX MEM_SIZE as an approximation to that. > > I see. Wouldn't setting MEM_OFFSET_KNOWN_P and MEM_SIZE_KNOWN_P > to false work as well?
Well, that would then overlap even with all the sp based memories at sp or
above it. Which is what doesn't need to be clobbered.
Jakub
