On Tue, 21 Jan 2020, Richard Biener wrote: > Second. Fact is RTL does not distinguish between pointers and > integers and thus any attempt to make something valid when you > use integers and invalid when you use pointers is not going to work.
That simply means that an earlier stage in the compiler would need to mark cases of integers converted from pointers in some way as "could have provenance of any address-exposed object" (that being the effect of PNVI-ae models) unless it can prove the offsets etc. applied do keep the pointer within the original object. -- Joseph S. Myers jos...@codesourcery.com
