> FWIW, you have to be very careful depending on REG_POINTER. I believe > Ada can still set REG_POINTER on things that are not pointers (via > virtual origins) and cross jumping can cause problems too where one arm > has x + y with X as the pointer and the other arm has x + y with Y as > the pointer.
Can you elaborate a bit about Ada here? Front-ends don't fiddle directly with RTL for years so I'm a little at a loss here. -- Eric Botcazou
