Nested restrict pointers: missed optimization & client with UB?

[Joseph Myers]

On Tue, 13 Feb 2024, Ties Klappe via Gcc wrote:

> Thank you both for your quick replies.
> 
> @Joseph, thank you for linking me to the other issue. If I understand
> correctly what the point is, would you then agree that the program main
> when calling foo2 has *defined* behavior?

I think that's the case, yes.

-- 
Joseph S. Myers
josmyers@redhat.com