On 2023-11-02 10:12, Martin Uecker wrote:
This shouldn't be necessary. The object-size pass can track pointer arithmeti if it comes after inserting the .ACCESS_WITH_SIZE.https://godbolt.org/z/fvc3aoPfd
The problem is dependency tracking through the pointer arithmetic, which Jakub suggested to work around by passing a reference to the size in .ACCESS_WITH_SIZE to avoid DCE/reordering.
Thanks, Sid