On Mon, 15 Nov 2021, Alejandro Colomar (man-pages) via Gcc wrote: > How is restrict handling that problem of lvalue-to-rvalue already? restrict has tricky rules about "based on" (6.7.3.1). -- Joseph S. Myers joseph at codesourcery.com